A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.
Gianni AmatiLuigia Carlucci AielloDov M. GabbayFiora PirriPublished in: J. Log. Comput. (1996)
Keyphrases
- default reasoning
- default logic
- modal logic
- proof theory
- decision procedures
- proof theoretic
- nonmonotonic reasoning
- default theories
- default rules
- conditional logic
- nonmonotonic logics
- logic programming
- probabilistic logic
- autoepistemic logic
- temporal logic
- belief revision
- sequent calculus
- meta level reasoning
- inference rules
- fixed point
- classical logic
- image segmentation
- theorem prover
- model theoretic
- partial order
- situation calculus