Implementing an Automated Reasoning System for Multi-Robot Cooperation.
Lifeng HeHirohisa SekiHidenori ItohPublished in: DARS (1996)
Keyphrases
- automated reasoning
- multi robot
- path planning
- mobile robot
- knowledge representation
- multi robot systems
- multi robot exploration
- cooperative
- theorem prover
- reasoning tasks
- theorem proving
- search and rescue
- probabilistic reasoning
- uncertain environments
- robot soccer
- multi robot coordination
- potential field
- coalitional game theory
- multiple robots
- robotic systems
- robot teams
- machine learning
- multi agent systems
- multi agent
- computer vision
- multi robot cooperative