×

zbMATH — the first resource for mathematics

McCarthy, John

Compute Distance To:
Author ID: mccarthy.john Recent zbMATH articles by "McCarthy, John"
Published as: McCarthy, J.; McCarthy, John
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1971)
Documents Indexed: 30 Publications since 1952, including 3 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 787 times in 706 Documents Cited by Year
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
280
1980
Some philosophical problems from the standpoint of artificial intelligence. Zbl 0226.68044
McCarthy, John; Hayes, P. J.
226
1969
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
60
1960
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.
32
1963
A basis for a mathematical theory of computation. Zbl 0203.16402
McCarthy, John
30
1963
Measures of the value of information. Zbl 0072.37501
McCarthy, John
27
1956
Correctness of a compiler for arithmetic expressions. Zbl 0183.19201
McCarthy, John; Painter, James
26
1967
Automata studies. Zbl 0074.11204
Shannon, Claude E. (ed.); McCarthy, John (ed.); 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.
22
1956
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
21
1987
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
10
1969
Formalizing context. (Expanded notes). Zbl 0953.03517
McCarthy, John; Buvač, Saša
8
1998
Computer programs for checking mathematical proofs. Zbl 0143.40007
McCarthy, John
8
1962
Recursive programs as functions in a first order theory. Zbl 0407.68042
Cartwright, Robert; McCarthy, John
7
1979
A basis for a mathematical theory of computation. Zbl 0246.68007
McCarthy, John
7
1961
The well-designed child. Zbl 1184.68382
McCarthy, John
3
2008
Modality, si! Modal logic, no! Zbl 0884.03016
McCarthy, John
3
1997
Addendum: Circumscription and other non-monotonic formalisms. Zbl 0435.68072
McCarthy, John
3
1980
Problems in the theory of computation. Zbl 0203.15101
McCarthy, John
3
1965
Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701
Naur, Peter (ed.); 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.
3
1965
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.; Naur, P. (ed.); Perlis, A. J.; Rutishauser, Heinz; Samelson, K.; Vauquois, B.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.
3
1963
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
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
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
3
1997
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
21
1987
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
280
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
7
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.
226
1969
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
10
1969
Correctness of a compiler for arithmetic expressions. Zbl 0183.19201
McCarthy, John; Painter, James
26
1967
Problems in the theory of computation. Zbl 0203.15101
McCarthy, John
3
1965
Revised report on the algorithmic language ALGOL-60. Zbl 0146.14701
Naur, Peter (ed.); 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.
3
1965
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.
32
1963
A basis for a mathematical theory of computation. Zbl 0203.16402
McCarthy, John
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.; Naur, P. (ed.); 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
8
1962
A basis for a mathematical theory of computation. Zbl 0246.68007
McCarthy, John
7
1961
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
60
1960
Measures of the value of information. Zbl 0072.37501
McCarthy, John
27
1956
Automata studies. Zbl 0074.11204
Shannon, Claude E. (ed.); McCarthy, John (ed.); 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.
22
1956
all top 5

Cited by 892 Authors

16 Lifschitz, Vladimir
13 Eiter, Thomas
13 Levesque, Hector J.
9 Przymusinski, Teodor C.
8 Delgrande, James P.
8 Gelfond, Michael
7 Cadoli, Marco
7 Thielscher, Michael
6 Gottlob, Georg
6 Inoue, Katsumi
6 Lee, Joohyung
6 Shoham, Yoav
5 Arieli, Ofer
5 Belle, Vaishak
5 Cabalar, Pedro
5 Davis, Ernest E.
5 Lozinskii, Eliezer L.
5 Reiter, Raymond
5 Sakama, Chiaki
5 Schaub, Torsten H.
4 Ben-Eliyahu-Zohary, Rachel
4 Bergstra, Jan A.
4 De Giacomo, Giuseppe
4 Ginsberg, Matthew L.
4 Giunchiglia, Fausto
4 Kowalski, Robert A.
4 Leone, Nicola
4 Lespérance, Yves
4 Liberatore, Paolo
4 Lin, Fangzhen
4 Lucas, Salvador
4 Marek, V. Wiktor
4 Morgenstern, Leora
4 Palopoli, Luigi
4 Perlis, Donald R.
4 Phan Minh Dung
4 Poole, David L.
4 Serafini, Luciano
4 Stilman, Boris
4 van Benthem, Johan F. A. K.
3 Amir, Eyal
3 Baral, Chitta R.
3 Bibel, Wolfgang
3 Bidoit, Nicole
3 Bledsoe, Woodrow W.
3 Bonatti, Piero Andrea
3 Brewka, Gerhard
3 Chen, Tsong Yueh
3 Dawid, Alexander Philip
3 Durand, Arnaud
3 Fernando, Tim
3 Gabaldon, Alfredo
3 Germano, Giorgio M.
3 Ghidini, Chiara
3 Hermann, Miki
3 Kraus, Sarit
3 Lakemeyer, Gerhard
3 Lehmann, Daniel J.
3 Lukasiewicz, Thomas
3 McDermott, Drew V.
3 McIlraith, Sheila A.
3 Meier, Arne
3 Minker, Jack
3 Moinard, Yves
3 Moore, J Strother
3 Myreen, Magnus O.
3 Patrizi, Fabio
3 Pollock, John L.
3 Schaerf, Marco
3 Schwind, Camilla B.
3 Siegel, Pierre
3 Strass, Hannes
3 Subrahmanian, V. S.
3 Szałas, Andrzej
3 Tompits, Hans
3 Toni, Francesca
3 Truszczyński, Mirosław
3 Varzinczak, Ivan Jóse
3 Yager, Ronald R.
2 Aczél, János Dezső
2 Alferes, José Júlio
2 Angiulli, Fabrizio
2 Benferhat, Salem
2 Besnard, Philippe
2 Bhatt, Mehul
2 Bjørner, Dines
2 Bonner, Anthony J.
2 Bouquet, Paolo
2 Boutilier, Craig
2 Brafman, Ronen I.
2 Carlucci Aiello, Luigia
2 Chambers, Christopher P.
2 Chen, Jianhua
2 Chen, Yiling
2 Cordier, Marie-Odile
2 Danvy, Olivier
2 Davis, Jared
2 Dezani-Ciancaglini, Mariangiola
2 Diéguez, Martín
2 Dignum, F. P. M.
...and 792 more Authors
all top 5

Cited in 120 Serials

200 Artificial Intelligence
40 Theoretical Computer Science
36 Annals of Mathematics and Artificial Intelligence
16 Journal of Automated Reasoning
14 Journal of Computer and System Sciences
14 Journal of Applied Non-Classical Logics
13 Information Processing Letters
12 Acta Informatica
11 Journal of Philosophical Logic
11 Synthese
11 Information and Computation
11 International Journal of Intelligent Systems
10 Computers & Mathematics with Applications
9 Studia Logica
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
9 Journal of Applied Logic
8 Journal of Symbolic Computation
8 New Generation Computing
8 International Journal of Approximate Reasoning
8 Formal Aspects of Computing
8 Journal of Logic, Language and Information
7 Information Sciences
7 The Journal of Symbolic Logic
7 Annals of Pure and Applied Logic
6 RAIRO, Informatique Théorique
6 Theory and Practice of Logic Programming
6 BIT. Nordisk Tidskrift for Informationsbehandling
5 International Journal of Computer & Information Sciences
5 Kybernetika
5 Mathematical Systems Theory
5 The Journal of Logic and Algebraic Programming
4 Journal of Computer Science and Technology
4 ACM Transactions on Computational Logic
3 Calcolo
3 Fuzzy Sets and Systems
3 Journal of Mathematical Economics
3 Notre Dame Journal of Formal Logic
3 Software. Practice & Experience
3 Machine Learning
2 Discrete Applied Mathematics
2 International Journal of General Systems
2 Journal of Economic Theory
2 Journal of Soviet Mathematics
2 Programming and Computer Software
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Cybernetics and Systems
2 Science of Computer Programming
2 Applied Mathematics Letters
2 Artificial Intelligence Review
2 Games and Economic Behavior
2 Linear Algebra and its Applications
2 Archive for Mathematical Logic
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Theory of Computing Systems
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Entropy
2 Logica Universalis
2 Electronic Journal of Statistics
2 Decision Analysis
2 Computer Science Review
1 Discrete Mathematics
1 International Journal of Systems Science
1 Journal of Computational Physics
1 Journal of Engineering Mathematics
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Letters in Mathematical Physics
1 Metrika
1 Psychometrika
1 Scandinavian Journal of Statistics
1 Stochastics
1 Chaos, Solitons and Fractals
1 Theory of Probability and its Applications
1 Algebra Universalis
1 The Annals of Statistics
1 BIT
1 Computing
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of the American Statistical Association
1 Journal of Mathematical Psychology
1 The Journal of Mathematical Sociology
1 Journal of Pure and Applied Algebra
1 Journal of Statistical Planning and Inference
1 Mathematische Nachrichten
1 Numerische Mathematik
1 Semigroup Forum
1 Theory and Decision
1 Trabajos de Estadistica y de Investigacion Operativa
1 Cybernetics
1 History and Philosophy of Logic
1 Mathematical and Computer Modelling
1 MSCS. Mathematical Structures in Computer Science
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 Test
1 Journal of Functional Programming
1 Journal of Computational Neuroscience
...and 20 more Serials

Citations by Year

Wikidata Timeline

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