5086 search results - page 66 / 1018 » The Power of Comparative Reasoning |
AIL
2008
13 years 9 months ago
2008
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-base...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
FLAIRS
2004
13 years 10 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...
ICCBR
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...