John McCarthy: Programmer Profile John McCarthy: Programmer Profile Artificial Intelligence – Thinking Allowed The Origins and Nature of Computation/Formalizing Commomn Sense Knowledge in Mathematical Logic John McCarthy on Artificial Intelligence and Lisp – 1984 JMC2009-Awards. John McCarthy remarks John McCarthy, on Philosophy of AI (Mini Symposium Philosophy of Information) Computer Chronicles – Artificial Intelligence Guy Steele Interviews John McCarthy, Father of Lisp Lisp, Ruby and the Computer Industry Technology As Experience LISP 1.5 Programmer’s Manual Review: Roger Penrose, The emperor’s new mind Some philosophical problems from the standpoint of artificial intelligence Computer power and human reason: from judgment to calculation Circumscription—a form of non-monotonic reasoning Recursive functions of symbolic expressions and their computation by machine, Part I Applications of circumscription to formalizing common-sense knowledge Revised report on the algorithmic language ALGOL 60 Programs with common sense Notes on formalizing context Situations, actions, and causal laws Epistemological problems of artificial intelligence Generality in artificial intelligence Ascribing mental qualities to machines A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence Formalizing context (expanded notes) Correctness of a compiler for arithmetic expressions History of LISP First order theories of individual concepts and propositions Making robots conscious of their mental states Queue-based Multi-processing Lisp Elaboration tolerance The inversion of functions defined by Turing machines Some expert systems need common sense On the Model Theory of Knowledge Formalization of two puzzles involving knowledge The well-designed child Some philosophical problems from the standpoint of artificial intelligence Properties of programs and partial function logic A tough nut for proof procedures From here to human-level AI Varieties of contexts Automata studies AI’s greatest trends and controversies A computer with hands, eyes, and ears Time-sharing computer systems Actions and other events in situation calculus Modality, si! Modal logic, no! Phenomenal data mining Useful counterfactuals An architecture of diversity for commonsense reasoning Reminiscences on the history of time sharing Qlisp What has AI in Common with Philosophy? Chess as the drosophila of AI The common business communication language Combining narratives An example for natural language understanding and the AI problems it raises Recursive programs as functions in a first order theory The linking segment subprogram language and linking loader Approximate objects and approximate theories Artificial Intelligence Needs More Emphasis on Basic Research: President’s Quarterly Message Problems in the theory of computation Overcoming Unexpected Obstacles Free will-even for robots History of circumscription Problems and Projections in CS for the Next 49 Years The mutilated checkerboard in set theory Addendum: Circumscription and other non-monotonic formalisms LISP-notes on its past and future Representation of recursive programs in first order logic The robot and the baby Creative solutions to problems Partial formalizations and the lemmings game Awareness and Understanding in Computer Programs Review of The Emperor’s New Mind by Roger Penrose Defending Al Research: A Collection of Essays and Reviews (Lecture Notes Series) Mental situation calculus Coloring maps and the Kowalski doctrine Combining planning contexts A micro-manual for LISP-not the whole truth Notes on self-awareness Philosophical and scientific presuppositions of logical AI In Memoriam: Arthur Samuel: Pioneer in Machine Learning Formalization of STRIPS in situation calculus We Need Better Standards for Artificial Intelligence Research: President’s Message Definition of new data types in ALGOL x Lisp: a programming system for symbolic manipulations A grounding framework Hubert Dreyfus, What computers still can’t do Commentary on McDermott Todd Moodys zombies A New Eval Function LISP Programmers Manual, Handwritten Draft Situation calculus with concurrent events and narrative The frame problem today The automated biological laboratory A chapter in the book Biology and the Exploration of Mars. Time-shared program testing A proof-checker for predicate calculus Method of collecting crude oil and crude oil collection header apparatus Lessons from the Lighthill Flap On Efficient Ways of Evaluating Certain Recursive Functions Simple deterministic free will The Tower of Stanford: 10956 Parameterizing models of propositional calculus formulas Modality for Robots-Responses to Halpern and Wansing RISKS-FORUM digest contributions We need better standards for AI research Computer Controlled Cars The Wang algorithm for the propositional calculus programmed in LISP In Honor of Marvin Minsky’s Contributions on his 80th Birthday CHALLENGES TO MACHINE LEARNING: Relations between reality and appearance Historical remarks on nonmonotonic reasoning, especially circumscription A Model for Materials Databases CODE OF ETHICS RECONSIDERED It’s Past Time for Practical Computer Checked Proofs of Program Correctness CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES Three Reviews of J. Weizenbaum’s Computer Power and Human Reason. Comments on time sharing Dialnet Extending mechanics to minds: The mechanical foundations of psychology and economics The Web-Early Visions, Present Reality, the Grander Future Combination and Interoperation of Logical Systems Research in Formal Interoperability Open architectures for formal reasoning and deductive technologies for software development Open Mechanized Reasoning Systems Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings Stanford Computer Science Video Journal: Artificial Intelligence Research Lectures Final report: Basic Research in Artificial Intelligence and Foundations of Programming Minimal Inference: A Way of Jumping to Conclusions This 1963 paper was includedin Computer Programming and Formal Sys-tems, edited by P. Braort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the WesternThis 1963 paper was includedin Computer Programming and Formal Sys-tems, edited by P. Braort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the Western AI and Philosophy: How Can You Know the Dancer from the Dance? Did Something Go Wrong? HUMAN-LEVEL AI: THE LOGICAL ROAD ENRAC Debates THE LOGIC AND PHILOSOPHY OF ARTIFICIAL INTELLIGENCE Get on the mailing list! Email Address Get on the mailing list! Email Address
