An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Enrico GiunchigliaMarco MarateaPublished in: Answer Set Programming (2005)
Keyphrases
- search strategies
- answer set programming
- logic programs
- logic programming
- search strategy
- answer sets
- search algorithm
- heuristic search
- answer set programs
- search methods
- search problems
- causal theories
- stable model semantics
- evolutionary algorithm
- sat solvers
- search procedures
- stable models
- knowledge representation
- reinforcement learning
- disjunctive logic programming
- update semantics
- haplotype inference
- learning algorithm
- retrieval effectiveness
- branch and bound
- constraint programming
- data structure
- constraint satisfaction
- co occurrence
- search space
- genetic algorithm
- declarative programming