Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Christoph BenzmuellerDov M. GabbayValerio GenoveseDaniele RispoliPublished in: CoRR (2011)
Keyphrases
- higher order logic
- conditional logic
- higher order
- theorem prover
- default reasoning
- belief revision
- logical framework
- nonmonotonic reasoning
- nonmonotonic inference
- knowledge representation and reasoning
- modal logic
- natural language
- data representation
- automated reasoning
- sufficient conditions
- pairwise
- decision trees