CSDL - Proceedings T

Message from the Program Chairs (PDF)

pp. x

Conference Organization (PDF)

pp. xi

Invited Speaker

Cellular Ontology as a Basis for Spatiotemporal Reasoning (PDF)

E. Sandewall

pp. 0003

Regular Papers

The Event Calculus Assessed (Abstract)

Sergio Brandano, Queen Mary College, University of London

pp. 0007

PDF

Representing of Temporal Intervals and Relations: Information Visualization Aspects and Their Evaluation (Abstract)

Luca Chittaro, University of Udine

Carl Combi, University of Udine

pp. 0013

PDF

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

PDF

Temporal Reasoning with Aspectual Adverbs (Abstract)

A. G. B. ter Meulen, Universiteit Groningen

H. Smessaert, Katholieke Universiteit Leuven

pp. 0028

PDF

Probabilistic Reasoning about Uncertain Relations between Temporal Points (Abstract)

Vladimir Ryabov, University of Jyv?skyl?

Seppo Puuronen, University of Jyv?skyl?

pp. 0035

PDF

Temporal Reasoning: An Application to Normative Systems (Abstract)

Tiberiu Stratulat, Universit? de Caen

Françoise Clérin-Debart, Universit? de Caen

Patrice Enjalbert, Universit? de Caen

pp. 0041

PDF

Short Papers

Qualitative Temporal Representation and Reasoning about Points, Intervals and Durations (Abstract)

Silvana Badaloni, University of Padova

Claudio Masolo, University of Padova

Massimiliano Giacomin, University of Brescia

pp. 0051

PDF

Reasoning About the Temporal Aspects of Interacting Agents (Abstract)

Edjard Mota, Universidade Federal do Amazonas

pp. 0057

PDF

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

F. Rossi, University of Padova

A. Sperduti, University of Pisa

L. Khatib, Kestrel Technology

P. Morris, NASA Ames Research Center

R. Morris, NASA Ames Research Center

pp. 0063

PDF

Estimating Uncertain Relations between Indeterminate Temporal Points and Intervals (Abstract)

Vladimir Ryabov, University of Jyv?skyl?

pp. 0069

PDF

Best Time and Content for Delay Notification (Abstract)

Markus Schaal, Technische Universit?t Berlin

Hans-Joachim Lenz, Freie Universit?t Berlin

pp. 0075

PDF

Representing Temporal Interval Relationships in a First Order Logic for Time (Abstract)

André Trudel, Acadia University

pp. 0081

PDF

Spatiotemporal Databases: Recent Achievements and Opportunities for Future Research (Abstract)

Manolis Koubarakis, Technical University of Crete

pp. 0089

PDF

Optimizing Temporal Queries: Efficient Handling of Duplicates (Abstract)

Ivan T. Bowman, University of Waterloo

David Toman, University of Waterloo

pp. 0093

PDF

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

Tony Griffiths, University of Manchester

Alvaro A. A. Fernandes, University of Manchester

Nassima Djafri, University of Manchester

Norman W. Paton, University of Manchester

pp. 0101

PDF

Discovering Calendar-Based Temporal Association Rules (Abstract)

Yingjiu Li, Center for Secure Information Systems, George Mason University

Peng Ning, Center for Secure Information Systems, George Mason University

X. Sean Wang, Center for Secure Information Systems, George Mason University

Sushil Jajodia, Center for Secure Information Systems, George Mason University

pp. 0111

PDF

Temporal Aspects of Semistructured Data (Abstract)

Barbara Oliboni, Politecnico di Milano

Elisa Quintarelli, Politecnico di Milano

Letizia Tanca, Politecnico di Milano

pp. 0119

PDF

Expiration of Historical Databases (Abstract)

David Toman, University of Waterloo

pp. 0128

PDF

Temporal Tableau Queries (Abstract)

Jef Wijsen, Universit? de Mons-Hainaut

Alexis Bès, Universit? de Mons-Hainaut

pp. 0136

PDF

Navigating through Multiple Temporal Granularity Objects (Abstract)

Elisa Bertino, DSI - Universit? degli Studi di Milano

Elena Ferrari, DSI - Universit? degli Studi di Milano

Isabella Merlo, DSI - Universit? degli Studi di Milano

Giovanna Guerrini, DISI - Universit? di Genova

pp. 0147

PDF

A Linguistic Framework for Querying Dimensional Data (Abstract)

Elisa Bertino, DSI - Universita di Milano

Tsz S. Cheng, IBM Global E-Business Solution Center

Shashi K. Gadia, Iowa State University

Giovanna Guerrini, DISI - Universita di Genova

pp. 0156

PDF

Effective Representation and Efficient Management of Indeterminate Dates (Abstract)

Fabio Grandi, University of Bologna

Federica Mandreoli, University of Modena and Reggio Emilia

pp. 0164

PDF

Approximate Query Evaluation Using Linear Constraint Databases (Abstract)

Peter Revesz, University of Nebraska-Lincoln

Rui Chen, University of Nebraska-Lincoln

Min Ouyang, University of Nebraska-Lincoln

pp. 0170

PDF

Representing Periodic Temporal Information with Automata (PDF)

P. Wolper

pp. 0179

Hybrid Ockhamist Temporal Logic (Abstract)

Patrick Blackburn, INRIA, Lorraine

Valentin Goranko, Rand Afrikaans University

pp. 0183

PDF

Deciding LTL over Mazurkiewicz Traces (Abstract)

Benedikt Bollig, RWTH Aachen

Martin Leucker, RWTH Aachen

pp. 0189

PDF

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

PDF

Reasoning about Agents in the KARO Framework (Abstract)

U. Hustadt, University of Liverpool

C. Dixon, University of Liverpool

M. Fisher, University of Liverpool

R. A. Schmidt, University of Manchester

J.-J. Meyer, University of Utrecht

W. Van der Hoek, University of Utrecht

pp. 0206

PDF

Symbolic Model Checking of Real-Time Systems (Abstract)

G. Logothetis, University of Karlsruhe

K. Schneider, University of Karlsruhe

pp. 0214

PDF

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

F.S. de Boer, Universiteit Utrecht

M. Gabbrielli, Universita di Udine

M.C. Meo, Universita di L'Aquila

pp. 0227

PDF

About the Temporal Decrease of Sets (Abstract)

Bernhard Heinemann, Fern Universitat Hagen

pp. 0234

PDF

Modelling, Specifying, and Verifying Message Passing Systems (Abstract)

Benedikt Bollig, RWTH Aachen

Martin Leuker, RWTH Aachen

pp. 0240

PDF

Author Index (PDF)

pp. 0249