420 search results - page 14 / 84 » Temporal reasoning in process planning |
CAV
2006
Springer
14 years 1 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
TIME
1994
IEEE
14 years 1 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
CLEIEJ
2007
13 years 9 months ago
2007
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
BSN
2006
IEEE
14 years 3 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...