Answer Set Solving with Bounded Treewidth Revisited.

Johannes Klaus Fichte Markus Hecher Michael Morak Stefan Woltran

Published in: LPNMR (2017)

Keyphrases

answer sets
bounded treewidth
logic programs
answer set programming
np complete
logic programming
highly parallelizable
decision problems
normal logic programs
fixpoint
data mining
relational learning
database systems
background knowledge
state space
np hard
loop formulas
knowledge base