International Workshop on Temporal Representation and Reasoning
8:00am Welcome and Register (pick up name tags, proceedings) [Refreshments] 8:20am Opening Remarks 8:30am Invited Speaker: Peter Haddawy is a faculty member in the Department of Electrical Engineering and Computer Science at the University of Wisconsin- Milwaukee and an adjunct faculty member in the Department of Radiology at the Medical College of Wisconsin. His research is concerned with planning and decision making under uncertainty in temporally rich domains. His current work focuses on efficient algorithms for probabilistic reasoning and decision-theoretic planning and on their application in medicine. His work on logics of time and chance was recently published as a monograph. He has been a Shell Oil Company Fellow and an Avery Brundage Scholar. 9:30am Paper Session 1 (20 minutes each) ``Hybrid Temporal and Non-Temporal Knowledge for Scheduling'' Stephan Becker, Technical University of Hamburg-Harburg, Germany, ``A language to express time intervals and repetition'' Diana Cukierman and James Delgrande, Simon Fraser University, Canada, ``Using Temporal Logic to Control Search in a Forward Chaining Planner'' Fahiem Bacchus and Froduald Kabanza, University of Waterloo and Universite De Sherbrooke, Canada 10:30am Poster Session (30 minutes) [Refreshments available] A number of posters will be on display around the workshop meeting room. Workshop participants are invited to wander between the refreshment table and the poster displays. Poster presenters will be on hand to present their posters and answer questions. There will be a second opportunity to view the posters in the afternoon session. The list of poster papers is attached to the end of the program. 11:00am Paper Session 2 (20 minutes) ``Generating Scenarios from Specifications of Repeating Events'' Robert Morris, Gerard Ligozat, and Lina Khatib, Florida Institute of Technology, USA ``Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation'' Luca Chittaro, Angelo Montanari, Iliano Cervesato, Universita di Udine and Universita di Torino, Italy ``A Constraint Database System for Temporal Knowledge'' Roman Gross and Robert Marti, ETH Zentrum, Switzerland (presented by Andreas Steiner) 12:00--2:00pm Lunch Break + Organizational Meeting for TIME-96 2:00pm Paper Session 3 (20 minutes each) ``Rules for Simple Temporal Reasoning'' Maroua Bouzid and Peter Ladkin, CRIN-CNRS & INRIA Lorraine, France and Universtat Bielefeld, Germany ``Representing and reasoning about motion in a two-dimensional world'' Wanlin Pang and Andre Trudel, University of Regina and Acadia University, Canada ``Formalizing Actions in Branching Time: Model-Theoretic Considerations'' Munindar Singh, Microelectronics and Computer Technology Corp., USA ``Parallel Temporal Resolution'' Clare Dixon, Michael Fisher, and Rob Johnson, University of Manchester and Manchester Metropolitan University, UK 3:20pm Discussion Groups(40 minutes) [refreshments available] 4:00pm Paper Session 4 (20 minutes each) ``Efficient query answering in LaTeR'' V. Brusoni, L. Console, P. Terenziani, Universita di Torino, Italy ``Time and Uncertainty in Reasoning about Order'' Robert Morris, Dan Tamir, and Kenneth Ford, Florida Institute of Technology and University of West Florida, USA ``Reasoning about Periodic Events'' Paolo Ternziani, Universita di Torino, Italy 5:00pm Closing Remarks 7:00pm Evening Reception (FLAIRS) POSTER PAPERS ------------- ``An algebraic approach to granularity in time representation'' Jerome Euzenat, INRIA Rhone-Alpes, France ``Decision Time in Temporal Databases'' Mario Nascimento and Margaret Eich, Southern Methodist University, USA ``Lifetime Information for Model-Based Diagnosis'' Ahmed Tawfik and Eric Neufeld, University of Saskatchewan, Canada ``Just one approach for several temporal logics in Computing: the topological semantics'' Inma Guzman, Manuel Enciso, and Carlos Rossi, Universidad de Malaga, Spain ``Generating Explanations with the Help of Temporal Constraints'' Margo Guertin, Boston University, USA ``Theoretical and practical implications of an algorithm for finding all consistent temporal models'' Debasis Mitra, Jackson State University, USA ``A Multi-Agent Temporal Ontology'' Denis Gagne and Andre Trudel, Intel Agent R&D Inc. and Acadia University, Canada ``Inferred Validity of Transaction-Time Data'' Cristina De Castro and Maria Scalas, Universita di Bologna, Italy ``A Framework for Temporal Deductive Databases'' Terttu Orci, Royal Institute of Technology, Sweden