A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract).
Philippe LamarrePublished in: TABLEAUX (1992)
Keyphrases
- extended abstract
- theorem prover
- higher order logic
- automated theorem proving
- proof search
- conditional logic
- theorem proving
- automated reasoning
- inference rules
- first order logic
- term rewriting
- proof planning
- computer algebra
- formal proof
- description logics
- knowledge representation and reasoning
- proof procedure
- boolean algebra
- default reasoning
- natural deduction
- machine learning
- artificial intelligence
- mathematical knowledge
- reasoning systems
- nonmonotonic reasoning
- modal logic
- higher order