TIME-95

Second International Workshop on Temporal Representation and Reasoning

Melbourne Beach, Florida, USA -- April 26, 1995

Papers presented in TIME-95 (and its authors)

• Temporal Reasoning with Context-Sensitive Probability Logic by Peter Haddawy, University of Wisconsin-Milwaukee, USA. Summary of invited speech. The companion slides are also available
• Hybrid Temporal and Non-Temporal Knowledge for Scheduling by Stephan Becker, Technical University of Hamburg-Harburg, Germany -- old nonconforming postscript
• A language to express time intervals and repetition by Diana Cukierman and James Delgrande, Simon Fraser University, Canada.
• Using Temporal Logic to Control Search in a Forward Chaining Planner by Fahiem Bacchus and Froduald Kabanza, University of Waterloo and Universite De Sherbrooke, Canada
• Generating Scenarios from Specifications of Repeating Events by 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 by Luca Chittaro, Angelo Montanari, Iliano Cervesato, Universita di Udine and Universita di Torino, Italy.
• Rules for Simple Temporal Reasoning by Maroua Bouzid and Peter Ladkin, CRIN-CNRS & INRIA Lorraine, France.
• Representing and reasoning about motion in a two-dimensional world by Wanlin Pang and Andre Trudel, University of Regina and Acadia University, Canada
• Parallel Temporal Resolution by Clare Dixon, Michael Fisher, and Rob Johnson, University of Manchester and Manchester Metropolitan University, UK
• Formalizing Actions in Branching Time: Model-Theoretic Consideration by Munindar Singh, Microelectronics and Computer Technology Corp., USA
• A Constraint Database System for Temporal Knowledge by Roman Gross and Robert Marti, ETH Zentrum, Switzerland
• Efficient query answering in LaTeR by V. Brusoni, L. Console, P. Terenziani, Universita di Torino, Italy
• Efficient Temporal Management through an Application-Dependent Graph Decomposition by Thierry Vidal and Malik Ghallab, LAAS-CNRS, France
• Time and Uncertainty in Reasoning about Order by Robert Morris and Dan Tamir, Florida Institute of Technology, USA
• Reasoning about Periodic Events by Paolo Ternziani, Universita di Torino, Italy
• An algebraic approach to granularity in time representation by Jerome Euzenat, INRIA Rhone-Alpes, France
• Decision Time in Temporal Databases by Mario Nascimento and Margaret Eich, Southern Methodist University, USA
• Lifetime Information for Model-Based Diagnosis by Ahmed Tawfik and Eric Neufeld, University of Saskatchewan, Canada
• Just one approach for several temporal logics in Computing: the topological semantics by Inma Guzman, Manuel Enciso, and Carlos Rossi, Universidad de Malaga, Spain
• Framework for Temporal Deductive Databases by Terttu Orci, Royal Institute of Technology, Sweden -- old nonconforming postscript
• Generating Explanations with the Help of Temporal Constraints by Margo Guertin, Boston University, USA
• Theoretical and practical implications of an algorithm for finding all consistent temporal models by Debasis Mitra, Jackson State University, USA
• Inferred Validity of Transaction-Time Data by Cristina De Castro and Maria Scalas, Universita di Bologna, Italy

Back to TIME home page