Abstract is missing.
- Constraint Databases and Temporal ReasoningPeter Z. Revesz.
- Cellular Ontology as a Basis for Spatiotemporal ReasoningErik Sandewall. 3-4 [doi]
- Representation of Temporal Intervals and Relations: Information Visualization Aspects and their EvaluationLuca Chittaro, Carlo Combi. 13-20 [doi]
- Mapping Temporal Planning Constraints into Timed AutomataLina Khatib, Nicola Muscettola, Klaus Havelund. 21-27 [doi]
- Probabilistic Reasoning about Uncertain Relations between Temporal PointsVladimir Ryabov, Seppo Puuronen. 35-40 [doi]
- Temporal Reasoning: An Application to Normative SystemsTiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert. 41-47 [doi]
- Qualitative temporal representation and reasoning about points, intervals and durationsSilvana Badaloni, Massimiliano Giacomin, Claudio Masolo. 51-56 [doi]
- Reasoning about the Temporal Aspects of Interacting AgentsEdjard Mota. 57-62 [doi]
- Learning preferences on temporal constraints: a preliminary reportFrancesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris. 63-68 [doi]
- Estimating Uncertain Relations between Indeterminate Points and IntervalsVladimir Ryabov. 69-74 [doi]
- Best Time and Content for Delay NotificationMarkus Schaal, Hans-Joachim Lenz. 75-80 [doi]
- Representing temporal interval relationships in a first order logic for timeAndré Trudel. 81-86 [doi]
- Spatiotemporal databases: Recent Achievements and Opportunities for Future ResearchManolis Koubarakis. 89 [doi]
- Optimizing Temporal Queries: Efficient Handling of DuplicatesIvan T. Bowman, David Toman. 93-100 [doi]
- A Query Calculus for Spatio-Temporal Object DatabasesTony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton. 101-110 [doi]
- Discovering Calendar-based Temporal Association RulesYingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia. 111-118 [doi]
- Expiration of Historical DatabasesDavid Toman. 128-135 [doi]
- Temporal Tableau QueriesJef Wijsen, Alexis Bès. 136-143 [doi]
- Navigating Through Multiple Temporal Granularity ObjectsElisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo. 147-155 [doi]
- A Linguistic Framework for Querying Dimensional DataElisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini. 156-163 [doi]
- Approximate Query Evaluation Using Linear Constraint DatabasesPeter Z. Revesz, Rui Chen, Min Ouyang. 170-175 [doi]
- Representing Periodic Temporal Information with AutomataPierre Wolper. 179 [doi]
- Hybrid Ockhamist Temporal LogicPatrick Blackburn, Valentin Goranko. 183-188 [doi]
- Deciding LTL over Mazurkiewicz TracesBenedikt Bollig, Martin Leucker. 189-197 [doi]
- Checking Linear Temporal Formulas on Sequential Recursive Petri NetsSerge Haddad, Denis Poitrenaud. 198-205 [doi]
- Reasoning about agents in the KARO frameworkUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. 206-213 [doi]
- Symbolic Model Checking of Real-Time SystemsGeorge Logothetis, Klaus Schneider. 214-223 [doi]
- A Temporal Logic for reasoning about Timed Concurrent Constraint ProgramsFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo. 227-233 [doi]
- About the Temporal Decrease of SetsBernhard Heinemann. 234-239 [doi]
- Modelling, Specifying, and Verifying Message Passing SystemsBenedikt Bollig, Martin Leucker. 240-247 [doi]