Abstraction for non-ground answer set programs.

Zeynep Gozen Saribatur Thomas Eiter Peter Schüller

Published in: Artif. Intell. (2021)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
high level
update operators
database
artificial intelligence
general purpose
programming language
reasoning tasks