The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (1997)
Daytona Beach, FL
May 10, 1997 to May 11, 1997
ISBN: 0-8186-7937-9
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Keynote

Temporal Resolution: Removing Irrelevant Information (Abstract)

Clare Dixon , Manchester Metropolitan University
pp. 4

Automata representations for Concurrent METATEM (Abstract)

A. Kellett , Dept. of Comput., Manchester Metropolitan Univ., UK
M. Fisher , Dept. of Comput., Manchester Metropolitan Univ., UK
pp. 12

A resolution method for CTL branching-time temporal logic (Abstract)

A. Bolotov , Dept. of Comput., Manchester Metropolitan Univ., UK
M. Fisher , Dept. of Comput., Manchester Metropolitan Univ., UK
pp. 20

An Efficient Algorithm for Temporal Abduction (Abstract)

Paolo Terenziani , Dipartimento di Informatica, Universita' di Torino
Daniele Theseider Dupre , Dipartimento di Informatica, Universita' di Torino
Luca Console , Dipartimento di Informatica, Universita' di Torino
Vittorio Brusoni , Dipartimento di Informatica, Universita' di Torino
pp. 28

Bidirectional Inference in Probabilistic Temporal Reasoning (Abstract)

Eric Neufeld , Wilfrid Laurier University
Ahmed Y. Tawfik , Wilfrid Laurier University
pp. 31

Modal event calculi with preconditions (Abstract)

M. Franceschet , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
I. Cervesato , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
A. Montanari , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 38

Time in a Multi-Theory Logical Framework (Abstract)

Franco Turini , Universita' di Pisa
Alessandra Raffaeta' , Universita' di Pisa
Paolo Mancarella , Universita' di Pisa
pp. 62

Enhancements to the Ground Processing Scheduling System (Abstract)

Lina Khatib , Florida Institute of Technology
Juan Jose Blanco , Florida Institute of Technology
pp. 72

Contingent durations in temporal CSPs: from consistency to controllabilities (Abstract)

T. Vidal , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
H. Fargier , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 78

A Hierarchy for Convex Relations (Abstract)

Frank Schilder , Centre for Cognitive Science University of Edinburgh, Scotland, U.K.
pp. 86

Knowledge-Based Temporal Interpolation (Abstract)

Yuval Shahar , Stanford University
pp. 102

GCH-OSQL: a temporally-oriented object-oriented query language based on a three-valued logic (Abstract)

C. Combi , Lab. of Artificial Intelligence, Udine Univ., Italy
G. Cucchi , Lab. of Artificial Intelligence, Udine Univ., Italy
pp. 119
Poster Session

Temporal Reasoning with Fuzzy Time-Objects (Abstract)

Jan C.A. Van der Lubbe , Information Theory Group, University of Technology Delft
Ernst G.P. Bovenkamp , Information Theory Group, University of Technology Delft
pp. 128

Similarity of event sequences (Abstract)

H. Mannila , Dept. of Comput. Sci., Helsinki Univ., Finland
P. Ronkainen , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 136

BCTL: A Branching Clock Temporal Logic (Abstract)

Chuchang Liu , Macquarie University
Mehmet A. Orgun , Macquarie University
pp. 140

Representing Temporal Relationships Between Events and Their Effects (Abstract)

T. Peng , School of Computing and Mathematical Science University of Greenwich, London
B. Knight , School of Computing and Mathematical Science University of Greenwich, London
J. Ma , School of Computing and Mathematical Science University of Greenwich, London
pp. 148

Entities and relations for historical relational databases (Abstract)

L. Khatib , Florida Inst. of Technol., Melbourne, FL, USA
R.A. Morris , Florida Inst. of Technol., Melbourne, FL, USA
pp. 180

Index of Authors (PDF)

pp. 187
96 ms
(Ver 3.1 (10032016))