default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th TIME 2001: Cividale del Friuli, Italy
- Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001. IEEE Computer Society 2001, ISBN 0-7695-1107-4
Track 1: Temporal Representation and Reasoning in AI
Invited Talk
- Erik Sandewall:
Cellular Ontology as a Basis for Spatiotemporal Reasoning. 3-4
Regular Papers
- Sergio Brandano:
The Event Calculus Assessed. 7-12 - Luca Chittaro, Carlo Combi
:
Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. 13-20 - Lina Khatib, Nicola Muscettola, Klaus Havelund:
Mapping Temporal Planning Constraints into Timed Automata. 21-27 - Alice ter Meulen, Hans Smessaert:
Temporal reasoning with aspectual adverbs. 28-34 - Vladimir Ryabov, Seppo Puuronen:
Probabilistic Reasoning about Uncertain Relations between Temporal Points. 35-40 - Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
Temporal Reasoning: An Application to Normative Systems. 41-47
Short Papers
- Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo:
Qualitative temporal representation and reasoning about points, intervals and durations. 51-56 - Edjard Mota:
Reasoning about the Temporal Aspects of Interacting Agents. 57-62 - Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris:
Learning preferences on temporal constraints: a preliminary report. 63-68 - Vladimir Ryabov:
Estimating Uncertain Relations between Indeterminate Points and Intervals. 69-74 - Markus Schaal, Hans-Joachim Lenz:
Best Time and Content for Delay Notification. 75-80 - André Trudel:
Representing temporal interval relationships in a first order logic for time. 81-86
Track 2: Time Management in Databases
Invited Talk
- Manolis Koubarakis:
Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. 89 - Peter Z. Revesz:
Constraint Databases and Temporal Reasoning. TIME 2001
Regular Papers
- Ivan T. Bowman, David Toman:
Optimizing Temporal Queries: Efficient Handling of Duplicates. 93-100 - Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton:
A Query Calculus for Spatio-Temporal Object Databases. 101-110 - Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia:
Discovering Calendar-based Temporal Association Rules. 111-118 - Barbara Oliboni, Elisa Quintarelli, Letizia Tanca:
Temporal aspects of semistructured data. 119-127 - David Toman:
Expiration of Historical Databases. 128-135 - Jef Wijsen, Alexis Bès:
Temporal Tableau Queries. 136-143
Short Papers
- Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo:
Navigating Through Multiple Temporal Granularity Objects. 147-155 - Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini:
A Linguistic Framework for Querying Dimensional Data. 156-163 - Fabio Grandi, Federica Mandreoli:
Effective Representation and Efficient Management of Indeterminate Dates. 164-169 - Peter Z. Revesz, Rui Chen, Min Ouyang:
Approximate Query Evaluation Using Linear Constraint Databases. 170-175
Track 3: Temporal Logic in Computer Science
Invited Talk
- Pierre Wolper:
Representing Periodic Temporal Information with Automata. 179
Regular Papers
- Patrick Blackburn, Valentin Goranko:
Hybrid Ockhamist Temporal Logic. 183-188 - Benedikt Bollig, Martin Leucker:
Deciding LTL over Mazurkiewicz Traces. 189-197 - Serge Haddad, Denis Poitrenaud:
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. 198-205 - Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Reasoning about agents in the KARO framework. 206-213 - George Logothetis, Klaus Schneider:
Symbolic Model Checking of Real-Time Systems. 214-223
Short Papers
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. 227-233 - Bernhard Heinemann:
About the Temporal Decrease of Sets. 234-239 - Benedikt Bollig, Martin Leucker:
Modelling, Specifying, and Verifying Message Passing Systems. 240-247
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
