Nonmonotonic causal theories
暂无分享,去创建一个
Enrico Giunchiglia | Joohyung Lee | Vladimir Lifschitz | Hudson Turner | Norman McCain | V. Lifschitz | E. Giunchiglia | H. Turner | Joohyung Lee | N. McCain | Hudson Turner | Norman McCain
[1] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[2] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[3] Vladimir Lifschitz,et al. Answer set programming and plan generation , 2002, Artif. Intell..
[4] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[5] Murray Shanahan. Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .
[6] Hudson Turner,et al. Splitting a Default Theory , 1996, AAAI/IAAI, Vol. 1.
[7] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[8] Vladimir Lifschitz,et al. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .
[9] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[10] Varol Akman,et al. Representing the Zoo World and the Traffic World in the language of the Causal Calculator , 2004, Artif. Intell..
[11] Fangzhen Lin,et al. Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.
[12] David L. Davidson,et al. The Logical Form of Action Sentences , 2001 .
[13] Vladimir Lifschitz,et al. Formalizing Common Sense: Papers by John McCarthy , 1998 .
[14] Patrick Doherty,et al. TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.
[15] Chiaki Sakama,et al. Relating Disjunctive Logic Programs to Default Theories , 1993, LPNMR.
[16] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[17] Patrick Doherty,et al. TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..
[18] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[19] R. Hursthouse. THE LOGIC OF DECISION AND ACTION , 1969 .
[20] Nicholas Rescher,et al. The Logic of Decision and Action , 1967 .
[21] John McCarthy,et al. Programs with common sense , 1960 .
[22] Bernhard Nebel,et al. Encoding Planning Problems in Nonmonotonic Logic Programs , 1997, ECP.
[23] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[24] Hudson Turner,et al. A Logic of Universal Causation , 1999, Artif. Intell..
[25] Edwin P. D. Pednault,et al. ADL and the State-Transition Model of Action , 1994, J. Log. Comput..
[26] Jack Minker,et al. Logic and Data Bases , 1978, Springer US.
[27] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[28] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[29] Georg Gottlob,et al. Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics , 1993, ILPS.
[30] Hector Geffner,et al. Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.
[31] Armando Tacchella,et al. Getting to the airport: the oldest planning problem in AI , 2000 .
[32] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.
[33] Michael Georgeff,et al. Reasoning about actions and plans , 1986 .
[34] J. McCarthy. ELABORATION TOLERANCE , 1997 .
[35] N. McCain. Causality in commonsense reasoning about actions , 1997 .
[36] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[37] Hudson Turner,et al. Causal Theories of Action and Change , 1997, AAAI/IAAI.
[38] Vladimir Lifschitz,et al. Missionaries and Cannibals in the Causal Calculator , 2000, KR.
[39] Hudson Turner,et al. Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..
[40] Anil Nerode,et al. Logic programming and non-monotonic reasoning : proceedings of the second international workshop , 1991 .
[41] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[42] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[43] Michael Thielscher,et al. Ramification and Causality , 1997, Artif. Intell..
[44] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[45] V. Lifschitz,et al. Reinforcing a Claim in Commonsense Reasoning , 2003 .
[46] Jack Minker,et al. Logic-Based Artificial Intelligence , 2000 .
[47] Edwin P. D. Pednault,et al. FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .
[48] Chitta Baral,et al. Reasoning About Effects of Concurrent Actions , 1997, J. Log. Program..