Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.
Michael MorakNysret MusliuReinhard PichlerStefan RümmeleStefan WoltranPublished in: LION (2012)
Keyphrases
- tree decomposition
- answer set programming
- tree width
- logic programs
- graph theory
- decomposition method
- constraint networks
- reasoning problems
- logic programming
- answer sets
- parallel processing
- probabilistic reasoning
- constraint satisfaction problems
- decomposition methods
- databases
- orders of magnitude
- upper bound
- special case
- computational complexity
- objective function
- artificial intelligence