Strong Equivalence for Epistemic Logic Programs Made Easy.

Wolfgang Faber Michael Morak Stefan Woltran

Published in: AAAI (2019)

Keyphrases

strong equivalence
logic programs
logic program updates
logic programming
stable models
answer sets
answer set semantics
answer set programming
fixpoint
inductive logic programming
general logic programs
normal logic programs
argumentation frameworks