Time and Change for AI

Antony Galton

In Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (editors), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, Epistemic and Temporal Reasoning, pages 175-240. Oxford University Press, 1995. ISBN 0-19-853791-3.