Matthew L. Ginsberg David E. Smith Reasoning About Action I: A Possible Worlds Approach. 165-195 1988 35 Artif. Intell. 2 db/journals/ai/ai35.html#GinsbergS88