Generalized Target Assignment and Path Finding Using Answer Set Programming.
Van NguyenPhilipp ObermeierTran Cao SonTorsten SchaubWilliam YeohPublished in: SOCS (2019)
Keyphrases
- answer set programming
- path finding
- logic programs
- logic programming
- answer sets
- path planning
- causal theories
- search algorithm
- heuristic search
- haplotype inference
- stable model semantics
- optimal path
- knowledge representation
- answer set programs
- hill climbing
- rule learning
- constraint satisfaction
- stable models
- dynamic environments
- update semantics
- reinforcement learning
- data model
- artificial intelligence