The Community for Technology Leaders
RSS Icon
Subscribe
Temporal Representation and Reasoning, International Syposium on (1996)
Key west, Florida
May 19, 1996 to May 20, 1996
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
Choong-Ho Yi , Dept. of Comput. Sci., Karlstad Univ., Sweden
pp. 6
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
A. Cesta , CNR, Rome, Ital
A. Oddi , CNR, Rome, Ital
pp. 45
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
I. Bichindaritz , Univ. Rene Descartes, Paris, France
E. Conlon , Univ. Rene Descartes, Paris, France
pp. 152
E.T. Keravnou , Dept. of Comput. Sci., Cyprus Univ., Nicosia, Cyprus
pp. 160
Temporal Logics
D. Gagne , Alex Inf., Lachine, Que., Canada
A. Trudel , Alex Inf., Lachine, Que., Canada
pp. 176
K.P. Jantke , Fachbereich IMN, HTWK Leipzig, Germany
O. Arnold , Fachbereich IMN, HTWK Leipzig, Germany
pp. 182
Belief and Uncertainty in Temporal Knowledge
A. Fusaoka , Dept. of Comput. Sci., Ritsumeikan Univ., Siga, Japan
pp. 190
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
Author Index (PDF)
pp. 223
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool