Abstraction for Non-Ground Answer Set Programs (Extended Abstract).

Zeynep Gözen Saribatur Thomas Eiter Peter Schüller

Published in: IJCAI (2022)

Keyphrases

extended abstract
answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
high level
event calculus
artificial intelligence
general purpose
conceptual modeling