Inlining External Sources in Answer Set Programs.

Published in: CoRR (2018)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
virtual machine
logic programming
update operators
fixpoint
reasoning tasks