Keyphrases
- strong equivalence
- logic programs
- answer set programming
- stable models
- answer sets
- argumentation frameworks
- autoepistemic logic
- answer set semantics
- reasoning tasks
- fixpoint
- logic programming
- classical logic
- expert systems
- argumentation semantics
- multi agent
- sufficient conditions
- description logics
- computational complexity