2649 search results - page 9 / 530 » Temporal Theories of Reasoning |
139
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
CSCLP
2007
Springer
15 years 6 months ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
EUROCAST
2007
Springer
15 years 1 months ago
2007
Springer
99
Voted
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...