Tableaux-Based Characterization and Theorem Proving for default Logic.
Vincent RischCamilla SchwindPublished in: J. Autom. Reason. (1994)
Keyphrases
- default logic
- theorem proving
- modal logic
- decision procedures
- inference rules
- proof procedure
- default theories
- automated reasoning
- nonmonotonic reasoning
- nonmonotonic logics
- autoepistemic logic
- default reasoning
- theorem prover
- logic programming
- default rules
- first order logic
- temporal logic
- classical logic
- proof planning
- geometry theorem proving
- parallel search
- consequence finding
- general purpose
- defeasible logic
- propositional logic
- functional dependencies
- fixed point
- pairwise
- knowledge base