Preserving Strong Equivalence while Forgetting.

Matthias Knorr José Júlio Alferes

Published in: JELIA (2014)

Keyphrases

strong equivalence
logic programs
answer set programming
argumentation frameworks
stable models
logic programming
answer set semantics
argumentation semantics
answer sets
fixpoint
classical logic
autoepistemic logic
general purpose