John McCarthy

According to our database1, John McCarthy authored at least 68 papers between 1960 and 2009.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

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

2007
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

2006
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

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

2004
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

2003
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

2002
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

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

2000
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

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

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

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

1996
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

1995
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

1993
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

1992
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

1991
Arthur L. Samuel: Pioneer in Machine Learning.
ICGA Journal, 1991

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

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

1989
The Fruitfly on the Fly.
ICGA Journal, 1989

1987
Generality in Artificial Intelligence.
Commun. ACM, 1987

1986
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

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

1984
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

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

1980
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

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

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

1977
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

1976
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

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

1967
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

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

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

1962
Towards a Mathematical Science of Computation.
IFIP Congress, 1962

1960
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


  Loading...