The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings Ninth International Symposium on Temporal Representation and Reasoning (2002)
Manchester, UK
July 7, 2002 to July 9, 2002
ISBN: 0-7695-1474-X
TABLE OF CONTENTS
Introduction
Invited Talk 1
Paper Session 1: Temporal Logic in Computer Science
Sebastian Bauer , Universität Leipzig
Ian Hodkinson , Imperial College
Frank Wolter , Universität Leipzig
Michael Zakharyaschev , King?s College
pp. 2
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
Andrei Krokhin , Oxford University Computing Laboratory
Peter Jonsson , Link?ping University
pp. 28
Alfonso Bosch , Universidad de Almer?
Manuel Torres , Universidad de Almer?
Roque Marín , Universidad de Murcia
pp. 36
Poster Session
Maria Isabel Alfonso Galipienso , Universidad de Alicante
Federico Barber Sanchis , Universidad Politecnica de Valencia
pp. 46
Carlo Montangero , Università di Pisa
Laura Semini , Università di Pisa
pp. 55
Carsten Kleiner , University of Hannover
Udo W. Lipeck , University of Hannover
pp. 58
Annika Hinze , Freie Universität Berlin
Agnès Voisard , Freie Universität Berlin
pp. 61
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
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
Paolo Terenziani , Univ. del Piemonte Orientale "Amedeo Avogadro"
pp. 100
Invited Talk 4
Paper Session 5: Temporal Representation and Reasoning in AI
Tim Fernando , Trinity College
pp. 124
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
Daisuke Kachi , Saitama University
pp. 141
Alfredo Burrieza , Universidad de Málaga
Inma P. de Guzmán , Universidad de Málaga
Emilio Muñoz , Universidad de Málaga
pp. 146
Author Index
Author Index (PDF)
pp. 155
331 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool