Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations

This publication has 8 references indexed in Scilit:

• Space, Time, and Movement
  Published by Springer Nature ,1997
• The Transition Calculus: a high-level formalism for reasoning about action and change
  Journal of Experimental & Theoretical Artificial Intelligence, 1997
• Actions and Events in Interval Temporal Logic
  Journal of Logic and Computation, 1994
• Temporal reasoning based on semi-intervals
  Artificial Intelligence, 1992
• A critical examination of Allen's theory of action and time
  Artificial Intelligence, 1990
• A logic-based calculus of events
  New Generation Computing, 1986
• Towards a general theory of action and time
  Artificial Intelligence, 1984
• A Temporal Logic for Reasoning about Processes and Plans*
  Cognitive Science, 1982