ECAI
1998
Springer
13 years 8 months ago
1998
Springer
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
Knowledge about forced moves enables to select a small number of moves from the set of possible moves. It is very important in complex domains where search trees have a large branc...
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
ECAI
1998
Springer
13 years 8 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...