3028 search results - page 1 / 606 » Integrating Temporal Logics |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
MFCS
1997
Springer
13 years 9 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
DALT
2008
Springer
13 years 6 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...