2203 search results - page 58 / 441 » Temporal Abstract Interpretation |
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
CAEPIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents some enhancements in the temporal reasoning of a Hierarchical Task Network (HTN) planner, named SIADEX, that, up to authors knowledge, no other HTN pl...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
ER
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...