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

Bernhard Bliem Sebastian Ordyniak Stefan Woltran

Published in: ECAI (2016)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
update semantics
reasoning tasks
causal theories
database
tree decomposition
stable model semantics
constraint logic programming
disjunctive logic programming
answer set programs
genetic algorithm
knowledge representation