2836 search results - page 89 / 568 » Evaluating a Qualitative Reasoner |
FLAIRS
2004
14 years 11 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
108
click to vote
CADE
2010
Springer
14 years 11 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
PERCOM
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
111
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...