D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
Bernhard BliemMichael MorakStefan WoltranPublished in: CoRR (2012)
Keyphrases
- answer set programming
- tree decompositions
- tree decomposition
- knowledge representation
- declarative programming
- logic programming
- answer sets
- logic programs
- answer set programs
- causal theories
- artificial intelligence
- constraint satisfaction problems
- stable models
- stable model semantics
- databases
- complexity bounds
- database
- modulo theories