A Theorem Prover for Lukaszewicz' Open Default Theory.
Pascal NicolasBéatrice DuvalPublished in: ECSQARU (1995)
Keyphrases
- theorem prover
- default theories
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- formal proof
- automated theorem proving
- inference rules
- default logic
- autoepistemic logic
- mathematical knowledge
- natural deduction
- default rules
- boolean algebra
- proof search
- partial order
- revision operators
- logic programming
- proof planning
- supervised learning
- knowledge base