2308 search results - page 86 / 462 » Representing Symbolic Reasoning |
145
click to vote
AAAI
2000
15 years 7 months ago
2000
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
165
click to vote
AAAI
1990
15 years 7 months ago
1990
Commitment to an ontological perspective is a primary aspect of reasoning about the physical world. For complex analytic tasks, the ability to switch between different ontologies ...
147
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
184
click to vote
SKG
2005
IEEE
15 years 12 months ago
2005
IEEE
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...
187
click to vote
ACMICEC
2005
ACM
15 years 12 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...