A Theorem-Prover for a Decidable Subset of Default Logic.
Philippe BesnardRene QuiniouPatrice QuintonPublished in: AAAI (1983)
Keyphrases
- theorem prover
- default logic
- first order logic
- default theories
- inference rules
- theorem proving
- automated reasoning
- default reasoning
- nonmonotonic logics
- nonmonotonic reasoning
- modal logic
- autoepistemic logic
- automated theorem proving
- propositional logic
- logic programming
- term rewriting
- formal proof
- knowledge representation
- classical logic
- formal semantics
- expressive power
- default rules
- fixed point
- probabilistic reasoning
- boolean algebra
- transitive closure
- incomplete information
- natural deduction
- truth maintenance systems
- machine learning
- data mining