A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.

Zeynep G. Saribatur Stefan Woltran

Published in: CoRR (2023)

Keyphrases

strong equivalence
answer set programming
answer set programs
logic programs
answer sets
logic programming
stable models
answer set semantics
reasoning tasks
causal theories
knowledge representation
model theoretic
fixpoint
deductive databases