Strong Equivalence of Logic Programs with Counting.

Vladimir Lifschitz

Published in: Theory Pract. Log. Program. (2022)

Keyphrases

strong equivalence
logic programs
logic programming
stable models
answer sets
answer set programming
fixpoint
answer set semantics
autoepistemic logic
general logic programs
normal logic programs
inductive logic programming
horn clauses
general purpose
programming language
sufficient conditions