Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems.
Ilkka NiemeläPublished in: ISMVL (2011)
Keyphrases
- declarative programming
- answer set programming
- search problems
- solving hard
- systematic search algorithms
- logic programming
- logic programs
- search algorithm
- stable model semantics
- answer sets
- orders of magnitude
- heuristic search
- combinatorial search
- causal theories
- knowledge representation
- stable models
- search strategies
- combinatorial optimization
- automated reasoning
- answer set programs
- search space
- constraint satisfaction problems