Keyphrases
- possibilistic logic
- propositional logic
- possibility theory
- belief revision
- knowledge base
- plausible inference
- uncertain information
- partially ordered
- logic programming
- classical logic
- logical framework
- meta level
- nonmonotonic reasoning
- first order logic
- merging operators
- sound and complete with respect
- logic programs