• T
  • TIME
  • 2003
  • 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic
Advanced Search 
10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic
Cairns, Queensland, Australia
July 08-July 10
ISBN: 0-7695-1912-1
Table of Contents
Invited Lectures
Research Papers
Fusheng Wang, University of California, Los Angeles
Carlo Zaniolo, University of California, Los Angeles
pp. 47
Boris Konev, University of Liverpool
Anatoli Degtyarev, King's College London
Clare Dixon, University of Liverpool
Michael Fisher, University of Liverpool
Ullrich Hustadt, University of Liverpool
pp. 72
Peter Revesz, University of Nebraska-Lincoln
Yi Chen, University of Nebraska-Lincoln
pp. 118
A. Otero, Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
P. Félix, 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
S. Barro, Dpto. de Electrónica e Computación Universidade de Santiago de Compostela
pp. 128
Aidan Harding, University of Birmingham
Mark Ryan, University of Birmingham
Pierre-Yves Schobbens, Institut d'Informatique Facultés Universitaires de Namur
pp. 137
Massimo Franceschet, University of Amsterdam
Maarten de Rijke, University of Amsterdam
Bernd-Holger Schlingloff, Fraunhofer FIRST and Humboldt University
pp. 166
Bela Stantic, Griffith University Gold Coast, Australia
John Thornton, Griffith University Gold Coast, Australia
Abdul Sattar, Griffith University Gold Coast, Australia
pp. 174
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
Jean-François Condotta, Université de Paris-Sud; Université Paris XI
Gérard Ligozat, Université de Paris-Sud; Université Paris XI
pp. 203
Usage of this product signifies your acceptance of the Terms of Use.