Omission-Based Abstraction for Answer Set Programs.

Zeynep Gözen Saribatur Thomas Eiter

Published in: KR (2018)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
high level
update operators
logic programming
reasoning tasks
event calculus
general purpose
knowledge base
natural language
knowledge representation
fixpoint