• T
  • TIME
  • 2005
  • 12th International Symposium on Temporal Representation and Reasoning (TIME'05)
Advanced Search 
12th International Symposium on Temporal Representation and Reasoning (TIME'05)
Burlington, Vermont
June 23-June 25
ISBN: 0-7695-2370-6
Table of Contents
Introduction
Invited Talks
Betty Salzberg, Northeastern University
pp. 4
Temporal Representation and Reasoning in AI
Krzysztof R. Apt, National University of Singapore, CWI and UvA
Sebastian Brand, National University of Singapore
pp. 26-34
Temporal Databases
Fusheng Wang, Siemens Corporate Research
Carlo Zaniolo, University of California at Los Angeles
Xin Zhou, University of California at Los Angeles
pp. 47-55
C. Combi, Università degli Studi di Verona
A. Montanari, Università degli Studi di Udine
R. Rossato, Università degli Studi di Verona
pp. 91-99
Temporal Logic in Computer Science
Stéphane Demri, LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan
Ranko Lazić, University of Warwick
David Nowak, LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan
pp. 113-121
Roger Villemaire, Université du Québec à Montréal
Sylvain Hallé, Université du Québec à Montréal
Omar Cherkaoui, Université du Québec à Montréal
pp. 131-137
Carsten Lutz, Technical University Dresden
Dirk Walther, University of Liverpool
Frank Wolter, University of Liverpool
pp. 138-146
Marko Samer, Vienna University of Technology
Helmut Veith, Technische Universität München
pp. 156-165
Ben D'Angelo, Stanford University,
Sriram Sankaranarayanan, Stanford University
César Sánchez, Stanford University
Will Robinson, Stanford University
Bernd Finkbeiner, Saarland University
Henny B. Sipma, Stanford University
Sandeep Mehrotra, Synopsys, Inc.
Zohar Manna, Stanford University
pp. 166-174
Posters
Johann Eder, University of Klagenfurt
Horst Pichler, University of Klagenfurt
pp. 183-185
Song Lin, University of California at Riverside
Dimitrios Gunopulos, University of California at Riverside
Vana Kalogeraki, University of California at Riverside
Stefano Lonardi, University of California at Riverside
pp. 186-188
Invited Posters
Fusheng Wang, Siemens Corporate Research
Carlo Zaniolo, University of California at Los Angeles
Xin Zhou, University of California at Los Angeles
Hyun J. Moon, University of California at Los Angeles
pp. 207-209
Author Index
Usage of this product signifies your acceptance of the Terms of Use.