KI
2001
Springer
14 years 6 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...
KI
2001
Springer
14 years 6 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...
KI
2001
Springer
14 years 6 days ago
2001
Springer
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
KI
2001
Springer
14 years 6 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...
KI
2001
Springer
14 years 6 days ago
2001
Springer
KI
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
KI
2001
Springer
14 years 6 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...
JSAI
2001
Springer
14 years 6 days ago
2001
Springer
JSAI
2001
Springer
14 years 6 days ago
2001
Springer
JSAI
2001
Springer
14 years 6 days ago
2001
Springer
The importance of public engagement and awareness concerning environmental issues has been widely recognised in the development of a sustainable community. Recent efforts by author...