Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.
Yves MoinardPublished in: NMR (2002)
Keyphrases
- tableau calculus
- nonmonotonic reasoning
- description logics
- knowledge base
- minimal models
- possibility theory
- nonmonotonic inference
- van der
- default reasoning
- default logic
- logic programming
- belief revision
- data sets
- autoepistemic logic
- default rules
- commonsense reasoning
- bayesian networks
- object oriented
- probabilistic logic
- information extraction
- expert systems
- video sequences
- databases