1. A simple solution to the Yale shooting problem;Baker,1989
2. Autoepistemic logic and formalization of common-sense reasoning;Gelfond,1989
3. M.L. Ginsberg, Personal communication (1988).
4. Reasoning about action I: a possible worlds approach;Ginsberg;Artif. Intell.,1988
5. Nonmonotonic logics and temporal projection;Hanks;Artif. Intell.,1987