Clique-Width and Directed Width Measures for Answer-Set Programming.

Bernhard Bliem Sebastian Ordyniak Stefan Woltran

Published in: CoRR (2016)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
constraint logic programming
reasoning tasks
causal theories
meta level reasoning
first order logic
prolog programs
answer set programs