Robot Platform Motion Planning using Answer Set Programming.
Julian J. PortilloCarmen Leticia García-MataPedro Rafael Márquez-GutiérrezRogelio Baray-AranaPublished in: LA-NMR (2011)
Keyphrases
- motion planning
- answer set programming
- mobile robot
- humanoid robot
- trajectory planning
- robot arm
- logic programming
- path planning
- logic programs
- multi robot
- degrees of freedom
- answer sets
- robotic tasks
- robotic arm
- obstacle avoidance
- autonomous mobile robot
- manipulation tasks
- collision free
- constraint logic programming
- configuration space
- inverse kinematics
- causal theories
- stable model semantics
- end effector
- answer set programs
- haplotype inference
- climbing robot
- real time
- robotic systems
- mechanical systems
- knowledge representation
- modulo theories
- update semantics
- multi modal
- constraint satisfaction
- robot navigation
- stable models