Skip to content
cs-conference-ranking.org

John McCarthy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

9

Active years

1976–2007

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2007OOPSLAElephant 2000: a programming language based on speech acts.John McCarthy
2006ILPChallenges to Machine Learning: Relations Between Reality and Appearance.John McCarthy
2004KRHistorical Remarks on Nonmonotonic Reasoning, Especially Circumscription.John McCarthy
2003LICSAdvice about logical AI.John McCarthy
2002KRActions and Other Events in Situation Calculus.John McCarthy
2000KRApproximate Objects and Approximate Theories.John McCarthy
1998KRCombining Narratives.John McCarthy, Tom Costello
1996KRFrom Here to Human-Level AI.John McCarthy
1995IJCAIWhat has AI in Common with Philosophy?John McCarthy
1993IJCAINotes on Formalizing Context.John McCarthy
1986TARKMental Situation Calculus.John McCarthy
1985KIWhat is Common Sense and How to Formalize it? (Condensed Slides).John McCarthy
1979POPLFirst Order Programming Logic.Robert Cartwright, John McCarthy
1977IJCAIKnowledge Representation.Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan
1977IJCAIEpistemological Problems of Artificial Intelligence.John McCarthy
1976SIGUCCSStanford University low overhead timesharing.John McCarthy