KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
Laura GiordanoValentina GliozziGian Luca PozzatoPublished in: TABLEAUX (2007)
Keyphrases
- theorem prover
- nonmonotonic reasoning
- conditional logic
- nonmonotonic logics
- inheritance reasoning
- higher order logic
- propositional logic
- inference rules
- default logic
- default reasoning
- belief revision
- first order logic
- proof theoretic
- nonmonotonic inference
- automated reasoning
- logic programming
- commonsense reasoning
- autoepistemic logic
- theorem proving
- proof theory
- automated theorem proving
- modal logic
- defeasible reasoning
- term rewriting
- possibility theory
- formal proof
- causal inference
- classical logic
- decision procedures
- formal semantics
- extended logic programs
- logical framework
- proof search
- defeasible logic
- truth maintenance systems
- data mining
- default theories
- artificial intelligence
- natural deduction
- default rules
- probabilistic reasoning
- object oriented