Infinitary Equilibrium Logic and Strong Equivalence.

Amelia Harrison Vladimir Lifschitz David Pearce Agustín Valverde

Published in: LPNMR (2015)

Keyphrases

strong equivalence
logic programs
stable models
answer set programming
argumentation frameworks
answer sets
logic programming
answer set semantics
argumentation semantics
autoepistemic logic
classical logic
reasoning tasks
fixpoint
sufficient conditions