Logic for Commonsense Reasoning about Continuous Change by Rob Miller and Murray Shanahan.
Fusaoka, Akira: Situation Calculus on a Dense Flow of Time. To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [continuous], [sit-calculus]. Code: [Fusaoka96A].
Herrmann, Christoph S. and Michael Thielscher: Reasoning about Continuous Processes. To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [continuous]. Code: [Herrmann96A].
Miller, Rob: A case study in reasoning about actions and continuous change. Presented at: Common Sense 1996. Venue: Stanford, CA, USA, 6-8.1.1996. Topics: [continuous]. Code: [Miller96A].
Persson, Tommy and Lennart Staflin: A Causation Theory for a Logic of Continuous Change. Presented at: European Conf on Artificial Intelligence, 1990. Venue: Stockholm, Sweden, 6.8-10.8. Proceedings published by Pitman Publishing. Topics: [continuous], [causation]. Code: [Persson90A].
Reiter, Ray: Cognitive Robotics. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [cogrobotics]. Code: [Reiter96A].
Shanahan, Murray: Representing Continuous Change in the Event Calculus. Presented at: European Conf on Artificial Intelligence, 1990. Venue: Stockholm, Sweden, 6.8-10.8. Proceedings published by Pitman Publishing. Topics: [continuous]. Code: [Shanahan90A].
Shanahan, Murray: Robotics and the commonsense informatic situation. Presented at: Common Sense 1996. Venue: Stanford, CA, USA, 6-8.1.1996. Topics: [abduction], [continuous], [sensing], [event-calculus], [cogrobotics]. Code: [Shanahan96A].