CSDL - Proceedings T

Message from the Workshop Program Co-Chairs (PDF)

pp. ix

Program Committee and Additional Reviewers (PDF)

pp. xi

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

PDF

Time in a causal theory (Abstract)

A. Mokhtari, USTHB, Alger, Algeria

D. Kayser, USTHB, Alger, Algeria

pp. 14

PDF

A theory of time and temporal incidence based on instants and periods (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. 21

PDF

Temporal Constraints

Processing disjunctions of temporal constraints (Abstract)

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

PDF

Reasoning with sequences of point events (Abstract)

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

PDF

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

PDF

Gaining efficiency and flexibility in the simple temporal problem (Abstract)

A. Cesta, CNR, Rome, Ital

A. Oddi, CNR, Rome, Ital

pp. 45

PDF

Logic programming with temporal constraints (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. 51

PDF

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

A. Isli, Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France

H. Bennaceur, Lab. d'Inf., Univ. de Paris-Nord, Villetaneuse, France

pp. 57

PDF

Dynamic temporal interpretation contexts for temporal abstraction (Abstract)

Y. Shahar, Stanford Univ., CA, USA

pp. 64

PDF

Representing interaction of agents at different time granularities (Abstract)

E. Mota, Dept. of Artificial Intelligence, Edinburgh Univ., UK

D. Robertson, Dept. of Artificial Intelligence, Edinburgh Univ., UK

pp. 72

PDF

Characterizing temporal repetition (Abstract)

D. Cukierman, Simon Fraser Univ., Burnaby, BC, Canada

J. Delgrande, Simon Fraser Univ., Burnaby, BC, Canada

pp. 80

PDF

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

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

PDF

Temporal Databases

A recursive temporal algebra and temporal completeness (Abstract)

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

pp. 96

PDF

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

PDF

Combining simultaneous values and temporal data dependencies (Abstract)

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

PDF

Temporal Reasoning and Logic Programming

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

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

pp. 120

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Temporal Logics

First order modal temporal logics with generalized intervals (Abstract)

G. Becher, Caen Univ., France

pp. 170

PDF

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

PDF

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

K.P. Jantke, Fachbereich IMN, HTWK Leipzig, Germany

O. Arnold, Fachbereich IMN, HTWK Leipzig, Germany

pp. 182

PDF

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

PDF

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

PDF

Applications

Temporal representation for multimedia system (Abstract)

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

PDF

Time accountability for lattice computers (Abstract)

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

PDF

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

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

PDF

Author Index (PDF)

pp. 223