CondLean: A Theorem Prover for Conditional Logics.
Nicola OlivettiGian Luca PozzatoPublished in: TABLEAUX (2003)
Keyphrases
- theorem prover
- higher order logic
- conditional logic
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- inference rules
- automated theorem proving
- computer algebra
- boolean algebra
- formal semantics
- formal proof
- default reasoning
- natural deduction
- knowledge base
- nonmonotonic reasoning
- expert systems
- modal logic
- general purpose
- probability distribution
- training set