Generalized Target Assignment and Path Finding Using Answer Set Programming.
Van NguyenPhilipp ObermeierTran Cao SonTorsten SchaubWilliam YeohPublished in: IJCAI (2017)
Keyphrases
- answer set programming
- path finding
- logic programming
- logic programs
- answer sets
- path planning
- heuristic search
- answer set programs
- stable model semantics
- causal theories
- search algorithm
- optimal path
- disjunctive logic programming
- knowledge representation
- stable models
- knowledge base
- update semantics
- rule learning
- hill climbing
- modulo theories