Sciweavers

2386 search results - page 82 / 478
» Representing and Reasoning with Preferences
Sort
View
RULEML
2004
Springer
15 years 3 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
ECAI
2008
Springer
14 years 11 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos
AAAI
2000
14 years 11 months ago
Integrating Equivalency Reasoning into Davis-Putnam Procedure
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...
Chu Min Li
AAAI
1990
14 years 11 months ago
Shifting Ontological Perspectives in Reasoning About Physical Systems
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 ...
Zheng-Yang Liu, Arthur M. Farley
SKG
2005
IEEE
15 years 3 months ago
The Reasoning Mechanism of Fuzzy Cognitive Maps
: 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...
Xiang-Feng Luo, Er-Lin Yao