On the Compilation of Possibilistic Default Theories.
Salem BenferhatSafa YahiHabiba DriasPublished in: FLAIRS Conference (2008)
Keyphrases
- default theories
- default logic
- logic programming
- possibilistic logic
- default reasoning
- answer set programming
- possibility theory
- autoepistemic logic
- classical logic
- default rules
- nonmonotonic logics
- nonmonotonic reasoning
- revision operators
- knowledge compilation
- fuzzy numbers
- logic programs
- theorem prover
- constraint satisfaction
- probabilistic model
- data model
- knowledge base