Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning.
Dongcai LuYi ZhouFeng WuZhao ZhangXiaoping ChenPublished in: IJCAI (2017)
Keyphrases
- answer set programming
- logic programs
- answer sets
- logic programming
- mobile robot
- constraint logic programming
- reasoning tasks
- motion planning
- causal theories
- answer set programs
- semantic information
- domain independent
- stable models
- stable model semantics
- haplotype inference
- knowledge representation
- natural language
- update semantics
- planning problems
- heuristic search
- semantic annotation
- domain ontology
- action language
- disjunctive logic programming
- software engineering