Tableau calculus for preference-based conditional logics: PCL and its extensions.
Laura GiordanoValentina GliozziNicola OlivettiCamilla SchwindPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- logical framework
- higher order logic
- conditional logic
- belief revision
- tableau calculus
- nonmonotonic reasoning
- default reasoning
- minimal models
- knowledge base
- default logic
- default theories
- truth maintenance systems
- propositional logic
- description logics
- nonmonotonic inference
- knowledge representation and reasoning
- artificial intelligence
- data mining