A New Default Theories Compilation for MSP-Entailment.
Salem BenferhatSafa YahiHabiba DriasPublished in: J. Autom. Reason. (2010)
Keyphrases
- default theories
- default logic
- logic programming
- default reasoning
- nonmonotonic reasoning
- answer set programming
- probabilistic logic
- textual entailment
- nonmonotonic logics
- default rules
- classical logic
- autoepistemic logic
- logic programs
- revision operators
- np complete
- knowledge base
- programming language
- knowledge representation
- prime implicates
- databases