Embedding and automating conditional logics in classical higher-order logic.
Christoph BenzmüllerDov M. GabbayValerio GenoveseDaniele RispoliPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- higher order logic
- conditional logic
- higher order
- default reasoning
- theorem prover
- belief revision
- logical framework
- modal logic
- nonmonotonic reasoning
- knowledge representation and reasoning
- nonmonotonic inference
- automated reasoning
- data representation
- genetic programming
- general purpose
- probabilistic model
- pairwise