209
click to vote
KI
16 years 11 days ago
2001 Springer 
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...
217
click to vote
KI
16 years 11 days ago
2001 Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
211
click to vote
KI
16 years 11 days ago
2001 Springer 
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...
191
click to vote
KI
16 years 11 days ago
2001 Springer 
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
191
click to vote
KI
16 years 11 days ago
2001 Springer 
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
|
Artificial Intelligence