D-FLAT: Declarative problem solving using tree decompositions and answer-set programming.
Bernhard BliemMichael MorakStefan WoltranPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- answer set programming
- tree decompositions
- tree decomposition
- declarative programming
- knowledge representation
- logic programming
- logic programs
- answer sets
- artificial intelligence
- causal theories
- answer set programs
- constraint satisfaction problems
- stable model semantics
- probabilistic reasoning
- modulo theories
- stable models
- graphical models
- decomposition method
- constraint networks
- lower bound
- high level
- databases