Keyphrases
- possibilistic logic
- sound and complete with respect
- logic programming
- propositional logic
- possibility theory
- uncertain information
- belief revision
- knowledge base
- plausible inference
- partially ordered
- logical framework
- classical logic
- logic programs
- decision making
- first order logic
- dynamic environments
- belief base
- possibility distributions
- programming language