Proof-Theoretic Foundation of Hypothetical Reasoning.
Pablo LópezErnesto PimentelPublished in: WFLP (2000)
Keyphrases
- hypothetical reasoning
- proof theoretic
- logic programs
- fixpoint
- model theoretic
- deductive databases
- linear logic
- default reasoning
- nonmonotonic reasoning
- proof theory
- constraint logic programming
- logic programming
- supreme court
- integrity constraints
- cognitive science
- answer set programming
- databases
- description logics
- legal argument
- finite state machines
- expert systems
- cut elimination
- artificial intelligence