Sketched Answer Set Programming.

Sergey Paramonov Christian Bessiere Anton Dries Luc De Raedt

Published in: ICTAI (2018)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
causal theories
stable model semantics
meta level reasoning
knowledge representation
constraint logic programming
tree decomposition
answer set programs
stable models
disjunctive logic programming