×
Author ID: mccarthy.john Recent zbMATH articles by "McCarthy, John"
Published as: McCarthy, John; McCarthy, J.
External Links: MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (1971)
Documents Indexed: 31 Publications since 1952, including 2 Books
1 Contribution as Editor · 4 Further Contributions
Biographic References: 3 Publications
Co-Authors: 17 Co-Authors with 11 Joint Publications
111 Co-Co-Authors
all top 5

Co-Authors

19 single-authored
6 Backus, John Warner
6 Bauer, Friedrich Ludwig
6 Green, J.
6 Katz, Casimir
6 Perlis, Alan Jay
6 Samelson, Klaus
6 van Wijngaarden, Adrian
6 Vauquois, Bernard
6 Wegstein, J. H.
6 Woodger, M.
5 Naur, Peter
5 Rutishauser, Heinz
2 Cartwright, Robert
2 Hayes, Patrick J.
2 Manna, Zohar
1 Aho, Alfred Vaino
1 Amarel, Saul
1 Andler, Sten F.
1 Andrews, Gregory R.
1 Ashby, William Ross
1 Banning, John
1 Barstow, David R.
1 Berliner, Hans Jack
1 Bernstein, Philip A.
1 Bledsoe, Woodrow W.
1 Book, E.
1 Bratman, Harvey
1 Buchanan, Bruce G.
1 Buvač, Saša
1 Casanova, Marco Antonio
1 Clarke, Edmund Melson jun.
1 Cohen, Norman H.
1 Cohen, Paul R.
1 Cohen, Richard M.
1 Cohen, Rina S.
1 Constable, Robert Lee
1 Cousot, Patrick
1 Cousot, Radhia
1 Critcher, Adrienne
1 Culbertson, James T.
1 Davis, Martin David
1 Davis, Randall
1 deLeeuw, Karel
1 Duda, Richard O.
1 Erman, L.
1 Feigenbaum, Edward Albert
1 Fikes, Richard E.
1 Fleck, Arthur C.
1 Fong, Amelia C.
1 Fraser, Christopher W.
1 Gaschnig, John G.
1 Gerhart, Susan L.
1 Good, Donald I.
1 Green, Louis C.
1 Greif, Irene
1 Gull, Walter E.
1 Harel, David
1 Harry, E.
1 Hart, Peter E.
1 Hayes-Roth, Frederick
1 Hoffmann, Christoph M.
1 Jenkins, Michael A.
1 Jones, Neil D.
1 Lesser, Victor R.
1 Liu, Ken-Chih
1 Ludvig, J.
1 Mackay, D. M.
1 Mackworth, Alan K.
1 Meyer, Albert Ronald
1 Miller, Terrence C.
1 Minsky, Marvin Lee
1 Moore, Edward F.
1 Muchnick, Steven S.
1 Naur, Peter
1 Neuendorffer, S.
1 Nilsson, Nils J.
1 O’Donnell, Michael J.
1 Painter, James S.
1 Perrault, C. Raymond
1 Pratt, Vaughan R.
1 Reif, John H.
1 Reiter, Raymond
1 Reitman, Richard P.
1 Rutishauser, S.
1 Sachs, S. R.
1 Savage, John E.
1 Schonberg, Edmond
1 Schwartz, Jacob Theodore
1 Shannon, Claude Elwood
1 Sharir, Micha
1 Shortliffe, Edward H.
1 Stefik, M.
1 Swamy, Sowmitri
1 Ullman, Jeffrey David
1 Uttley, Albert M.
1 von Neumann, John
1 Waldinger, Richard J.
1 Webber, Bonnie Lynn
1 Weyhrauch, Richard W.
1 Wilkins, David C.
...and 1 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 768 times in 693 Documents Cited by Year
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
306
1980
Some philosophical problems from the standpoint of artificial intelligence. Zbl 0226.68044
McCarthy, John; Hayes, P. J.
259
1969
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
67
1960
Measures of the value of information. Zbl 0072.37501
McCarthy, John
32
1956
A basis for a mathematical theory of computation. Zbl 0203.16402
McCarthy, John
30
1963
Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105
Naur, P.; Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodg er, M.
30
1963
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
29
1956
Correctness of a compiler for arithmetic expressions. Zbl 0183.19201
McCarthy, John; Painter, James
26
1967
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
24
1987
Readings in artificial intelligence. Zbl 0498.68054
14
1981
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
11
1969
Formalizing context. (Expanded notes). Zbl 0953.03517
McCarthy, John; Buvač, Saša
8
1998
A basis for a mathematical theory of computation. Zbl 0246.68007
McCarthy, John
5
1961
Recursive programs as functions in a first order theory. Zbl 0407.68042
Cartwright, Robert; McCarthy, John
5
1979
Computer programs for checking mathematical proofs. Zbl 0143.40007
McCarthy, John
5
1962
Modality, si! Modal logic, no! Zbl 0884.03016
McCarthy, John
4
1997
Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
Addendum: Circumscription and other non-monotonic formalisms. Zbl 0435.68072
McCarthy, John
3
1980
The well-designed child. Zbl 1184.68382
McCarthy, John
3
2008
Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Naur, P.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
2
1976
Revised report on the algorithmic language ALGOL-60. (Algoritmicheskiĭ yazuk ALGOL-60. Peresmotrennoe soobshchenie. Translation from the English edited by E. P. Ershov, S. S. Lavrov and M. R. Shura-Bura.) Zbl 0146.14701
2
1965
Problems in the theory of computation. Zbl 0203.15101
McCarthy, John
1
1965
Philosophical and scientific presuppositions of logical AI. Zbl 0938.03010
McCarthy, John
1
1999
Challenges to machine learning: relations between reality and appearance. Zbl 1201.68098
McCarthy, John
1
2007
Concepts of logical AI. Zbl 0979.68096
McCarthy, John
1
2000
History of circumscription. Zbl 1507.68011
McCarthy, John
1
1993
The well-designed child. Zbl 1184.68382
McCarthy, John
3
2008
Challenges to machine learning: relations between reality and appearance. Zbl 1201.68098
McCarthy, John
1
2007
Concepts of logical AI. Zbl 0979.68096
McCarthy, John
1
2000
Philosophical and scientific presuppositions of logical AI. Zbl 0938.03010
McCarthy, John
1
1999
Formalizing context. (Expanded notes). Zbl 0953.03517
McCarthy, John; Buvač, Saša
8
1998
Modality, si! Modal logic, no! Zbl 0884.03016
McCarthy, John
4
1997
History of circumscription. Zbl 1507.68011
McCarthy, John
1
1993
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
24
1987
Readings in artificial intelligence. Zbl 0498.68054
14
1981
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
306
1980
Addendum: Circumscription and other non-monotonic formalisms. Zbl 0435.68072
McCarthy, John
3
1980
Recursive programs as functions in a first order theory. Zbl 0407.68042
Cartwright, Robert; McCarthy, John
5
1979
Modified report on the algorithmic language ALGOL 60. Zbl 0338.68007
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Naur, P.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
2
1976
Some philosophical problems from the standpoint of artificial intelligence. Zbl 0226.68044
McCarthy, John; Hayes, P. J.
259
1969
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
11
1969
Correctness of a compiler for arithmetic expressions. Zbl 0183.19201
McCarthy, John; Painter, James
26
1967
Revised report on the algorithmic language ALGOL-60. (Algoritmicheskiĭ yazuk ALGOL-60. Peresmotrennoe soobshchenie. Translation from the English edited by E. P. Ershov, S. S. Lavrov and M. R. Shura-Bura.) Zbl 0146.14701
2
1965
Problems in the theory of computation. Zbl 0203.15101
McCarthy, John
1
1965
A basis for a mathematical theory of computation. Zbl 0203.16402
McCarthy, John
30
1963
Revised report on the algorithmic language ALGOL 60. Zbl 0109.35105
Naur, P.; Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodg er, M.
30
1963
Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. Zbl 0108.30206
Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
Computer programs for checking mathematical proofs. Zbl 0143.40007
McCarthy, John
5
1962
A basis for a mathematical theory of computation. Zbl 0246.68007
McCarthy, John
5
1961
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
67
1960
Measures of the value of information. Zbl 0072.37501
McCarthy, John
32
1956
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
29
1956
all top 5

Cited by 851 Authors

16 Lifschitz, Vladimir
15 Levesque, Hector J.
13 Eiter, Thomas
10 Przymusinski, Teodor C.
8 Cabalar, Pedro
8 Delgrande, James P.
8 Gelfond, Michael
8 Inoue, Katsumi
7 Cadoli, Marco
7 Sakama, Chiaki
7 Thielscher, Michael
6 Belle, Vaishak
6 Gottlob, Georg
6 Lee, Joohyung
5 Arieli, Ofer
5 Ben-Eliyahu-Zohary, Rachel
5 Davis, Ernest
5 De Giacomo, Giuseppe
5 Lespérance, Yves
5 Lozinskii, Eliezer L.
5 Morgenstern, Leora
5 Palopoli, Luigi
5 Schaub, Torsten H.
5 Shoham, Yoav
5 Tompits, Hans
4 Ginsberg, Matthew L.
4 Giunchiglia, Fausto
4 Kowalski, Robert A.
4 Lehmann, Daniel J.
4 Leone, Nicola
4 Liberatore, Paolo
4 Lin, Fangzhen
4 Lucas, Salvador
4 Marek, V. Wiktor
4 McIlraith, Sheila A.
4 Miller, Rob
4 Moses, Yoram
4 Patrizi, Fabio
4 Perlis, Donald R.
4 Phan Minh Dung
4 Reiter, Raymond
4 Serafini, Luciano
4 Siegel, Pierre
4 Truszczyński, Mirosław
4 van Benthem, Johan F. A. K.
3 Amir, Eyal
3 Angiulli, Fabrizio
3 Baral, Chitta R.
3 Bergstra, Jan A.
3 Bibel, Wolfgang
3 Bidoit, Nicole
3 Bonatti, Piero Andrea
3 Boutilier, Craig
3 Brewka, Gerhard
3 Durand, Arnaud
3 Fernando, Tim
3 Gabaldon, Alfredo
3 Germano, Giorgio M.
3 Ghidini, Chiara
3 Halpern, Joseph Yehuda
3 Hermann, Miki
3 Kraus, Sarit
3 Lakemeyer, Gerhard
3 Lukasiewicz, Thomas
3 McDermott, Drew V.
3 Meier, Arne
3 Minker, Jack
3 Moinard, Yves
3 Moore, J Strother
3 Myreen, Magnus O.
3 Pollock, John L.
3 Schaerf, Marco
3 Schwind, Camilla B.
3 Strass, Hannes
3 Subrahmanian, V. S.
3 Szałas, Andrzej
3 Toni, Francesca
3 Varzinczak, Ivan Jóse
3 Woltran, Stefan
3 Yager, Ronald R.
3 Yang, Fangkai
2 Aguado, Felicidad
2 Alferes, José Júlio
2 Anderson, Michael L.
2 Arias, Joaquin
2 Artikis, Alexander
2 Bacchus, Fahiem
2 Baier, Jorge A.
2 Benferhat, Salem
2 Besnard, Philippe
2 Bhatt, Mehul
2 Bjørner, Dines
2 Bonner, Anthony J.
2 Bouquet, Paolo
2 Brafman, Ronen I.
2 Carlucci Aiello, Luigia
2 Carro, Manuel
2 Chen, Jianhua
2 Chen, Zhuo
2 Cordier, Marie-Odile
...and 751 more Authors
all top 5

Cited in 96 Serials

204 Artificial Intelligence
39 Annals of Mathematics and Artificial Intelligence
34 Theoretical Computer Science
16 Journal of Automated Reasoning
15 Journal of Applied Non-Classical Logics
12 Acta Informatica
12 Information Processing Letters
11 Journal of Philosophical Logic
11 International Journal of Intelligent Systems
10 Synthese
10 Information and Computation
9 Computers & Mathematics with Applications
9 Journal of Computer and System Sciences
9 Studia Logica
9 International Journal of Approximate Reasoning
9 Formal Aspects of Computing
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
8 Journal of Logic, Language and Information
8 Journal of Applied Logic
7 Journal of Symbolic Computation
7 New Generation Computing
7 Theory and Practice of Logic Programming
6 RAIRO, Informatique Théorique
6 Annals of Pure and Applied Logic
6 BIT. Nordisk Tidskrift for Informationsbehandling
5 Information Sciences
5 Kybernetika
5 ACM Transactions on Computational Logic
4 International Journal of Computer & Information Sciences
4 The Journal of Symbolic Logic
4 Mathematical Systems Theory
4 Journal of Computer Science and Technology
4 Machine Learning
4 The Journal of Logic and Algebraic Programming
3 Fuzzy Sets and Systems
3 Software. Practice & Experience
2 Discrete Applied Mathematics
2 Calcolo
2 Notre Dame Journal of Formal Logic
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Cybernetics and Systems
2 Science of Computer Programming
2 Artificial Intelligence Review
2 Archive for Mathematical Logic
2 Journal of Functional Programming
2 Theory of Computing Systems
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Logica Universalis
2 Logical Methods in Computer Science
2 Computer Science Review
1 Discrete Mathematics
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Journal of Computational Physics
1 Journal of Engineering Mathematics
1 Letters in Mathematical Physics
1 Chaos, Solitons and Fractals
1 Algebra Universalis
1 BIT
1 Computing
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Economic Theory
1 Journal of Mathematical Economics
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Journal of Statistical Planning and Inference
1 Mathematische Nachrichten
1 Numerische Mathematik
1 Programming and Computer Software
1 Semigroup Forum
1 Theory and Decision
1 Cybernetics
1 History and Philosophy of Logic
1 Mathematical and Computer Modelling
1 AI Communications
1 Computer Science in Economics and Management
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 The Journal of Artificial Intelligence Research (JAIR)
1 Computational & Mathematical Organization Theory
1 Science in China. Series E
1 Open Systems & Information Dynamics
1 Journal of the ACM
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Higher-Order and Symbolic Computation
1 Erkenntnis
1 Fundamenta Informaticae
1 Concurrency and Computation: Practice & Experience
1 Natural Computing
1 Computer Languages, Systems & Structures
1 The Review of Symbolic Logic
1 Frontiers of Computer Science
1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.