John McCarthy

According to our database1, John McCarthy
  • authored at least 66 papers between 1960 and 2009.
  • has a "Dijkstra number"2 of two.



In proceedings 
PhD thesis 





A grounding framework.
Autonomous Agents and Multi-Agent Systems, 2009

Perfluorocarbon Nanoparticles for Molecular Imaging and Targeted Therapeutics.
Proceedings of the IEEE, 2008

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

In Honor of Marvin Minsky's Contributions on his 80th Birthday.
AI Magazine, 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 Magazine, 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 Magazine, 2005

The Tower of Stanford: 10956.
The American Mathematical Monthly, 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 Magazine, 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.
The American Mathematical Monthly, 2002

An architecture of diversity for commonsense reasoning.
IBM Systems Journal, 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 Explorations, 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!
Studia Logica, 1997

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

From Here to Human-Level AI.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 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 Journal of Research and Development, 1992

The beginnings at MIT.
IEEE Annals of the History of Computing, 1992

Lessons from the Lighthill Flap.
Knowledge Eng. Review, 1990

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

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 Magazine, 1984

Applications of Circumscription to Formalizing Common Sense Knowledge.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

Queue-based Multi-processing Lisp.
LISP and Functional Programming, 1984

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

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

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

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

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

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 Newsletter, 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

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

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

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

Towards a Mathematical Science of Computation.
IFIP Congress, 1962

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