Omission-based Abstraction for Answer Set Programs.

Zeynep Gözen Saribatur Thomas Eiter

Published in: CoRR (2020)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
high level
logic programming
update operators
search algorithm
query processing
markov decision processes
query evaluation