TIME-94 -- Workshop Program

International Workshop on Temporal Representation and Reasoning

Pensacola, Florida -- May 4, 1994



8:00am  Welcome and Register (pick up name tags, proceedings, etc.)    [Coffee]

8:30am  Opening Remarks

8:45am  Invited Speaker:        Thomas Dean, Brown University
				Meditations on Time and Space:
				Expediting Temporal Inference by Exploiting
				Structure in Time and Space

9:45am  Poster Session 1                               [refreshments available]

	Ehric Ho and Andre Trudel, Acadia University, Canada, The Specification
	and Implementation of a First Order Logic for Uncertain Temporal Domains

	Alfred J. Reich, Lockheed-Austin Division, USA, Intervals, Points, and
	Branching Time

	Luca Chittaro and Angelo Montanari, Universita di Udine, Italy,
	Efficient Handling of Context Dependency in the Cached Event Calculus

	David Leasure, Texas A&M University, USA, Automated Temporal Explanation
	with the Modal Logic Z

	Andre Trudel, Acadia University, Canada, A Temporal Structure that
	Distinguishes between the Past, Present, and Future

	Scott D. Goodwin, Howard Hamilton, Eric Neufeld, Abdul Sattar,
	Andre Trudel, University of Regina, Canada, University of Regina,
	Canada, University of Saskatchewan, Canada, Griffith University,
	Australia, Acadia University, Canada, Belief Revision in a Discrete
	Temporal Probability-Logic

10:30am Paper Session 1 (30 minutes each)

	Shieu-Hong Lin and Thomas Dean, Brown University, USA, Localized
	Temporal Reasoning: A State-Based Approach

	Fei Song, University of Guelph, Canada, Extending Temporal Reasoning
	with Hierarchical Constraints

	Robert A. Morris, William D. Shoaff, Lina Khatib, Florida Institute of
	Technology, USA, An Algebraic Formulation of Temporal Knowledge for
	Reasoning about Recurring Events

12:00--1:15pm Lunch Break

1:15pm Paper Session 2 (25 minutes each)

	Alessandro Provetti, Universita di Bologna, Italy,
	Hypothetical Reasoning from Situation Calculus to Event Calculus

	Scott D. Goodwin, Eric Neufeld, Andre Trudel, University of Regina,
	Canada, University of Saskatchewan, Canada, Acadia University, Canada,
	The Persistence of Statistical Information

	Nicolas Chleq, INRIA Sophia-Antipolis, France, Using Constrained
	Resolution for Abductive Temporal Reasoning

	Milind Tambe and Paul S. Rosenbloom, University of Southern California,
	USA, Event Tracking for an Intelligent Automated Agent

3:00pm Poster Session 2                                [refreshments available]

	David Leasure, Texas A&M University, USA, Automated Temporal Explanation
	with the Modal Logic Z

	Andre Trudel, Acadia University, Canada, A Temporal Structure that
	Distinguishes between the Past, Present, and Future

	Alfred J. Reich, Lockheed-Austin Division, USA, Intervals, Points, and
	Branching Time

	Ehric Ho and Andre Trudel, Acadia University, Canada, The Specification
	and Implementation of a First Order Logic for Uncertain Temporal Domains

	Luca Chittaro and Angelo Montanari, Universita di Udine, Italy,
	Efficient Handling of Context Dependency in the Cached Event Calculus

	Scott D. Goodwin, Howard Hamilton, Eric Neufeld, Abdul Sattar,
	Andre Trudel, University of Regina, Canada, University of Regina,
	Canada, University of Saskatchewan, Canada, Griffith University,
	Australia, Acadia University, Canada, Belief Revision in a Discrete
	Temporal Probability-Logic

3:45pm  Paper Session 3 (25 minutes each)

	Leora Morgenstern, IBM T.J. Watson Research Center, USA, A Proper
	Ontology for Reasoning about Knowlege and Planning

	Peter Haddawy, University of Wisconsin-Milwaukee, USA, Believing Change
	and Changing Belief

	Ahmed Y. Tawfik and Eric Neufeld, University of Saskatchewan, Canada,
	Temporal Bayesian Networks

5:00pm  Closing Remarks


	Evening Reception featuring a Delta Blues Guitarist, locally brewed Irish beer
	from the famous McGuire's Irish Pub, and finger food.


Back to TIME home page