• T
  • TIME
  • 2002
  • Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
Advanced Search 
Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
Manchester, UK
July 07-July 09
ISBN: 0-7695-1474-X
Table of Contents
Introduction
Invited Talk 1
Automated Verification = Graphs, Logic, and Automata
Paper Session 1: Temporal Logic in Computer Science
Jérémie Blanc, Laboratoire LEIBNIZ — Institut IMAG, CNRS
Rachid Echahed, Laboratoire LEIBNIZ — Institut IMAG, CNRS
pp. 10
Paper Session 2: Temporal Representation and Reasoning in AI
Paolo Terenziani, Univ. del Piemonte Orientale "Amedeo Avogadro"
Carlo Carlini, Univ. del Piemonte Orientale "Amedeo Avogadro"
Stefania Montani, Univ. del Piemonte Orientale "Amedeo Avogadro"
pp. 20
Poster Session
Invited Talk 2
David Toman, University of Waterloo
pp. 66
Paper Session 3: Time Management in Databases
Donghui Zhang, University of California at Riverside
Vassilis J. Tsotras, University of California at Riverside
pp. 70
Elena Camossi, Università di Milano
Elisa Bertino, Università di Milano
Giovanna Guerrini, Università di Pisa
Marco Mesiti, Università di Genova
pp. 78
Invited Talk 3
Temporal Data and the Relational Model
Paper Session 4: Temporal Representation and Reasoning in AI
J. Thornton, Griffith University Gold Coast
M. Beaumont, Griffith University Gold Coast
A. Sattar, Griffith University Gold Coast
Michael Maher, Loyola University
pp. 94
Invited Talk 4
Title to be Announced
Paper Session 5: Temporal Representation and Reasoning in AI
Paper Session 6: Temporal Logic in Computer Science
Carlo Combi, University of Verona
Massimo Franceschet, University ?G. D?Annunzio? of Pescara
Adriano Peron, University ?Federico II? of Napoli
pp. 134
Author Index
Usage of this product signifies your acceptance of the Terms of Use.