John McCarthy - RankMe

80 papers A* 11B 3Misc 1Journal 44Unranked 19

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	A grounding framework. Auton. Agents Multi Agent Syst. Mary-Anne Williams, John McCarthy, Peter Gärdenfors, Christopher J. Stanton, Alankar Karol
2008	J	`jnl`	The well-designed child. Artif. Intell. John McCarthy
2007	—	`conf`	Elephant 2000: a programming language based on speech acts. OOPSLA Companion John McCarthy
2007	J	`jnl`	From here to human-level AI. Artif. Intell. John McCarthy
2007	J	`jnl`	In Honor of Marvin Minsky's Contributions on his 80th Birthday. AI Mag. Danny Hillis, John McCarthy, Tom M. Mitchell, Erik T. Mueller, Doug Riecken, Aaron Sloman, Patrick Henry Winston
2006	J	`jnl`	A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955. AI Mag. John McCarthy, Marvin Minsky, Nathaniel Rochester, Claude E. Shannon
2006	B	`conf`	Challenges to Machine Learning: Relations Between Reality and Appearance. ILP John McCarthy
2006	—	`conf`	Did Something Go Wrong? AAAI Spring Symposium: What Went Wrong and Why: Lessons from AI Research and Applications John McCarthy
2006	J	`jnl`	Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006). Artif. Intell. Tom Costello, John McCarthy
2005	J	`jnl`	The Future of AI - A Manifesto. AI Mag. John McCarthy
2004	A*	`conf`	Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. KR John McCarthy
2004	J	`jnl`	The Tower of Stanford: 10956. Am. Math. Mon. John McCarthy, Lee Badger, Marc Williams
2004	—	`conf`	The Web - Early Visions, Present Reality, the Grander Future. Web Intelligence John McCarthy
2003	J	`jnl`	2003 AAAI Spring Symposium Series. AI Mag. 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	A*	`conf`	Advice about logical AI. LICS John McCarthy
2003	J	`jnl`	Problems and projections in CS for the next 49 year. J. ACM John McCarthy
2003	—	`conf`	Varieties of Contexts. CONTEXT Ramanathan V. Guha, John McCarthy
2002	A*	`conf`	Actions and Other Events in Situation Calculus. KR John McCarthy
2002	J	`jnl`	An architecture of diversity for commonsense reasoning. IBM Syst. J. John McCarthy, Marvin Minsky, Aaron Sloman, Leiguang Gong, Tessa A. Lau, Leora Morgenstern, Erik T. Mueller, Doug Riecken, Moninder Singh, Push Singh
2002	J	`jnl`	Problem 10956. Am. Math. Mon. John McCarthy
2001	B	`conf`	Phenomenal data-mining. K-CAP John McCarthy
2000	A*	`conf`	Approximate Objects and Approximate Theories. KR John McCarthy
2000	J	`jnl`	Deep issues: phenomenal data mining. Commun. ACM John McCarthy
2000	J	`jnl`	Free will - even for robots. J. Exp. Theor. Artif. Intell. John McCarthy
2000	J	`jnl`	Phenomenal Data Mining: From Data to Phenomena. SIGKDD Explor. John McCarthy
2000	J	`jnl`	Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. John McCarthy
1999	J	`jnl`	Useful Counterfactuals. Electron. Trans. Artif. Intell. Tom Costello, John McCarthy
1998	A*	`conf`	Combining Narratives. KR John McCarthy, Tom Costello
1997	J	`jnl`	Modality, Si! Modal Logic, No! Stud Logica John McCarthy
1996	—	`book`	Defending AI research - a collection of essays and reviews. John McCarthy
1996	A*	`conf`	From Here to Human-Level AI. KR John McCarthy
1996	J	`jnl`	What Computers Still Can't Do. Artif. Intell. John McCarthy, Hubert L. Dreyfus
1995	—	`conf`	Making Robots Conscious of Their Mental States. Machine Intelligence 15 John McCarthy
1995	A*	`conf`	What has AI in Common with Philosophy? IJCAI John McCarthy
1993	J	`jnl`	History of Circumscription. Artif. Intell. John McCarthy
1993	A*	`conf`	Notes on Formalizing Context. IJCAI John McCarthy
1993	—	`ch.`	Towards a Mathematical Science of Computation. Program Verification John McCarthy
1992	J	`jnl`	Arthur Samuel: Pioneer in Machine Learning. IBM J. Res. Dev. Gio Wiederhold, John McCarthy
1992	J	`jnl`	The beginnings at MIT. IEEE Ann. Hist. Comput. J. A. N. Lee, John McCarthy, J. C. R. Licklider
1991	J	`jnl`	Arthur L. Samuel: Pioneer in Machine Learning. ICCA J. John McCarthy, Edward A. Feigenbaum
1990	J	`jnl`	In Memoriam: Arthur Samuel - Pioneer in Machine Learning. AI Mag. John McCarthy, Edward A. Feigenbaum
1990	J	`jnl`	Lessons from the Lighthill Flap. Knowl. Eng. Rev. John McCarthy
1989	J	`jnl`	The Fruitfly on the Fly. ICCA J. John McCarthy
1987	J	`jnl`	Generality in Artificial Intelligence. Commun. ACM John McCarthy
1986	J	`jnl`	Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. John McCarthy
1986	B	`conf`	Mental Situation Calculus. TARK John McCarthy
1985	—	`conf`	What is Common Sense and How to Formalize it? (Condensed Slides). GWAI John McCarthy
1984	—	`conf`	Applications of Circumscription to Formalizing Common Sense Knowledge. NMR John McCarthy
1984	—	`conf`	Queue-based Multi-processing Lisp. LISP and Functional Programming Richard P. Gabriel, John McCarthy
1984	J	`jnl`	We Need Better Standards for Artificial Intelligence Research - President's Message. AI Mag. John McCarthy
1983	J	`jnl`	Artificial Intelligence Needs More Emphasis on Basic Research - President's Quarterly Message. AI Mag. John McCarthy
1980	J	`jnl`	Addendum: Circumscription and other Non-Monotonic Formalisms. Artif. Intell. John McCarthy
1980	J	`jnl`	Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. John McCarthy
1980	—	`conf`	LISP - notes on its past and future. LISP Conference John McCarthy
1980	J	`jnl`	Research in Progress in Robotics at Stanford University. AI Mag. Thomas O. Binford, John McCarthy
1979	A*	`conf`	First Order Programming Logic. POPL Robert Cartwright, John McCarthy
1978	J	`jnl`	A micro-manual for LISP - not the whole truth. ACM SIGPLAN Notices John McCarthy
1978	—	`conf`	History of LISP. HOPL John McCarthy
1978	J	`jnl`	History of LISP. ACM SIGPLAN Notices John McCarthy
1978	—	`conf`	Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing Robert Cartwright, John McCarthy
1978	—	`conf`	Transcript of presentation. HOPL John McCarthy
1977	A*	`conf`	Epistemological Problems of Artificial Intelligence. IJCAI John McCarthy
1977	A*	`conf`	Knowledge Representation. IJCAI Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan
1976	J	`jnl`	Computer power and human reason. SIGART Newsl. Benjamin Kuipers, John McCarthy, Joseph Weizenbaum
1976	Misc	`conf`	Stanford University low overhead timesharing. SIGUCCS John McCarthy
1974	J	`jnl`	Professor Sir James Lighthill, FRS. Artificial Intelligence: A General Survey. Artif. Intell. John McCarthy
1972	J	`jnl`	Arbitrary Character Sets. RFC John McCarthy
1971	—	`conf`	The 1971 ACM A. M. Turing Award. ACM Annual Conference John McCarthy
1967	J	`jnl`	Comments on time sharing. Commun. ACM John McCarthy
1967	—	`conf`	THOR: a display based time sharing system. AFIPS Spring Joint Computing Conference John McCarthy, Dow Brian, Gary Feldman, John Allen
1963	—	`conf`	A time-sharing debugging system for a small computer. AFIPS Spring Joint Computing Conference John McCarthy, S. Boilen, Edward Fredkin, J. C. R. Licklider
1963	J	`jnl`	Revised report on the algorithm language ALGOL 60. Commun. ACM 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
1963	J	`jnl`	Revised report on the algorithmic language ALGOL 60. Comput. J. 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
1963	J	`jnl`	The linking segment subprogram language and linking loader. Commun. ACM John McCarthy, Fernando J. Corbató, Marjorie Merwin-Daggett
1962	—	`conf`	Towards a Mathematical Science of Computation. IFIP Congress John McCarthy
1961	—	`conf`	A basis for a mathematical theory of computation, preliminary report. IRE-AIEE-ACM Computer Conference (Western) John McCarthy
1960	J	`jnl`	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Commun. ACM John McCarthy
1960	J	`jnl`	Report on the algorithmic language ALGOL 60. Commun. ACM 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
1959	—	`conf`	LISP: a programming system for symbolic manipulations. ACM National Meeting John McCarthy
1959	—	`conf`	Time-shared program testing. ACM National Meeting Herbert M. Teager, John McCarthy