Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach.
Mirek TruszczynskiPublished in: AI&M (2006)
Keyphrases
- strong equivalence
- logic programs
- stable models
- answer set programming
- autoepistemic logic
- answer sets
- logic programming
- argumentation frameworks
- answer set semantics
- classical logic
- reasoning tasks
- argumentation semantics
- theoretical framework
- fixpoint
- sufficient conditions
- defeasible logic
- default logic
- decision making
- modal logic
- inductive logic programming
- description logics