• T
  • TIME
  • 1996
  • 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Advanced Search 
3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Key west, Florida
May 19-May 20
ISBN: 0-8186-7528-4
Table of Contents
Invited Talks
F. Bacchus, Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 2
J. Van Benthem, Amsterdam Univ., Netherlands
pp. 4
Reasoning about Actions and Events
A. Mokhtari, USTHB, Alger, Algeria
D. Kayser, USTHB, Alger, Algeria
pp. 14
L. Vila, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
E. Schwalb, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 21
Temporal Constraints
E. Schwalb, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
R. Dechter, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 30
R. Wetprasit, Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
A. Sattar, Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
L. Khatib, Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
pp. 36
S. Badaloni, Dept. of Electron. & Comput. Sci., Padova Univ., Italy
M. Berati, Dept. of Electron. & Comput. Sci., Padova Univ., Italy
pp. 39
E. Schwalb, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
L. Vila, Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 51
A. Isli, Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France
H. Bennaceur, Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France
pp. 57
E. Mota, Dept. of Artificial Intelligence, Edinburgh Univ., UK
D. Robertson, Dept. of Artificial Intelligence, Edinburgh Univ., UK
pp. 72
D. Cukierman, Simon Fraser Univ., Burnaby, BC, Canada
J. Delgrande, Simon Fraser Univ., Burnaby, BC, Canada
pp. 80
C. Combi, Dipartimento di Bioingegneria, Politecnico di Milano, Italy
F. Pinciroli, Dipartimento di Bioingegneria, Politecnico di Milano, Italy
G. Pozzi, Dipartimento di Bioingegneria, Politecnico di Milano, Italy
pp. 88
Temporal Databases
M.A. Orgun, Dept. of Comput., Macquarie Univ., Sydney, NSW, Australia
pp. 96
C. Bettini, Dept. of Inf. Sci., Milan Univ., Italy
X.S. Wang, Dept. of Inf. Sci., Milan Univ., Italy
S. Jajodia, Dept. of Inf. Sci., Milan Univ., Italy
pp. 104
A. Gal, Fac. of Ind. Eng. & Manage., Technion-Israel Inst. of Technol., Haifa, Israel
D. Dori, Fac. of Ind. Eng. & Manage., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 112
Temporal Reasoning and Logic Programming
C. Dixon, Dept. of Comput., Manchester Metropolitan Univ., UK
pp. 120
E. Lamma, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
M. Milano, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
P. Mello, Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy
pp. 128
C. Martin, Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
J. Sistac, Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 136
Time in Problem Solving
G. Brajnik, Dipartimento di Matematica e Inf., Udine Univ., Italy
D.J. Clancy, Dipartimento di Matematica e Inf., Udine Univ., Italy
pp. 144
Temporal Logics
K.P. Jantke, Fachbereich IMN, HTWK Leipzig, Germany
O. Arnold, Fachbereich IMN, HTWK Leipzig, Germany
pp. 182
Belief and Uncertainty in Temporal Knowledge
A.Y. Tawfik, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
E.M. Neufeld, Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 196
Applications
Minglu Li, Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Yongqiang Sun, Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Huanye Sheng, Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
pp. 204
M.R. Sanchez, Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
A.M. Shende, Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
pp. 211
R. Guillen, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
D. Farwell, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
J. Wiebe, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 217
Usage of this product signifies your acceptance of the Terms of Use.