The Community for Technology Leaders
RSS Icon
Subscribe
Temporal Representation and Reasoning, International Syposium on (2005)
Burlington, Vermont
June 23, 2005 to June 25, 2005
ISBN: 0-7695-2370-6
TABLE OF CONTENTS
Introduction
Invited Talks
Patrice Godefroid , Lucent Technologies
pp. 3
Betty Salzberg , Northeastern University
pp. 4
James Pustejovsky , Brandeis University
pp. 5-8
Temporal Representation and Reasoning in AI
Philippe Muller , Universit? Paul Sabatier
Axel Reymonet , Universit? Paul Sabatier
pp. 11-19
Krzysztof R. Apt , National University of Singapore, CWI and UvA
Sebastian Brand , National University of Singapore
pp. 26-34
Mahat Khelfallah , Provence University
Belaïd Benhamou , Provence University
pp. 35-43
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
Amal ElNahas , German University in Cairo
Omar H. Karam , Ain Shams University
Ahmad Hamad , Ain Shams University
Ingy Ramzy , Ain Shams University
pp. 56-64
Kiyoung Yang , University of Southern California
Cyrus Shahabi , University of Southern California
pp. 65-73
Nicole Bidoit , L.R.I. UMR 8623 CNRS
Matthieu Objois , L.R.I. UMR 8623 CNRS
pp. 74-82
Mohammed Al-Kateb , University of Vermont
Essam Mansour , Dublin Institute of Technology
Mohamed E. El-Sharkawi , Cairo University
pp. 83-90
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
Pieter H. Hartel , University of Twente
pp. 103-112
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
Alexei Lisitsa , University of Liverpool
Igor Potapov , University of Liverpool
pp. 147-155
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
Andr? Trudel , Acadia University
Haiyi Zhang , Acadia University
pp. 177-179
Seo-Young Noh , Iowa State University
Shashi K. Gadia , Iowa State University
pp. 180-182
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
Volker Gruhn , University of Leipzig
Ralf Laue , University of Leipzig
pp. 189-191
Michel A. Reniers , Technical University of Eindhoven
Yaroslav S. Usenko , Technical University of Eindhoven
pp. 192-194
Artie Basukoski , University of Westminster
Alexander Bolotov , University of Westminster
pp. 195-197
Invited Posters
Angelo Montanari , Università degli Studi di Udine
pp. 201-203
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
Peter Revesz , University of Nebraska-Lincoln
pp. 210-212
Author Index
Author Index (PDF)
pp. 213
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool