81
Voted
KI
2001
Springer
15 years 2 months 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...
79
Voted
KI
2001
Springer
15 years 2 months 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...
84
Voted
KI
2001
Springer
15 years 2 months 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...
99
Voted
KI
2001
Springer
15 years 2 months 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
15 years 2 months ago
2001
Springer
87
Voted
KI
2001
Springer
15 years 2 months 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...
83
Voted
KI
2001
Springer
15 years 2 months 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...
64
Voted
JSAI
2001
Springer
15 years 2 months ago
2001
Springer
JSAI
2001
Springer
15 years 2 months ago
2001
Springer
72
Voted
JSAI
2001
Springer
15 years 2 months 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...