Frames in the space of situations

Baker, 1989, A simple solution to the Yale Shooting Problem, 11 Baker, 1989, Temporal projection and explanation, 906 Church, 1956, 1 Finger, 1986, Exploiting constraints in design synthesis Genesereth, 1987 Hanks, 1987, Nonmonotonic logic and temporal projection, Artif. Intell., 33, 379, 10.1016/0004-3702(87)90043-9 Lifschitz, 1987, Formal theories of action (preliminary report), 966 Lifschitz, 1989, Things that change by themselves, 864 McCarthy, 1986, Applications of circumscription to formalizing common sense knowledge, Artif. Intell., 26, 89, 10.1016/0004-3702(86)90032-9 McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 4, 463 Minsky, 1975, A framework for representing knowledge, 211 Myers, 1988, The persistence of derived information, 496