Tableau-Based Theorem Proving In Normal Conditional Logics.
Chris GroeneboerJames P. DelgrandePublished in: AAAI (1988)
Keyphrases
- theorem proving
- conditional logic
- automated theorem proving
- higher order logic
- theorem prover
- proof procedure
- proof search
- default reasoning
- modal logic
- inference rules
- automated reasoning
- first order logic
- nonmonotonic reasoning
- belief revision
- proof planning
- knowledge representation and reasoning
- automated deduction
- decision procedures
- term rewriting
- parallel search
- logical inference
- nonmonotonic inference
- combinatorial search
- description logics
- geometry theorem proving
- reasoning systems
- logic programming
- higher order
- consequence finding
- natural deduction
- predicate calculus
- search procedure
- knowledge representation
- expert systems