Logic programming with simulation-based temporal projection for everyday robot object manipulation.
Lars KunzeMihai Emanuel DolhaMichael BeetzPublished in: IROS (2011)
Keyphrases
- logic programming
- object manipulation
- robot control
- logic programs
- manipulation tasks
- robotic systems
- knowledge representation
- deductive databases
- answer set programming
- mobile robot
- knowledge base
- nonmonotonic reasoning
- programming language
- robot navigation
- logic programming language
- inductive logic programming
- answer sets
- default logic
- computational logic
- temporal reasoning
- human robot interaction
- visual servoing
- humanoid robot
- stable models
- autonomous robots
- real time
- end effector
- constraint logic programming
- vision system
- general purpose
- video sequences
- artificial intelligence