121 search results - page 6 / 25 » Diagnosis as Planning Revisited |
ITS
1998
Springer
14 years 2 months ago
1998
Springer
Despite being of crucial importance in Education, the issue of motivation has been only very recently explicitly addressed in Intelligent Tutoring Systems (ITS). In the few studies...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
HAPTICS
2008
IEEE
13 years 10 months ago
2008
IEEE
Many clinical examinations involve palpation and part of the diagnostic process depends on the application of pressure. Teaching and learning such skills is difficult especially fo...
KR
1998
Springer
14 years 2 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...