Concept of logical AI
暂无分享,去创建一个
[1] Murray Shanahan,et al. Robotics and the Common Sense Informatic Situation , 1996, ECAI.
[2] Patrick J. Hayes,et al. The second naive physics manifesto , 1995 .
[3] John McCarthy,et al. Making Robots Conscious of Their Mental States , 1995, Machine Intelligence 15.
[4] John McCarthy,et al. Ascribing Mental Qualities to Machines , 1979 .
[5] Allen Newell,et al. The Knowledge Level , 1989, Artif. Intell..
[6] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[7] Josefina Sierra-Santibáñez,et al. A Declarative Formalization of STRIPS , 1998, ECAI.
[8] F. H. Bradley,et al. Appearance and Reality , 1893 .
[9] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[10] Murray Shanahan,et al. Narratives in the Situation Calculus , 1994, J. Log. Comput..
[11] John McCarthy,et al. Programs with common sense , 1960 .
[12] Daniel C. Dennett,et al. Brainstorms: Philosophical Essays on Mind and Psychology , 1981 .
[13] Rob Miller,et al. A Case Study in Reasoning about Actions and Continuous Change , 1996, ECAI.
[14] Raymond Reiter,et al. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.
[15] Allen Newell,et al. Reflections on the Knowledge Level , 1993, Artif. Intell..
[16] Vladimir Lifschitz,et al. Formalizing Common Sense: Papers by John McCarthy , 1998 .
[17] Vladimir Lifschitz,et al. Missionaries and Cannibals in the Causal Calculator , 2000, KR.
[18] Anthony G. Cohn,et al. Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.
[19] Hector J. Levesque,et al. The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.
[20] Raymond Reiter,et al. Some contributions to the metatheory of the situation calculus , 1999, JACM.
[21] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..
[22] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[23] J. McCarthy. Some Expert Systems Need Common Sense , 1984, Annals of the New York Academy of Sciences.
[24] Ivan Bratko,et al. Applications of inductive logic programming , 1995, SGAR.
[25] Hector J. Levesque,et al. Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..
[26] Nils J. Nilsson,et al. Shakey the Robot , 1984 .
[27] Murray Shanahan. Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .
[28] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[29] John McCarthy,et al. Artificial Intelligence, Logic and Formalizing Common Sense , 1989 .
[30] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[31] Edward H. Shortliffe,et al. Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..
[32] Ramanathan V. Guha,et al. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .
[33] D. C. Dashfield. HER MAJESTY'S STATIONERY OFFICE , 1954 .
[34] Robert S. Boyer,et al. Automated Reasoning: Essays in Honor of Woody Bledsoe , 1991, Automated Reasoning.
[35] J. McCarthy. SITUATION CALCULUS WITH CONCURRENT EVENTS AND NARRATIVE , 2001 .
[36] Johan de Kleer,et al. Readings in qualitative reasoning about physical systems , 1990 .
[37] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[38] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[39] Drew McDermott,et al. Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.
[40] Michael Gelfond,et al. What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.
[41] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[42] J. McCarthy,et al. Formalizing Context (Expanded Notes) , 1994 .
[43] Dov M. Gabbay,et al. Nonmonotonic reasoning and uncertain reasoning , 1994 .
[44] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[45] Josefina Sierra. Declarative Formalization of Heuristics , 1998, EUROVAV.