A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.
Valentin CassanoCarlos Gustavo López PomboThomas Stephen Edward MaibaumPublished in: TABLEAUX (2015)
Keyphrases
- proof procedure
- default rules
- default logic
- theorem proving
- default reasoning
- propositional logic
- modal logic
- sequent calculus
- first order logic
- model theoretic
- belief revision
- nonmonotonic reasoning
- commonsense reasoning
- predicate calculus
- classical first order logic
- logic programming
- decision procedures
- cut elimination
- default theories
- inference rules
- autoepistemic logic
- probabilistic reasoning
- possibility theory
- knowledge representation
- temporal logic
- nonmonotonic logics
- incomplete information
- automated reasoning
- theorem prover
- partial order
- classical logic
- logic programs