A Preference Semantics for Defaults in Terminological Logics.
Joachim QuantzVéronique RoyerPublished in: KR (1992)
Keyphrases
- nonmonotonic logics
- default reasoning
- default logic
- conditional logic
- modal operators
- proof theory
- expressive power
- default theories
- modal logic
- propositional dynamic logic
- valued semantics
- nonmonotonic reasoning
- knowledge base
- epistemic logic
- logic programming
- default rules
- autoepistemic logic
- highly expressive
- knowledge representation
- computational properties
- first order logic
- proof theoretic
- higher order logic
- inference rules
- knowledge representation formalisms
- user preferences
- propositional logic
- preference elicitation
- belief revision
- temporal logic
- multi criteria
- qualitative preferences
- intuitionistic logic
- kripke models
- knowledge representation languages
- probabilistic knowledge
- decision procedures
- situation calculus
- multi attribute
- query language
- recommender systems