307 search results - page 21 / 62 » Reasoning with Axioms: Theory and Practice |
97
Voted
ILP
2003
Springer
15 years 2 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
76
Voted
IJCAI
1993
14 years 10 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
14 years 11 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
AAAI
1994
14 years 10 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...