Forgetting for Answer Set Programs Revisited.

Yisong Wang Kewen Wang Mingyi Zhang

Published in: IJCAI (2013)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
reasoning tasks
database
knowledge representation
fixpoint
event calculus
artificial intelligence
temporal information