Abstraction for Non-ground Answer Set Programs.

Zeynep Gozen Saribatur Peter Schüller Thomas Eiter

Published in: JELIA (2019)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
high level
update operators
reasoning tasks
artificial intelligence
heuristic search
deductive databases
event calculus