50 search results - page 5 / 10 » Modelling Models of Robot Navigation Using Formal Spatial On... |
ICRA
1993
IEEE
15 years 1 months ago
1993
IEEE
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
BMCBI
2007
14 years 9 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
93
Voted
AAAI
2007
14 years 12 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
86
Voted
ER
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...