John McCarthy

  • Stanford University, Stanford, CA, USA
  • Massachusetts Institute of Technology, Cambridge, MA, USA

According to our database1, John McCarthy authored at least 74 papers between 1959 and 2009.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



A grounding framework.
Auton. Agents Multi Agent Syst., 2009

The well-designed child.
Artif. Intell., 2008

In Honor of Marvin Minsky's Contributions on his 80th Birthday.
AI Mag., 2007

From here to human-level AI.
Artif. Intell., 2007

Elephant 2000: a programming language based on speech acts.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955.
AI Mag., 2006

Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006).
Artif. Intell., 2006

Challenges to Machine Learning: Relations Between Reality and Appearance.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Did Something Go Wrong?
Proceedings of the What Went Wrong and Why: Lessons from AI Research and Applications, 2006

The Future of AI - A Manifesto.
AI Mag., 2005

The Tower of Stanford: 10956.
Am. Math. Mon., 2004

The Web - Early Visions, Present Reality, the Grander Future.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Problems and projections in CS for the next 49 year.
J. ACM, 2003

2003 AAAI Spring Symposium Series.
AI Mag., 2003

Advice about logical AI.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Varieties of Contexts.
Proceedings of the Modeling and Using Context, 2003

Problem 10956.
Am. Math. Mon., 2002

An architecture of diversity for commonsense reasoning.
IBM Syst. J., 2002

Actions and Other Events in Situation Calculus.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Phenomenal data-mining.
Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), 2001

Phenomenal Data Mining: From Data to Phenomena.
SIGKDD Explor., 2000

Free will - even for robots.
J. Exp. Theor. Artif. Intell., 2000

Deep issues: phenomenal data mining.
Commun. ACM, 2000

Review: M. Shanahan, Solving the Frame Problem.
Artif. Intell., 2000

Approximate Objects and Approximate Theories.
Proceedings of the KR 2000, 2000

Useful Counterfactuals.
Electron. Trans. Artif. Intell., 1999

Combining Narratives.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Modality, Si! Modal Logic, No!
Stud Logica, 1997

What Computers Still Can't Do.
Artif. Intell., 1996

Defending AI research - a collection of essays and reviews.
CSLI, ISBN: 978-1-57586-019-0, 1996

Making Robots Conscious of Their Mental States.
Proceedings of the Machine Intelligence 15, 1995

What has AI in Common with Philosophy?
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

History of Circumscription.
Artif. Intell., 1993

Notes on Formalizing Context.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Arthur Samuel: Pioneer in Machine Learning.
IBM J. Res. Dev., 1992

The beginnings at MIT.
IEEE Ann. Hist. Comput., 1992

Arthur L. Samuel: Pioneer in Machine Learning.
J. Int. Comput. Games Assoc., 1991

Lessons from the Lighthill Flap.
Knowl. Eng. Rev., 1990

In Memoriam: Arthur Samuel - Pioneer in Machine Learning.
AI Mag., 1990

The Fruitfly on the Fly.
J. Int. Comput. Games Assoc., 1989

Generality in Artificial Intelligence.
Commun. ACM, 1987

Applications of Circumscription to Formalizing Common-Sense Knowledge.
Artif. Intell., 1986

Mental Situation Calculus.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

What is Common Sense and How to Formalize it? (Condensed Slides).
Proceedings of the GWAI-85, 1985

We Need Better Standards for Artificial Intelligence Research - President's Message.
AI Mag., 1984

Queue-based Multi-processing Lisp.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message.
AI Mag., 1983

Research in Progress in Robotics at Stanford University.
AI Mag., 1980

Addendum: Circumscription and other Non-Monotonic Formalisms.
Artif. Intell., 1980

Circumscription - A Form of Non-Monotonic Reasoning.
Artif. Intell., 1980

LISP - notes on its past and future.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

First Order Programming Logic.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

History of LISP.
ACM SIGPLAN Notices, 1978

A micro-manual for LISP - not the whole truth.
ACM SIGPLAN Notices, 1978

Recursive programs as functions in a first order theory.
Proceedings of the Mathematical Studies of Information Processing, 1978

Epistemological Problems of Artificial Intelligence.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Knowledge Representation.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Computer power and human reason.
SIGART Newsl., 1976

Stanford University low overhead timesharing.
Proceedings of the 4th annual ACM SIGUCCS conference on User services, 1976

Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey.
Artif. Intell., 1974

The 1971 ACM A. M. Turing Award.
Proceedings of the 26th ACM annual conference, 1971

Comments on time sharing.
Commun. ACM, 1967

THOR: a display based time sharing system.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967

Revised report on the algorithmic language ALGOL 60.
Comput. J., 1963

The linking segment subprogram language and linking loader.
Commun. ACM, 1963

Revised report on the algorithm language ALGOL 60.
Commun. ACM, 1963

A time-sharing debugging system for a small computer.
Proceedings of the 1963 spring joint computer conference, 1963

Towards a Mathematical Science of Computation.
Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962

A basis for a mathematical theory of computation, preliminary report.
Proceedings of the Papers presented at the 1961 western joint IRE-AIEE-ACM computer conference, 1961

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I.
Commun. ACM, 1960

Report on the algorithmic language ALGOL 60.
Commun. ACM, 1960

Time-shared program testing.
Proceedings of the Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, 1959

LISP: a programming system for symbolic manipulations.
Proceedings of the Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, 1959