A New Tree-Decomposition Based Algorithm for Answer Set Programming.
Michael MorakNysret MusliuReinhard PichlerStefan RümmeleStefan WoltranPublished in: ICTAI (2011)
Keyphrases
- tree decomposition
- answer set programming
- constraint networks
- decomposition method
- dynamic programming
- logic programming
- tree width
- computational complexity
- optimal solution
- np hard
- worst case
- parallel processing
- logic programs
- answer sets
- constraint satisfaction problems
- machine learning
- search algorithm
- reasoning tasks
- knowledge base
- search strategy
- probabilistic model
- evolutionary algorithm
- probabilistic reasoning
- objective function
- genetic algorithm