Metatheory of actions: Beyond consistency

De Giacomo, 1995, PDL-based framework for reasoning about actions, vol. 992, 103 F. Lin, Embracing causality in specifying the indirect effects of actions, in: Mellish [62], pp. 1985–1991 N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: Mellish [62], pp. 1978–1984 M. Thielscher, Computing ramifications by postprocessing, in: Mellish [62], pp. 1994–2000 Castilho, 1999, Formalizing action and change in modal logic I: The frame problem, Journal of Logic and Computation, 9, 701, 10.1093/logcom/9.5.701 Zhang, 2001, EPDL: A logic for causal reasoning, 131 Harel, 1984, Dynamic logic, 497 McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 463 Gelfond, 1993, Representing action and change by logic programs, Journal of Logic Programming, 17, 301, 10.1016/0743-1066(93)90035-F Kartha, 1994, Actions with indirect effects (preliminary report), 341 Giunchiglia, 1997, Representing action: Indeterminacy and ramifications, Artificial Intelligence, 95, 409, 10.1016/S0004-3702(97)00037-4 A. Herzig, I. Varzinczak, Cohesion, coupling and the meta-theory of actions, in: Kaelbling and Saffiotti [60], pp. 442–447 Herzig, 2006, A modularity approach for a fragment of ALC, vol. 4160, 216 2003 Herzig, 2004, Domain descriptions should be modular, 348 Harel, 2000 Kracht, 1991, Properties of independently axiomatizable bimodal logics, Journal of Symbolic Logic, 56, 1469, 10.2307/2275487 Kracht, 1997, Simulation and transfer results in modal logic: A survey, Studia Logica, 59, 149, 10.1023/A:1004900300438 Popkorn, 1994 Blackburn, 2001, Modal Logic, 10.1017/CBO9781107050884 Fitting, 1983 Hanks, 1986, Default reasoning, nonmonotonic logics, and the frame problem, 328 M. Castilho, A. Herzig, I. Varzinczak, It depends on the context! a decidable logic of actions and plans based on a ternary dependence relation, in: S. Benferhat, E. Giunchiglia (Eds.), Workshop on Nonmonotonic Reasoning (NMR'02), Toulouse, 2002, pp. 343–348 McCarthy, 1977, Epistemological problems of artificial intelligence, 1038 Ginsberg, 1988, Reasoning about actions II: The qualification problem, Artificial Intelligence, 35, 311, 10.1016/0004-3702(88)90020-3 Schubert, 1990, Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions, 23 Doherty, 1996, Explaining explanation closure, vol. 1079 J. Finger, Exploiting constraints in design synthesis, Ph.D. thesis, Stanford University, Stanford, 1987 Demolombe, 2003, Regression in modal logic, Journal of Applied Non-Classical Logics (JANCL), 13, 165, 10.3166/jancl.13.165-185 Reiter, 1991, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression, 359 I. Varzinczak, What is a good domain description? Evaluating and revising action theories in dynamic logic, Ph.D. thesis, Université Paul Sabatier, Toulouse, 2006 Reiter, 2001 Castilho C. Schwind, Causality in action theories, Linköping Electronic Articles in Computer and Information Science 4 (4) Marquis, 2000, Consequence finding algorithms, vol. 5, 41 Inoue, 1992, Linear resolution for consequence finding, Artificial Intelligence, 56, 301, 10.1016/0004-3702(92)90030-2 Herzig, 2005, On the modularity of theories, 93 F. Lin, Embracing causality in specifying the indeterminate effects of actions, in: Shrobe and Senator [61], pp. 670–676 Thielscher, 1997, Ramification and causality, Artificial Intelligence, 89, 317, 10.1016/S0004-3702(96)00033-1 Lifschitz, 2006, Towards a modular action description language Pirri, 1999, Some contributions to the metatheory of the situation calculus, Journal of the ACM, 46, 325, 10.1145/316542.316545 Amir, 2000, (De)composition of situation calculus theories, 456 Lin, 1994, State constraints revisited, Journal of Logic and Computation, 4, 655, 10.1093/logcom/4.5.655 McIlraith, 2000, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Artificial Intelligence, 116, 87, 10.1016/S0004-3702(99)00087-9 Sommerville, 1985 Pressman, 1992 Zhang, 2002, Consistency of action descriptions, vol. 2417, 70 Lang, 2003, Causal theories of action—A computational core, 1073 L. Cholvy, Checking regulation consistency by using SOL-resolution, in: Proc. 7th Intl. Conf. on AI and Law, Oslo, 1999, pp. 73–79 Giunchiglia, 2004, Nonmonotonic causal theories, Artificial Intelligence, 153, 49, 10.1016/j.artint.2002.12.001 R. Li, L. Pereira, What is believed is what is explained, in: Shrobe and Senator [61], pp. 550–555 P. Liberatore, A framework for belief update, in: Proc. 7th Eur. Conf. on Logics in Artificial Intelligence (JELIA'2000), 2000, pp. 361–375 T. Eiter, E. Erdem, M. Fink, J. Senko, Updating action domain descriptions, in: Kaelbling and Saffiotti [60], pp. 418–423 Herzig, 2006, Elaborating domain descriptions, 397 Garson, 1989, Modularity and relevant logic, Notre Dame Journal of Formal Logic, 30, 207, 10.1305/ndjfl/1093635079 Cuenca Grau, 2006, Modularity and web ontologies, 198 Kakas, 2005, Modular-E: An elaboration tolerant approach to the ramification and qualification problems, 211 Gustafsson, 1996, Embracing occlusion in specifying the indirect effects of actions, 87 P. Marquis, Knowledge compilation using theory prime implicates, in: Mellish [62], pp. 837–843 2005 1996 1995