The Community for Technology Leaders
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

Using temporal logics for planning and control (PDF)

F. Bacchus , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 2

Remodeling temporal geometry (PDF)

J. Van Benthem , Amsterdam Univ., Netherlands
pp. 4
Reasoning about Actions and Events

Reasoning about concurrent actions within features and fluents (Abstract)

Choong-Ho Yi , Dept. of Comput. Sci., Karlstad Univ., Sweden
pp. 6

Time in a causal theory (Abstract)

A. Mokhtari , USTHB, Alger, Algeria
D. Kayser , USTHB, Alger, Algeria
pp. 14

A theory of time and temporal incidence based on instants and periods (Abstract)

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. 21
Temporal Constraints

Processing disjunctions of temporal constraints (Abstract)

R. Dechter , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
E. Schwalb , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 30

Reasoning with sequences of point events (Abstract)

A. Sattar , Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
R. Wetprasit , Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
L. Khatib , Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
pp. 36

Hybrid temporal reasoning for planning and scheduling (Abstract)

S. Badaloni , Dept. of Electron. & Comput. Sci., Padova Univ., Italy
M. Berati , Dept. of Electron. & Comput. Sci., Padova Univ., Italy
pp. 39

Logic programming with temporal constraints (Abstract)

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. 51

Networks of qualitative interval relations: combining circuit consistency and path consistency in the search for a solution (Abstract)

H. Bennaceur , Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France
A. Isli , Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France
pp. 57

Representing interaction of agents at different time granularities (Abstract)

D. Robertson , Dept. of Artificial Intelligence, Edinburgh Univ., UK
E. Mota , Dept. of Artificial Intelligence, Edinburgh Univ., UK
pp. 72

Characterizing temporal repetition (Abstract)

J. Delgrande , Simon Fraser Univ., Burnaby, BC, Canada
D. Cukierman , Simon Fraser Univ., Burnaby, BC, Canada
pp. 80

Managing time granularity of narrative clinical information: the temporal data model TIME-NESIS (Abstract)

G. Pozzi , Dipartimento di Bioingegneria, Politecnico di Milano, Italy
F. Pinciroli , Dipartimento di Bioingegneria, Politecnico di Milano, Italy
C. Combi , Dipartimento di Bioingegneria, Politecnico di Milano, Italy
pp. 88
Temporal Databases

A recursive temporal algebra and temporal completeness (Abstract)

M.A. Orgun , Dept. of Comput., Macquarie Univ., Sydney, NSW, Australia
pp. 96

A general framework and reasoning models for time granularity (Abstract)

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

Combining simultaneous values and temporal data dependencies (Abstract)

D. Dori , Fac. of Ind. Eng. & Manage., Technion-Israel Inst. of Technol., Haifa, Israel
A. Gal , Fac. of Ind. Eng. & Manage., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 112
Temporal Reasoning and Logic Programming

Temporal resolution: a breadth-first search approach (Abstract)

C. Dixon , Dept. of Comput., Manchester Metropolitan Univ., UK
pp. 120

Temporal reasoning in a meta constraint logic programming architecture (Abstract)

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

An integrity constraint checking method for temporal deductive databases (Abstract)

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

Guiding and refining simulation using temporal logic (Abstract)

G. Brajnik , Dipartimento di Matematica e Inf., Udine Univ., Italy
D.J. Clancy , Dipartimento di Matematica e Inf., Udine Univ., Italy
pp. 144

Temporal knowledge representation and organization for case-based reasoning (Abstract)

I. Bichindaritz , Univ. Rene Descartes, Paris, France
E. Conlon , Univ. Rene Descartes, Paris, France
pp. 152

Engineering time in medical knowledge-based systems through time-axes and time-objects (Abstract)

E.T. Keravnou , Dept. of Comput. Sci., Cyprus Univ., Nicosia, Cyprus
pp. 160
Temporal Logics

A topological transition based logic for the qualitative motion of objects (Abstract)

D. Gagne , Alex Inf., Lachine, Que., Canada
A. Trudel , Alex Inf., Lachine, Que., Canada
pp. 176

A modal temporal logic and its models underlying variants of planning algorithms (Abstract)

O. Arnold , Fachbereich IMN, HTWK Leipzig, Germany
K.P. Jantke , Fachbereich IMN, HTWK Leipzig, Germany
pp. 182
Belief and Uncertainty in Temporal Knowledge

Nonmonotonic reasoning on a constructive time structure (Abstract)

A. Fusaoka , Dept. of Comput. Sci., Ritsumeikan Univ., Siga, Japan
pp. 190

Irrelevance in uncertain temporal reasoning (Abstract)

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

Temporal representation for multimedia system (Abstract)

Yongqiang Sun , Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Minglu Li , Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
Huanye Sheng , Dept. of Comput. Sci. & Eng., Shanghai Jiaotong Univ., China
pp. 204

Time accountability for lattice computers (Abstract)

A.M. Shende , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
M.R. Sanchez , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
pp. 211

Handling temporal relations in scheduling dialogues for an MT system (Abstract)

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
R. Guillen , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 217

Author Index (PDF)

pp. 223
96 ms
(Ver )