The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2003)
Cairns, Queensland, Australia
July 8, 2003 to July 10, 2003
ISSN: 1530-1311
ISBN: 0-7695-1912-1
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Invited Lectures

Web services for time granularity reasoning (Abstract)

Claudio Bettini , DICO - University of Milan
pp. 2

Counterexample-Guided Abstraction Refinement (PDF)

Edmund Clarke , Carnegie Mellon University
pp. 7
Research Papers

Reasoning about Extremal Properties of Events (Abstract)

Jatindra Kumar Deka , Indian Institute of Technology Guwahati
pp. 26

Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity (Abstract)

Paolo Terenziani , Univ. del Piemonte Orientale "Amedeo Avogadro"
Luca Anselma , Università di Torino
pp. 37

Temporal Queries in XML Document Archives and Web Warehouses (Abstract)

Carlo Zaniolo , University of California, Los Angeles
Fusheng Wang , University of California, Los Angeles
pp. 47

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning (Abstract)

Cláudia Nalon , The University of Liverpool
Michael Fisher , The University of Liverpool
Clare Dixon , The University of Liverpool
pp. 62

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case (Abstract)

Boris Konev , University of Liverpool
Michael Fisher , University of Liverpool
Ullrich Hustadt , University of Liverpool
Clare Dixon , University of Liverpool
Anatoli Degtyarev , King's College London
pp. 72

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics (Abstract)

Roman Kontchakov , King's College
Michael Zakharyaschev , King's College
Agi Kurucz , King's College
Frank Wolter , University of Liverpool
Ian Hodkinson , Imperial College
pp. 91

Efficient Aggregation over Moving Objects (Abstract)

Yi Chen , University of Nebraska-Lincoln
Peter Revesz , University of Nebraska-Lincoln
pp. 118

A model to perform knowledge-based temporal abstraction over multiple signals (Abstract)

P. Félix , Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
A. Otero , Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
S. Barro , Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
C. V. Regueiro , Universidade de A Coruña
M. Rodríguez , Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
pp. 128

Towards Symbolic Strategy Synthesis for 〈〈 A 〉〉-LTL (Abstract)

Pierre-Yves Schobbens , Institut d'Informatique Facultés Universitaires de Namur
Mark Ryan , University of Birmingham
Aidan Harding , University of Birmingham
pp. 137

Deciding consistency of a point-duration network with metric constraints (Abstract)

Roque Marin , Universidad de Murcia
Isabel Navarrete , Universidad de Murcia
Abdul Sattar , Griffith University
pp. 147

Quantified Propositional Temporal Logic with Repeating States (Abstract)

Tim French , University of Western Australia
pp. 155

Hybrid Logics on Linear Structures: Expressivity and Complexity (Abstract)

Massimo Franceschet , University of Amsterdam
Bernd-Holger Schlingloff , Fraunhofer FIRST and Humboldt University
Maarten de Rijke , University of Amsterdam
pp. 166

A Novel Approach to Model NOW in Temporal Databases (Abstract)

Abdul Sattar , Griffith University Gold Coast, Australia
John Thornton , Griffith University Gold Coast, Australia
Bela Stantic , Griffith University Gold Coast, Australia
pp. 174

Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs (Abstract)

Liqiang Geng , University of Regina
Dee Jay Randall , University of Regina
Howard J. Hamilton , University of Regina
Leah Findlater , University of Regina
pp. 181

Definability and decidability of binary predicates for time granularity (Abstract)

Massimo Franceschet , Università di Chieti-Pescara
Angelo Montanari , Università di Udine
Adriano Peron , Università di Napoli 'Federico II'
Guido Sciavicco , Università di Udine
pp. 192

On the Consistency Problem for the INDU Calculus (Abstract)

Gérard Ligozat , Université de Paris-Sud; Université Paris XI
Jean-François Condotta , Université de Paris-Sud; Université Paris XI
pp. 203

A New Efficient Algorithm for Solving the Simple Temporal Problem (Abstract)

Lin Xu , University of Nebraska-Lincoln
Berthe Y. Choueiry , University of Nebraska-Lincoln
pp. 212

Author's Index (PDF)

pp. 223
91 ms
(Ver 3.1 (10032016))