A critique of pure reason 1
暂无分享,去创建一个
[1] C. Hempel,et al. Studies in the Logic of Explanation , 1948, Philosophy of Science.
[2] M. Resnik,et al. Aspects of Scientific Explanation. , 1966 .
[3] W. Salmon. The foundations of scientific inference , 1967 .
[4] Carl Hewitt,et al. PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.
[5] David C. Luckham,et al. Extracting Information from Resolution Proof Trees , 1971, Artif. Intell..
[6] D. Marr,et al. Artificial Intelligence - A Personal View , 1976, Artif. Intell..
[7] Drew McDermott,et al. Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..
[8] Mitchell P. Marcus,et al. A theory of syntactic recognition for natural language , 1979 .
[9] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[10] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[11] David J. Israel. What's Wrong with Non-Monotonic Logic? , 1980, AAAI.
[12] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[13] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[14] Stanley J. Rosenschein,et al. Plan Synthesis: A Logical Perspective , 1981, IJCAI.
[15] Douglas B. Lenat,et al. Knowledge-based systems in artificial intelligence , 1981 .
[16] John Gaschnig,et al. MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .
[17] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[18] D. McDermott. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[19] Allen Newell,et al. The Knowledge Level , 1989, Artif. Intell..
[20] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[21] J. Fodor. The Modularity of mind. An essay on faculty psychology , 1986 .
[22] Michael R. Genesereth,et al. An Overview of Meta-Level Architecture , 1983, AAAI.
[23] Johan de Kleer,et al. A Qualitative Physics Based on Confluences , 1984, Artif. Intell..
[24] Drew McDermott,et al. Knowledge Inversion , 1984, AAAI.
[25] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..
[26] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[27] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[28] Benjamin Kuipers,et al. The Limits of Qualitative Simulation , 1985, IJCAI.
[29] Yoav Shoham,et al. Naive Kinematics: One Aspect of Shape , 1985, IJCAI.
[30] D. McDermott,et al. Temporal Reasoning and Default Logics. , 1985 .
[31] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[32] Jerry R. Hobbs. Commonsense summer : final report , 1985 .
[33] A. Kitchen,et al. Knowledge based systems in artificial intelligence , 1985, Proceedings of the IEEE.
[34] Nancy Martin,et al. Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.
[35] Drew McDermott,et al. Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.
[36] Drew McDermott,et al. Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.
[37] Douglas B. Lenat,et al. CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks , 1986, AI Mag..
[38] Lawrence Birnbaum,et al. Integrated processing in planning and understanding , 1986 .
[39] Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .
[40] Eugene Charniak,et al. Motivation Analysis, Abductive Unification, and Nonmonotonic Equality , 1988, Artif. Intell..