Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

Guohua Liu Randy Goebel Tomi Janhunen Ilkka Niemelä Jia-Huai You

Published in: LPNMR (2011)

Keyphrases

logic programs
strong equivalence
logic programming
answer sets
stable models
answer set semantics
answer set programming
fixpoint
normal logic programs
general logic programs
inductive logic programming
artificial intelligence
general purpose
semantics of logic programs