ladkin@KESTREL.ARPA (Peter Ladkin) (10/09/87)
ailist readers might like to note that richard shu's bibliography misses halpern and shoham's paper in LICS 1986, pelavin and allen's paper in the Proceedings of the IEEE for October 1986, and also papers published in AAAI-87 and IJCAI-87. Additionally, there is a large literature on points and periods in philosophy since Rescher and Urquhardt, to which one can get pointers from Kuhn's review of van Benthem that I referenced. In a complete list of temporal reasoning, one should also include the huge amount of literature from program semantics, especially the semantics of concurrency. It was interesting to note that Shu's bibliography and mine were almost disjoint ............ peter ladkin ladkin@kestrel.arpa