135 search results - page 3 / 27 » Temporal Description Logics: A Survey |
AIEDAM
1999
13 years 5 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
BIRTHDAY
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
MOVEP
2000
13 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
FROCOS
2009
Springer
14 years 10 days ago
2009
Springer