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

Zeynep G. Saribatur Stefan Woltran

Published in: AAAI (2024)

Keyphrases

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