Abstract is missing.
- On Non-Local Propositional and Local One-Variable Quantified CTL*Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. 2-9 [doi]
- On the Operational Semantics of Timed Rewrite SystemsJérémie Blanc, Rachid Echahed. 10 [doi]
- Extending the Point Algebra into the Qualitative AlgebraAndrei A. Krokhin, Peter Jonsson. 28-35 [doi]
- Reasoning with Disjunctive Fuzzy Temporal Constraint NetworksAlfonso Bosch, Manuel Torres, Roque Marín. 36 [doi]
- Representation and Reasoning with Disjunctive Temporal ConstraintsMaría Isabel Alfonso Galipienso, Federico Barber Sanchís. 46-48 [doi]
- Extending the RETE Algorithm for Event ManagementBruno Berstel. 49-51 [doi]
- Stratified Causal Theories for Reasoning about Deterministic Devices and ProtocolsAntony Galton, Juan Carlos Augusto. 52-54 [doi]
- istributed States LogicCarlo Montangero, Laura Semini. 55-57 [doi]
- Performance of Querying Temporal Attributes in Object-Relational DatabasesCarsten Kleiner, Udo W. Lipeck. 58-60 [doi]
- A Parameterized Algebra for Event Notification ServicesAnnika Hinze, Agnès Voisard. 61 [doi]
- Logical Data ExpirationDavid Toman. 66 [doi]
- Index Based Processing of Semi-Restrictive Temporal JoinsDonghui Zhang, Vassilis J. Tsotras. 70-77 [doi]
- Evolution Specification of Multigranular Temporal ObjectsElena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti. 78-85 [doi]
- A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet TransformsKyoji Kawagoe, Tomohiro Ueda. 86 [doi]
- Applying Local Search to Temporal ReasoningJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher. 94-99 [doi]
- Temporal Reasoning with Classes and Instances of EventsPaolo Terenziani. 100-107 [doi]
- A Continuous Planning Framework with Durative ActionsAlexandra M. Coddington. 108 [doi]
- Temporal Views as Abstract RelationsAllan Ramsay. 116-123 [doi]
- A Finite-State Approach to Event SemanticsTim Fernando. 124 [doi]
- A Logical Approach to Represent and Reason about CalendarsCarlo Combi, Massimo Franceschet, Adriano Peron. 134-140 [doi]
- Indexed Flows in Temporal x Modal Logic with Functional SemanticsAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. 146 [doi]