Integrated Planning of Robotic and Computer Bision Based Spatial Reasoning Tasks.
Michael MageeWilliam A. HoffLance GatrellMartin MariettaWilliam J. WolfePublished in: IEA/AIE (Vol. 1) (1990)
Keyphrases
- reasoning tasks
- description logics
- temporal reasoning
- automated reasoning
- event calculus
- logic programming
- interval algebra
- situation calculus
- answer set programming
- spatial reasoning
- spatial information
- mobile robot
- abductive reasoning
- robotic systems
- reasoning problems
- bucket elimination
- quantified boolean formulas
- database
- plan recognition
- motion planning
- knowledge representation
- spatial relations
- artificial intelligence
- data mining