Exploiting Treewidth for Counting Projected Answer Sets.

Johannes Klaus Fichte Markus Hecher

Published in: KR (2018)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
search space
fixpoint
normal logic programs
extended logic programs
upper bound
bounded treewidth
boolean functions
logic program updates
nonmonotonic reasoning
semantics of logic programs