Answer-Set Programming with Bounded Treewidth.
Michael JaklReinhard PichlerStefan WoltranPublished in: IJCAI (2009)
Keyphrases
- answer set programming
- bounded treewidth
- np complete
- logic programming
- logic programs
- answer sets
- conjunctive queries
- reasoning tasks
- decision problems
- answer set programs
- boolean functions
- knowledge representation
- stable model semantics
- tree decomposition
- np hard
- stable models
- monadic datalog
- nonmonotonic reasoning
- relational learning
- query evaluation
- fixpoint
- constraint satisfaction
- programming language
- information extraction
- knowledge base