Ramification and causality

Baker, 1991, Nonmonotonic reasoning in the framework of situation calculus, Artif. Intell., 49, 5, 10.1016/0004-3702(91)90004-4 Bibel, 1986, A deductive solution for plan generation, New Generation Comput., 4, 115, 10.1007/BF03037438 Bornscheuer, 1997, Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems, J. Logic Program., 10.1016/S0743-1066(96)00124-0 Brewka, 1993, How to do things with worlds: on formalizing actions and plans, J. Logic Comput., 3, 517, 10.1093/logcom/3.5.517 Büttner, 1986, Unification in datastructure multisets, J. Autom. Reasoning, 2, 75, 10.1007/BF00246024 Cordier, 1992, A temporal revision model for reasoning about world change, 732 del Val, 1993, Deriving properties of belief update from theories of action (II), 732 Elkan, 1992, Reasoning about action in first-order logic Fikes, 1971, STRIPS: a new approach to the application of theorem proving to problem solving, Artif. Intell., 2, 189, 10.1016/0004-3702(71)90010-5 Finger, 1987, Exploiting constraints in design synthesis Geffner, 1990, Causal theories for nonmonotonic reasoning, 524 Geffner, 1992 Gelfond, 1993, Representing action and change by logic programs, J. Logic Program., 17, 301, 10.1016/0743-1066(93)90035-F Ginsberg, 1988, Reasoning about action I: a possible worlds approach, Artif. Intell., 35, 165, 10.1016/0004-3702(88)90011-2 Ginsberg, 1988, Reasoning about action II: the qualification problem, Artif. Intell., 35, 311, 10.1016/0004-3702(88)90020-3 Girard, 1987, Linear logic, Theor. Comput. Sci., 50, 1, 10.1016/0304-3975(87)90045-4 Green, 1969, Application of theorem proving to problem solving, 219 Hanks, 1987, Nonmonotonic logic and temporal projection, Artif. Intell., 33, 379, 10.1016/0004-3702(87)90043-9 Hölldobler, 1990, A new deductive approach to planning, New Generation Comput., 8, 225, 10.1007/BF03037518 Hölldobler, 1995, Computing change and specificity with equational logic programs, Ann. Math. Artif. Intell., 14, 99, 10.1007/BF01530895 Jaffar, 1984, A theory of complete logic programs with equality, J. Logic Program., 1, 211, 10.1016/0743-1066(84)90010-4 Kartha, 1994, Actions with indirect effects, 341 Lifschitz, 1986, On the semantics of STRIPS Lifschitz, 1990, Frames in the space of situations, Artif. Intell., 46, 365, 10.1016/0004-3702(90)90021-Q Lin, 1995, Embracing causality in specifying the indirect effects of actions, 1985 Lin, 1994, State constraints revisited, J. Logic Comput., 4, 655, 10.1093/logcom/4.5.655 Łukaszewicz, 1995, Reasoning about action and change using Dijkstra's semantics for programming languages: Preliminary report, 1950 Masseron, 1993, Generating plans in linear logic I. Actions as proofs, Theor. Comput. Sci., 113, 349, 10.1016/0304-3975(93)90007-G McCain, 1995, A causal theory of ramifications and qalifications, 1978 McCarthy, 1980, Circumscription—a form of non-monotonic reasoning, Artif. Intell., 13, 27, 10.1016/0004-3702(80)90011-9 McCarthy, 1959, Programs with common sense McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 4, 463 Pearl, 1988, Embracing causality in default reasoning, Artif. Intell., 35, 259, 10.1016/0004-3702(88)90015-X Pearl, 1988 Pearl, 1993, Graphical models, causality, and intervention, Stat. Sci., 8, 266, 10.1214/ss/1177010894 Pearl, 1994, A probabilistic calculus of actions, 454 Reiter, 1991, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, 359 Sandewall, 1994 Sandewall, 1995, Reasoning about actions and change with ramification, 1000 Sandewall, 1995, Systematic comparison of approaches to ramification using restricted minimzation of change Sandewall, 1996, Assessments of ramification methods that use static domain constraints, 99 Shepherdson, 1992, SLDNF-resolution with equality, J. Autom. Reasoning, 8, 297, 10.1007/BF00244285 Stickel, 1981, A unification algorithm for associative commutative functions, J. ACM, 28, 207, 10.1145/322261.322262 Thielscher, 1994, An analysis of systematic approaches to reasoning about actions and change, 195 Thielscher, 1994, Representing actions in equational logic programming, 207 Thielscher, 1995, The logic of dynamic systems, 1956 Thielscher, 1996, On the completeness of SLDENF-resolution, J. Autom. Reasoning, 17, 199, 10.1007/BF00244496 Winslett, 1988, Reasoning about action using a possible models approach, 89