Tableau Calculi for Preference-Based Conditional Logics.
Laura GiordanoValentina GliozziNicola OlivettiCamilla SchwindPublished in: TABLEAUX (2003)
Keyphrases
- conditional logic
- sequent calculi
- default reasoning
- description logics
- knowledge representation and reasoning
- nonmonotonic reasoning
- belief revision
- modal logic
- higher order logic
- nonmonotonic inference
- default logic
- sound and complete axiomatization
- artificial intelligence
- reasoning tasks
- partial order
- user preferences
- logic programming
- reasoning systems
- preference relations
- knowledge representation
- knowledge base