1137 search results - page 173 / 228 » Logic Programming for Knowledge Representation |
166
click to vote
ECML
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
189
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
172
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
193
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
162
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...