Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: CoRR (2006)
Keyphrases
- sequent calculi
- nonmonotonic reasoning
- conditional logic
- belief revision
- default reasoning
- propositional logic
- logic programming
- nonmonotonic inference
- default logic
- defeasible reasoning
- nonmonotonic logics
- commonsense reasoning
- proof theoretic
- abductive reasoning
- autoepistemic logic
- causal inference
- modal logic
- possibility theory
- inheritance reasoning
- defeasible logic
- default rules
- knowledge base
- argumentation systems
- default theories
- minimal models
- proof theory
- extended logic programs
- logic programs