The Community for Technology Leaders
RSS Icon
Subscribe
Temporal Representation and Reasoning, International Syposium on (2003)
Cairns, Queensland, Australia
July 8, 2003 to July 10, 2003
ISBN: 0-7695-1912-1
TABLE OF CONTENTS
Foreword (PDF)
pp. vii
Invited Lectures
Claudio Bettini , DICO - University of Milan
pp. 2
Edmund Clarke , Carnegie Mellon University
pp. 7
Research Papers
Jatindra Kumar Deka , Indian Institute of Technology Guwahati
pp. 26
Paolo Terenziani , Univ. del Piemonte Orientale "Amedeo Avogadro"
Luca Anselma , Università di Torino
pp. 37
Fusheng Wang , University of California, Los Angeles
Carlo Zaniolo , University of California, Los Angeles
pp. 47
Clare Dixon , The University of Liverpool
Cláudia Nalon , The University of Liverpool
Michael Fisher , The University of Liverpool
pp. 62
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
Ian Hodkinson , Imperial College
Roman Kontchakov , King's College
Agi Kurucz , King's College
Frank Wolter , University of Liverpool
Michael Zakharyaschev , King's College
pp. 91
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
Isabel Navarrete , Universidad de Murcia
Abdul Sattar , Griffith University
Roque Marin , Universidad de Murcia
pp. 147
Tim French , University of Western Australia
pp. 155
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
Howard J. Hamilton , University of Regina
Liqiang Geng , University of Regina
Leah Findlater , University of Regina
Dee Jay Randall , University of Regina
pp. 181
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
Lin Xu , University of Nebraska-Lincoln
Berthe Y. Choueiry , University of Nebraska-Lincoln
pp. 212
pp. 223
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool