Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics.
Abdallah AriouaNouredine TamaniMadalina CroitoruJérôme FortinPatrice BuchePublished in: ICAISC (2015)
Keyphrases
- default logic
- valued semantics
- default theories
- nonmonotonic logics
- logic programming
- autoepistemic logic
- default reasoning
- default rules
- nonmonotonic reasoning
- classical logic
- extended logic programs
- knowledge representation formalisms
- fixed point
- modal logic
- truth maintenance systems
- sound and complete with respect
- deductive databases
- minimal models
- logic programs
- general purpose
- defeasible logic
- commonsense reasoning
- stable models
- knowledge base
- machine learning