420 search results - page 27 / 84 » Temporal reasoning in process planning |
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
TOPNOC
2008
13 years 9 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...
AI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
ECP
1997
Springer
14 years 2 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...