default search action

combined dblp search
author search
venue search
publication search

ask others

8th TIME 2001: Cividale del Friuli, Italy

> Home > Conferences and Workshops > TIME

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/time/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/2001
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

- view
  authority control:
- export record
  dblp key:
  - conf/time/Sandewall01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Sandewall01
Erik Sandewall:
Cellular Ontology as a Basis for Spatiotemporal Reasoning. 3-4

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/Brandano01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Brandano01
Sergio Brandano:
The Event Calculus Assessed. 7-12
- view
  authority control:
- export record
  dblp key:
  - conf/time/ChittaroC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/ChittaroC01
Luca Chittaro, Carlo Combi:
Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. 13-20
- view
  authority control:
- export record
  dblp key:
  - conf/time/KhatibMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/KhatibMH01
Lina Khatib, Nicola Muscettola, Klaus Havelund:
Mapping Temporal Planning Constraints into Timed Automata. 21-27
- view
  authority control:
- export record
  dblp key:
  - conf/time/MeulenS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/MeulenS01
Alice ter Meulen, Hans Smessaert:
Temporal reasoning with aspectual adverbs. 28-34
- view
  authority control:
- export record
  dblp key:
  - conf/time/RyabovP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/RyabovP01
Vladimir Ryabov, Seppo Puuronen:
Probabilistic Reasoning about Uncertain Relations between Temporal Points. 35-40
- view
  authority control:
- export record
  dblp key:
  - conf/time/StratulatCE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/StratulatCE01
Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
Temporal Reasoning: An Application to Normative Systems. 41-47

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/BadaloniGM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BadaloniGM01
Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo:
Qualitative temporal representation and reasoning about points, intervals and durations. 51-56
- view
  authority control:
- export record
  dblp key:
  - conf/time/Mota01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Mota01
Edjard Mota:
Reasoning about the Temporal Aspects of Interacting Agents. 57-62
- view
  authority control:
- export record
  dblp key:
  - conf/time/RossiSKMM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/RossiSKMM01
Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris:
Learning preferences on temporal constraints: a preliminary report. 63-68
- view
  authority control:
- export record
  dblp key:
  - conf/time/Ryabov01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Ryabov01
Vladimir Ryabov:
Estimating Uncertain Relations between Indeterminate Points and Intervals. 69-74
- view
  authority control:
- export record
  dblp key:
  - conf/time/SchaalL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/SchaalL01
Markus Schaal, Hans-Joachim Lenz:
Best Time and Content for Delay Notification. 75-80
- view
  authority control:
- export record
  dblp key:
  - conf/time/Trudel01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Trudel01
André Trudel:
Representing temporal interval relationships in a first order logic for time. 81-86

Track 2: Time Management in Databases

Invited Talk

the talk by M. Koubarakis was cancelled because of sickness and replaced by a talk by P. Revesz

- view
  authority control:
- export record
  dblp key:
  - conf/time/Koubarakis01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Koubarakis01
Manolis Koubarakis:
Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. 89
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/time/Revesz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Revesz01
Peter Z. Revesz:
Constraint Databases and Temporal Reasoning. TIME 2001

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/BowmanT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BowmanT01
Ivan T. Bowman, David Toman:
Optimizing Temporal Queries: Efficient Handling of Duplicates. 93-100
- view
  authority control:
- export record
  dblp key:
  - conf/time/GriffithsFDP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/GriffithsFDP01
Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton:
A Query Calculus for Spatio-Temporal Object Databases. 101-110
- view
  authority control:
- export record
  dblp key:
  - conf/time/LiNWJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LiNWJ01
Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia:
Discovering Calendar-based Temporal Association Rules. 111-118
- view
  authority control:
- export record
  dblp key:
  - conf/time/OliboniQT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/OliboniQT01
Barbara Oliboni, Elisa Quintarelli, Letizia Tanca:
Temporal aspects of semistructured data. 119-127
- view
  authority control:
- export record
  dblp key:
  - conf/time/Toman01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Toman01
David Toman:
Expiration of Historical Databases. 128-135
- view
  authority control:
- export record
  dblp key:
  - conf/time/WijsenB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/WijsenB01
Jef Wijsen, Alexis Bès:
Temporal Tableau Queries. 136-143

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/BertinoFGM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BertinoFGM01
Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo:
Navigating Through Multiple Temporal Granularity Objects. 147-155
- view
  authority control:
- export record
  dblp key:
  - conf/time/BertinoCGG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BertinoCGG01
Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini:
A Linguistic Framework for Querying Dimensional Data. 156-163
- view
  authority control:
- export record
  dblp key:
  - conf/time/GrandiM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/GrandiM01
Fabio Grandi, Federica Mandreoli:
Effective Representation and Efficient Management of Indeterminate Dates. 164-169
- view
  authority control:
- export record
  dblp key:
  - conf/time/ReveszCO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/ReveszCO01
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

- view
  authority control:
- export record
  dblp key:
  - conf/time/Wolper01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Wolper01
Pierre Wolper:
Representing Periodic Temporal Information with Automata. 179

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/BlackburnG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BlackburnG01
Patrick Blackburn, Valentin Goranko:
Hybrid Ockhamist Temporal Logic. 183-188
- view
  authority control:
- export record
  dblp key:
  - conf/time/BolligL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BolligL01
Benedikt Bollig, Martin Leucker:
Deciding LTL over Mazurkiewicz Traces. 189-197
- view
  authority control:
- export record
  dblp key:
  - conf/time/HaddadP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/HaddadP01
Serge Haddad, Denis Poitrenaud:
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. 198-205
- view
  authority control:
- export record
  dblp key:
  - conf/time/HustadtDSFMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/HustadtDSFMH01
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
- view
  authority control:
- export record
  dblp key:
  - conf/time/LogothetisS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LogothetisS01
George Logothetis, Klaus Schneider:
Symbolic Model Checking of Real-Time Systems. 214-223

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/time/BoerGM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BoerGM01
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. 227-233
- view
  authority control:
- export record
  dblp key:
  - conf/time/Heinemann01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Heinemann01
Bernhard Heinemann:
About the Temporal Decrease of Sets. 234-239
- view
  authority control:
- export record
  dblp key:
  - conf/time/BolligL01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BolligL01a
Benedikt Bollig, Martin Leucker:
Modelling, Specifying, and Verifying Message Passing Systems. 240-247

Acknowledgment: the information on this page was contributed by Martin Leucker

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.