The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2001)
Cividale Del Friuli, Italy
June 14, 2001 to June 16, 2001
ISBN: 0-7695-1107-4
TABLE OF CONTENTS
Invited Speaker
Regular Papers

The Event Calculus Assessed (Abstract)

Sergio Brandano , Queen Mary College, University of London
pp. 0007

Mapping Temporal Planning Constraints into Timed Automata (Abstract)

Lina Khatib , Kestrel Technology, NASA Ames Research Center
Nicola Muscettola , Kestrel Technology, NASA Ames Research Center
Klaus Havelund , Kestrel Technology, NASA Ames Research Center
pp. 0021

Temporal Reasoning with Aspectual Adverbs (Abstract)

A. G. B. ter Meulen , Universiteit Groningen
H. Smessaert , Katholieke Universiteit Leuven
pp. 0028

Probabilistic Reasoning about Uncertain Relations between Temporal Points (Abstract)

Vladimir Ryabov , University of Jyv?skyl?
Seppo Puuronen , University of Jyv?skyl?
pp. 0035

Temporal Reasoning: An Application to Normative Systems (Abstract)

Tiberiu Stratulat , Universit? de Caen
Patrice Enjalbert , Universit? de Caen
Françoise Clérin-Debart , Universit? de Caen
pp. 0041
Short Papers

Reasoning About the Temporal Aspects of Interacting Agents (Abstract)

Edjard Mota , Universidade Federal do Amazonas
pp. 0057

Learning Preferences on Temporal Constraints: A Preliminary Report (Abstract)

L. Khatib , Kestrel Technology
P. Morris , NASA Ames Research Center
A. Sperduti , University of Pisa
R. Morris , NASA Ames Research Center
F. Rossi , University of Padova
pp. 0063

Best Time and Content for Delay Notification (Abstract)

Hans-Joachim Lenz , Freie Universit?t Berlin
Markus Schaal , Technische Universit?t Berlin
pp. 0075
Invited Speaker
Regular Papers

Optimizing Temporal Queries: Efficient Handling of Duplicates (Abstract)

David Toman , University of Waterloo
Ivan T. Bowman , University of Waterloo
pp. 0093

A Query Calculus for Spatio-Temporal Object Databases (Abstract)

Nassima Djafri , University of Manchester
Alvaro A. A. Fernandes , University of Manchester
Norman W. Paton , University of Manchester
Tony Griffiths , University of Manchester
pp. 0101

Discovering Calendar-Based Temporal Association Rules (Abstract)

X. Sean Wang , Center for Secure Information Systems, George Mason University
Yingjiu Li , Center for Secure Information Systems, George Mason University
Sushil Jajodia , Center for Secure Information Systems, George Mason University
Peng Ning , Center for Secure Information Systems, George Mason University
pp. 0111

Temporal Aspects of Semistructured Data (Abstract)

Elisa Quintarelli , Politecnico di Milano
Barbara Oliboni , Politecnico di Milano
Letizia Tanca , Politecnico di Milano
pp. 0119

Expiration of Historical Databases (Abstract)

David Toman , University of Waterloo
pp. 0128

Temporal Tableau Queries (Abstract)

Jef Wijsen , Universit? de Mons-Hainaut
Alexis Bès , Universit? de Mons-Hainaut
pp. 0136
Short Papers

Navigating through Multiple Temporal Granularity Objects (Abstract)

Isabella Merlo , DSI - Universit? degli Studi di Milano
Giovanna Guerrini , DISI - Universit? di Genova
Elisa Bertino , DSI - Universit? degli Studi di Milano
Elena Ferrari , DSI - Universit? degli Studi di Milano
pp. 0147

A Linguistic Framework for Querying Dimensional Data (Abstract)

Elisa Bertino , DSI - Universita di Milano
Giovanna Guerrini , DISI - Universita di Genova
Tsz S. Cheng , IBM Global E-Business Solution Center
Shashi K. Gadia , Iowa State University
pp. 0156

Effective Representation and Efficient Management of Indeterminate Dates (Abstract)

Federica Mandreoli , University of Modena and Reggio Emilia
Fabio Grandi , University of Bologna
pp. 0164

Approximate Query Evaluation Using Linear Constraint Databases (Abstract)

Min Ouyang , University of Nebraska-Lincoln
Peter Revesz , University of Nebraska-Lincoln
Rui Chen , University of Nebraska-Lincoln
pp. 0170
Invited Speaker
Regular Papers

Hybrid Ockhamist Temporal Logic (Abstract)

Valentin Goranko , Rand Afrikaans University
Patrick Blackburn , INRIA, Lorraine
pp. 0183

Deciding LTL over Mazurkiewicz Traces (Abstract)

Benedikt Bollig , RWTH Aachen
Martin Leucker , RWTH Aachen
pp. 0189

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets (Abstract)

Serge Haddad , LAMSADE - UPRESA 7024, Universite Paris IX,
Denis Poitrenaud , LIP6 - UMR 7606, Universite Paris VI
pp. 0198

Reasoning about Agents in the KARO Framework (Abstract)

J.-J. Meyer , University of Utrecht
R. A. Schmidt , University of Manchester
U. Hustadt , University of Liverpool
C. Dixon , University of Liverpool
M. Fisher , University of Liverpool
W. Van der Hoek , University of Utrecht
pp. 0206

Symbolic Model Checking of Real-Time Systems (Abstract)

G. Logothetis , University of Karlsruhe
K. Schneider , University of Karlsruhe
pp. 0214
Short Papers

A Temporal Logic for Reasoning about Timed Concurrent Constraint Programs (Abstract)

F.S. de Boer , Universiteit Utrecht
M.C. Meo , Universita di L'Aquila
M. Gabbrielli , Universita di Udine
pp. 0227

About the Temporal Decrease of Sets (Abstract)

Bernhard Heinemann , Fern Universitat Hagen
pp. 0234

Author Index (PDF)

pp. 0249
89 ms
(Ver 3.1 (10032016))