Possibilistic Safe Beliefs vs. Possibilistic Stable Models.
Rubén Octavio Vélez SalazarJosé Ramón Enrique Arrazola-RamírezPublished in: Res. Comput. Sci. (2012)
Keyphrases
- stable models
- logic programming
- logic programs
- possibilistic logic
- answer set programming
- normal logic programs
- stable model semantics
- possibility theory
- expected utility
- fixpoint
- general theory
- deductive databases
- nonmonotonic reasoning
- knowledge representation and reasoning
- databases
- belief functions
- default logic
- belief revision
- knowledge representation
- search space