Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
Enrico GiunchigliaMarco MarateaPublished in: AI*IA (2005)
Keyphrases
- search strategies
- answer set programming
- search strategy
- logic programs
- heuristic search
- search algorithm
- search methods
- logic programming
- answer sets
- search procedures
- stable model semantics
- branch and bound
- sat solvers
- causal theories
- constraint programming
- evolutionary algorithm
- relational databases
- search engine
- answer set programs
- search problems