John McCarthy

According to our database, John McCarthy authored at least 76 papers between 1959 and 2009.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2009

A grounding framework.

Mary-Anne Williams, John McCarthy, Peter Gärdenfors, Christopher J. Stanton, Alankar Karol

Auton. Agents Multi Agent Syst., 2009

2008

The well-designed child.

John McCarthy

Artif. Intell., 2008

2007

In Honor of Marvin Minsky's Contributions on his 80th Birthday.

Danny Hillis, John McCarthy, Tom M. Mitchell, Erik T. Mueller, Doug Riecken, Aaron Sloman, Patrick Henry Winston

AI Mag., 2007

From here to human-level AI.

John McCarthy

Artif. Intell., 2007

Elephant 2000: a programming language based on speech acts.

John McCarthy

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

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

John McCarthy, Marvin Minsky, Nathaniel Rochester, Claude E. Shannon

AI Mag., 2006

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

Tom Costello, John McCarthy

Artif. Intell., 2006

Challenges to Machine Learning: Relations Between Reality and Appearance.

John McCarthy

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Did Something Go Wrong?

John McCarthy

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

2005

The Future of AI - A Manifesto.

John McCarthy

AI Mag., 2005

2004

The Tower of Stanford: 10956.

John McCarthy, Lee Badger, Marc Williams

Am. Math. Mon., 2004

The Web - Early Visions, Present Reality, the Grander Future.

John McCarthy

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription.

John McCarthy

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

Problems and projections in CS for the next 49 year.

John McCarthy

J. ACM, 2003

2003 AAAI Spring Symposium Series.

Andreas Abecker, Erik K. Antonsson, Charles B. Callaway, Virginia Dignum, Patrick Doherty, Ludger van Elst, Michael Freed, Reva Freedman, Hans W. Guesgen, Gareth J. F. Jones, John R. Koza, David Kortenkamp, Mark T. Maybury, John McCarthy, Debasis Mitra, Jochen Renz, Debra Schreckenghost, Mary-Anne Williams

AI Mag., 2003

Advice about logical AI.

John McCarthy

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Varieties of Contexts.

Ramanathan V. Guha, John McCarthy

Proceedings of the Modeling and Using Context, 2003

2002

Problem 10956.

John McCarthy

Am. Math. Mon., 2002

An architecture of diversity for commonsense reasoning.

John McCarthy, Marvin Minsky, Aaron Sloman, Leiguang Gong, Tessa A. Lau, Leora Morgenstern, Erik T. Mueller, Doug Riecken, Moninder Singh, Push Singh

IBM Syst. J., 2002

Actions and Other Events in Situation Calculus.

John McCarthy

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Phenomenal data-mining.

John McCarthy

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

2000

Phenomenal Data Mining: From Data to Phenomena.

John McCarthy

SIGKDD Explor., 2000

Free will - even for robots.

John McCarthy

J. Exp. Theor. Artif. Intell., 2000

Deep issues: phenomenal data mining.

John McCarthy

Commun. ACM, 2000

Review: M. Shanahan, Solving the Frame Problem.

John McCarthy

Artif. Intell., 2000

Approximate Objects and Approximate Theories.

John McCarthy

Proceedings of the KR 2000, 2000

1999

Useful Counterfactuals.

Tom Costello, John McCarthy

Electron. Trans. Artif. Intell., 1999

1998

Combining Narratives.

John McCarthy, Tom Costello

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

1997

Modality, Si! Modal Logic, No!

John McCarthy

Stud Logica, 1997

1996

What Computers Still Can't Do.

John McCarthy, Hubert L. Dreyfus

Artif. Intell., 1996

Defending AI research - a collection of essays and reviews.

John McCarthy

CSLI, ISBN: 978-1-57586-019-0, 1996

1995

Making Robots Conscious of Their Mental States.

John McCarthy

Proceedings of the Machine Intelligence 15, 1995

What has AI in Common with Philosophy?

John McCarthy

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1993

History of Circumscription.

John McCarthy

Artif. Intell., 1993

Notes on Formalizing Context.

John McCarthy

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

1992

Arthur Samuel: Pioneer in Machine Learning.

Gio Wiederhold, John McCarthy

IBM J. Res. Dev., 1992

The beginnings at MIT.

J. A. N. Lee, John McCarthy, J. C. R. Licklider

IEEE Ann. Hist. Comput., 1992

1991

Arthur L. Samuel: Pioneer in Machine Learning.

John McCarthy, Edward A. Feigenbaum

J. Int. Comput. Games Assoc., 1991

1990

Lessons from the Lighthill Flap.

John McCarthy

Knowl. Eng. Rev., 1990

In Memoriam: Arthur Samuel - Pioneer in Machine Learning.

John McCarthy, Edward A. Feigenbaum

AI Mag., 1990

1989

The Fruitfly on the Fly.

John McCarthy

J. Int. Comput. Games Assoc., 1989

1987

Generality in Artificial Intelligence.

John McCarthy

Commun. ACM, 1987

1986

Applications of Circumscription to Formalizing Common-Sense Knowledge.

John McCarthy

Artif. Intell., 1986

Mental Situation Calculus.

John McCarthy

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1985

What is Common Sense and How to Formalize it? (Condensed Slides).

John McCarthy

Proceedings of the GWAI-85, 1985

1984

We Need Better Standards for Artificial Intelligence Research - President's Message.

John McCarthy

AI Mag., 1984

Queue-based Multi-processing Lisp.

Richard P. Gabriel, John McCarthy

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message.

John McCarthy

AI Mag., 1983

1980

Research in Progress in Robotics at Stanford University.

Thomas O. Binford, John McCarthy

AI Mag., 1980

Addendum: Circumscription and other Non-Monotonic Formalisms.

John McCarthy

Artif. Intell., 1980

Circumscription - A Form of Non-Monotonic Reasoning.

John McCarthy

Artif. Intell., 1980

LISP - notes on its past and future.

John McCarthy

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979

First Order Programming Logic.

Robert Cartwright, John McCarthy

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

History of LISP.

John McCarthy

ACM SIGPLAN Notices, 1978

A micro-manual for LISP - not the whole truth.

John McCarthy

ACM SIGPLAN Notices, 1978

Recursive programs as functions in a first order theory.

Robert Cartwright, John McCarthy

Proceedings of the Mathematical Studies of Information Processing, 1978

Transcript of presentation.

John McCarthy

Proceedings of the History of Programming Languages, 1978

1977

Epistemological Problems of Artificial Intelligence.

John McCarthy

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

Knowledge Representation.

Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan

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

1976

Computer power and human reason.

Benjamin Kuipers, John McCarthy, Joseph Weizenbaum

SIGART Newsl., 1976

Stanford University low overhead timesharing.

John McCarthy

Proceedings of the 4th annual ACM SIGUCCS conference on User services, 1976

1974

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

John McCarthy

Artif. Intell., 1974

1972

Arbitrary Character Sets.

John McCarthy

RFC, July, 1972

1971

The 1971 ACM A. M. Turing Award.

John McCarthy

Proceedings of the 26th ACM annual conference, 1971

1967

Comments on time sharing.

John McCarthy

Commun. ACM, 1967

THOR: a display based time sharing system.

John McCarthy, Dow Brian, Gary Feldman, John Allen

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967

1963

Revised report on the algorithmic language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger

Comput. J., 1963

The linking segment subprogram language and linking loader.

John McCarthy, Fernando J. Corbató, Marjorie Merwin-Daggett

Commun. ACM, 1963

Revised report on the algorithm language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur

Commun. ACM, 1963

A time-sharing debugging system for a small computer.

John McCarthy, S. Boilen, Edward Fredkin, J. C. R. Licklider

Proceedings of the 1963 spring joint computer conference, 1963

1962

Towards a Mathematical Science of Computation.

John McCarthy

Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962

1961

A basis for a mathematical theory of computation, preliminary report.

John McCarthy

Proceedings of the Papers presented at the 1961 western joint IRE-AIEE-ACM computer conference, 1961

1960

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

John McCarthy

Commun. ACM, 1960

Report on the algorithmic language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger

Commun. ACM, 1960

1959

Time-shared program testing.

Herbert M. Teager, John McCarthy

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.

John McCarthy

Proceedings of the Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, 1959