Login / Signup
Answer Set Solving with Bounded Treewidth Revisited.
Johannes Klaus Fichte
Markus Hecher
Michael Morak
Stefan Woltran
Published in:
CoRR (2017)
Keyphrases
</>
answer sets
bounded treewidth
logic programs
answer set programming
np complete
logic programming
normal logic programs
highly parallelizable
decision problems
fixpoint
database
learning problems
conjunctive queries
knowledge representation
domain knowledge
high level
information retrieval
machine learning