John McCarthy

Mary-Anne Williams, John McCarthy, Peter Gärdenfors, Christopher Stanton, Alankar Karol: A grounding framework. Autonomous Agents and Multi-Agent Systems 19(3): 272-296 (2009)

John McCarthy: The well-designed child. Artif. Intell. 172(18): 2003-2014 (2008)

John McCarthy: From here to human-level AI. Artif. Intell. 171(18): 1174-1182 (2007)

Danny Hillis, John McCarthy, Tom M. Mitchell, Erik T. Mueller, Doug Riecken, Aaron Sloman, Patrick Henry Winston: In Honor of Marvin Minsky's Contributions on his 80th Birthday. AI Magazine 28(4): 103-110 (2007)

John McCarthy: Elephant 2000: a programming language based on speech acts. OOPSLA Companion 2007: 723-724

Tom Costello, John McCarthy: Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006). Artif. Intell. 170(18): 1237-1238 (2006)

John McCarthy, Marvin Minsky, Nathaniel Rochester, Claude E. Shannon: A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955. AI Magazine 27(4): 12-14 (2006)

John McCarthy: Did Something Go Wrong? AAAI Spring Symposium: What Went Wrong and Why: Lessons from AI Research and Applications 2006: 11

John McCarthy: Challenges to Machine Learning: Relations Between Reality and Appearance. ILP 2006: 2-9

John McCarthy: The Future of AI - A Manifesto. AI Magazine 26(4): 39- (2005)

John McCarthy, Lee Badger, Marc Williams: The Tower of Stanford: 10956. The American Mathematical Monthly 111(4): 364-365 (2004)

John McCarthy: The Web - Early Visions, Present Reality, the Grander Future. IAT 2004: 3

John McCarthy: Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. KR 2004: 738-739

John McCarthy: The Web - Early Visions, Present Reality, the Grander Future. Web Intelligence 2004: 3

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: 2003 AAAI Spring Symposium Series. AI Magazine 24(3): 131-140 (2003)

John McCarthy: Problems and projections in CS for the next 49 year. J. ACM 50(1): 73-79 (2003)

Ramanathan V. Guha, John McCarthy: Varieties of Contexts. CONTEXT 2003: 164-177

John McCarthy: Advice about logical AI. LICS 2003: 244-

John McCarthy, Marvin Minsky, Aaron Sloman, Leiguang Gong, Tessa A. Lau, Leora Morgenstern, Erik T. Mueller, Doug Riecken, Moninder Singh, Push Singh: An architecture of diversity for commonsense reasoning. IBM Systems Journal 41(3) (2002)

Ken Binmore, John McCarthy, Giovanni Ponti, Larry Samuelson, Avner Shaked: A Backward Induction Experiment. J. Economic Theory 104(1): 48-88 (2002)

John McCarthy: Problem 10956. The American Mathematical Monthly 109(7): 664 (2002)

John McCarthy: Actions and Other Events in Situation Calculus. KR 2002: 615-628

John McCarthy: Phenomenal data-mining. K-CAP 2001: 4-4

John McCarthy: Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 269-270 (2000)

John McCarthy: Deep issues: phenomenal data mining. Commun. ACM 43(8): 75-79 (2000)

John McCarthy: Free will - even for robots. J. Exp. Theor. Artif. Intell. 12(3): 341-352 (2000)

John McCarthy: Phenomenal Data Mining: From Data to Phenomena. SIGKDD Explorations 1(2): 24-29 (2000)

John McCarthy: Approximate Objects and Approximate Theories. KR 2000: 519-526

Tom Costello, John McCarthy: Useful Counterfactuals. Electron. Trans. Artif. Intell. 3(A): 51-76 (1999)

Mel Slater, Anthony Steed, John McCarthy, Francesco Maringelli: The Influence of Body Movement on Subjective Presence in Virtual Environments. Human Factors 40(3): 469-477 (1998)

John McCarthy: The viability of modelling socially organised activity. DSV-IS 1998: 9-23

John McCarthy, Tom Costello: Combining Narratives. KR 1998: 48-59

John McCarthy: Modality, Si! Modal Logic, No! Studia Logica 59(1): 29-32 (1997)

John McCarthy: Defending AI research - a collection of essays and reviews. CSLI 1996, isbn 978-1-57586-019-0, pp. I-VIII, 1-129

John McCarthy, Hubert L. Dreyfus: What Computers Still Can't Do. Artif. Intell. 80(1-2): 143-150 (1996)

Carol Linehan, John McCarthy: Deriving Information Requirement in the Design of a Mathematics Workstation for Visually Impaired Students. BCS HCI 1996: 113-127

John McCarthy: From Here to Human-Level AI. KR 1996: 640-646

John McCarthy: What has AI in Common with Philosophy? IJCAI 1995: 2041-2044

John McCarthy: Making Robots Conscious of Their Mental States. Machine Intelligence 15 1995: 3-17

John McCarthy: History of Circumscription. Artif. Intell. 59(1-2): 23-26 (1993)

John McCarthy: Notes on Formalizing Context. IJCAI 1993: 555-562

Gio Wiederhold, John McCarthy: Arthur Samuel: Pioneer in Machine Learning. IBM Journal of Research and Development 36(3): 329-332 (1992)

John McCarthy, Edward A. Feigenbaum: In Memoriam: Arthur Samuel - Pioneer in Machine Learning. AI Magazine 11(3): 10-11 (1990)

John McCarthy: Generality in Artificial Intelligence. Commun. ACM 30(12): 1029-1035 (1987)

John McCarthy: Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. 28(1): 89-116 (1986)

John McCarthy: Mental Situation Calculus. TARK 1986: 307-308

John McCarthy: What is Common Sense and How to Formalize it? (Condensed Slides). GWAI 1985: 213-217

John McCarthy: We Need Better Standards for Artificial Intelligence Research - President's Message. AI Magazine 5(3): 7-8 (1984)

Richard P. Gabriel, John McCarthy: Queue-based Multi-processing Lisp. LISP and Functional Programming 1984: 25-44

John McCarthy: Applications of Circumscription to Formalizing Common Sense Knowledge. NMR 1984: 295-324

John McCarthy: Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message. AI Magazine 4(4): 5 (1983)

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39 (1980)

John McCarthy: Addendum: Circumscription and other Non-Monotonic Formalisms. Artif. Intell. 13(1-2): 171-172 (1980)

Thomas O. Binford, John McCarthy: Research in Progress in Robotics at Stanford University. AI Magazine 2(1): 27-28 (1980)

Robert Cartwright, John McCarthy: First Order Programming Logic. POPL 1979: 68-80

Robert Cartwright, John McCarthy: Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing 1978: 576-629

Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan: Knowledge Representation. IJCAI 1977: 983-992

John McCarthy: Epistemological Problems of Artificial Intelligence. IJCAI 1977: 1038-1044

John McCarthy: Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey. Artif. Intell. 5(3): 317-322 (1974)

John McCarthy: Comments on time sharing. Commun. ACM 10(9): 531 (1967)

John McCarthy, Dow Brian, Gary Feldman, John Allen: THOR: a display based time sharing system. AFIPS Spring Joint Computing Conference 1967: 623-633

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: Revised report on the algorithm language ALGOL 60. Commun. ACM 6(1): 1-17 (1963)

John McCarthy, Fernando J. Corbató, Marjorie M. Daggett: The linking segment subprogram language and linking loader. Commun. ACM 6(7): 391 (1963)

John McCarthy: Towards a Mathematical Science of Computation. IFIP Congress 1962: 21-28

John McCarthy: Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Commun. ACM 3(4): 184-195 (1960)

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: Report on the algorithmic language ALGOL 60. Commun. ACM 3(5): 299-314 (1960)