C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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