Integrating ASP into ROS for Reasoning in Robots.
Benjamin AndresDavid RajaratnamOrkunt SabuncuTorsten SchaubPublished in: LPNMR (2015)
Keyphrases
- answer set programming
- reasoning tasks
- mobile robot
- multi robot
- knowledge base
- knowledge representation
- web applications
- cooperative
- automated reasoning
- knowledge representation and reasoning
- reasoning systems
- logic programming
- qualitative reasoning
- real world
- causal reasoning
- artificial agents
- tactile sensing
- logic programs
- database
- spatial reasoning
- autonomous robots
- reasoning process
- programming language
- web services
- learning algorithm
- autonomous systems
- genetic algorithm
- multiple robots
- search and rescue
- rule based reasoning
- multi robot systems