×

Robinson, John Alan

Compute Distance To:
Author ID: robinson.john-alan Recent zbMATH articles by "Robinson, John Alan"
Published as: Robinson, J. A.; Robinson, John Alan
External Links: Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 701 times in 612 Documents Cited by Year
A machine-oriented logic based on the resolution principle. Zbl 0139.12303
Robinson, J. A.
511
1965
Automata deduction with hyper-resolution. Zbl 0158.26003
Robinson, J. A.
55
1965
Handbook of logic in artificial intelligence and logic programming. Vol. 3: Nonmonotonic reasoning and uncertain reasoning. Zbl 0804.03017
28
1994
Theorem-proving on the computer. Zbl 0109.35603
Robinson, J. A.
17
1963
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
A review of automatic theorem-proving. Zbl 0174.29202
Robinson, J. A.
13
1967
The generalized resolution principle. Zbl 0195.31102
Robinson, J. A.
13
1968
Mechanizing higher-order logic. Zbl 0228.68025
Robinson, J. A.
11
1969
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
Proof = guarantee + explanation. Zbl 1001.03051
Robinson, J. A.
4
2000
A machine-oriented logic bases on the resolution principle. Zbl 0214.02501
Robinson, J. A.
4
1970
Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027
4
1993
Handbook of logic in artificial intelligence and logic programming. Vol. 4: Epistemic and temporal reasoning. Zbl 0819.03010
3
1995
Beyond LOGLISP: Combining functional and relational programming in a reduction setting. Zbl 0770.68040
Robinson, J. A.
2
1988
Estimating mean cumulative functions from truncated automotive warranty data. Zbl 1082.62089
Chukova, S.; Robinson, J.
2
2005
On automatic deduction. Zbl 0171.15207
Robinson, J. A.
2
1964
An overview of mechanical theorem proving. Zbl 0195.03001
Robinson, J. A.
2
1970
New directions in mechanical theorem proving. Zbl 0213.02403
Robinson, J. A.
2
1969
Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Zbl 0889.03001
2
1998
Computational logic: Memories of the past and challenges for the future. Zbl 0983.03022
Robinson, John Alan
1
2000
Artificial intelligence and heuristic programming. Proceedings of NATO Advanced Study Institute, Menaggio, Italy. Zbl 0221.68050
1
1971
A note on mechanizing higher order logic. Zbl 0221.68053
Robinson, J. A.
1
1969
Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. Zbl 0810.68005
1
1994
Informal rigor and mathematical understanding. Zbl 0886.03002
Robinson, J. A.
1
1997
Estimating mean cumulative functions from truncated automotive warranty data. Zbl 1082.62089
Chukova, S.; Robinson, J.
2
2005
Proof = guarantee + explanation. Zbl 1001.03051
Robinson, J. A.
4
2000
Computational logic: Memories of the past and challenges for the future. Zbl 0983.03022
Robinson, John Alan
1
2000
Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Zbl 0889.03001
2
1998
Informal rigor and mathematical understanding. Zbl 0886.03002
Robinson, J. A.
1
1997
Handbook of logic in artificial intelligence and logic programming. Vol. 4: Epistemic and temporal reasoning. Zbl 0819.03010
3
1995
Handbook of logic in artificial intelligence and logic programming. Vol. 3: Nonmonotonic reasoning and uncertain reasoning. Zbl 0804.03017
28
1994
Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. Zbl 0810.68005
1
1994
Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027
4
1993
Beyond LOGLISP: Combining functional and relational programming in a reduction setting. Zbl 0770.68040
Robinson, J. A.
2
1988
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
Artificial intelligence and heuristic programming. Proceedings of NATO Advanced Study Institute, Menaggio, Italy. Zbl 0221.68050
1
1971
A machine-oriented logic bases on the resolution principle. Zbl 0214.02501
Robinson, J. A.
4
1970
An overview of mechanical theorem proving. Zbl 0195.03001
Robinson, J. A.
2
1970
Mechanizing higher-order logic. Zbl 0228.68025
Robinson, J. A.
11
1969
New directions in mechanical theorem proving. Zbl 0213.02403
Robinson, J. A.
2
1969
A note on mechanizing higher order logic. Zbl 0221.68053
Robinson, J. A.
1
1969
The generalized resolution principle. Zbl 0195.31102
Robinson, J. A.
13
1968
A review of automatic theorem-proving. Zbl 0174.29202
Robinson, J. A.
13
1967
A machine-oriented logic based on the resolution principle. Zbl 0139.12303
Robinson, J. A.
511
1965
Automata deduction with hyper-resolution. Zbl 0158.26003
Robinson, J. A.
55
1965
On automatic deduction. Zbl 0171.15207
Robinson, J. A.
2
1964
Theorem-proving on the computer. Zbl 0109.35603
Robinson, J. A.
17
1963
all top 5

Cited by 814 Authors

12 Plaisted, David Alan
11 Xu, Yang
9 Liu, Jun
8 Beyersdorff, Olaf
8 Subramani, Krishnan
7 Wos, Larry
6 Baaz, Matthias
6 Peltier, Nicolas
6 Schmidt-Schauß, Manfred
6 Siekmann, Jörg H.
6 Wojciechowski, Piotr J.
5 Bonacina, Maria Paola
5 Minker, Jack
5 Ruan, Da
4 Baumgartner, Peter
4 Bentkamp, Alexander
4 Blanchette, Jasmin Christian
4 Dixon, Clare
4 Fariñas del Cerro, Luis
4 Furbach, Ulrich
4 Hanus, Michael
4 He, Xingxing
4 Huet, Gerard P.
4 Hunter, Anthony
4 Hustadt, Ullrich
4 Kleine Büning, Hans
4 Leitsch, Alexander
4 Matiyasevich, Yuriĭ Vladimirovich
4 Schmidt, Renate A.
4 Tourret, Sophie
4 Weidenbach, Christoph
3 Alves, Sandra
3 Andrews, Peter B.
3 Anellis, Irving H.
3 Antoy, Sergio
3 Brüning, Stefan
3 Bürckert, Hans Jürgen
3 Chen, Shuwei
3 Coquand, Thierry
3 de Nivelle, Hans
3 Fages, François
3 Farmer, William M.
3 Gabbay, Dov M.
3 Galesi, Nicola
3 Hooker, John N. jun.
3 Kalman, John Arnold
3 Kreitz, Christoph
3 Lauria, Massimo
3 Lynch, Christopher A.
3 Mairson, Harry George
3 Małuszyński, Jan
3 Nalon, Cláudia
3 Nipkow, Tobias
3 Nordström, Jakob
3 Otten, Jens
3 Paulson, Lawrence Charles
3 Pichler, Reinhard
3 Pym, David J.
3 Razborov, Aleksandr Aleksandrovich
3 Ronchi Della Rocca, Simona
3 Smolka, Gert
3 Tammet, Tanel
3 Tinelli, Cesare
3 van Benthem, Johan F. A. K.
3 Vukmirović, Petar
3 Waldmann, Uwe
3 Zamov, Nail Kalimatovitch
3 Zhong, Xiaomei
2 Aït-Kaci, Hassan
2 Almulla, Mohammed
2 Armando, Alessandro
2 Aubert, Clément
2 Baader, Franz
2 Bagnol, Marc
2 Barker-Plummer, Dave
2 Bashmakov, Stepan Igorevich
2 Beierle, Christoph
2 Bellia, Marco
2 Besnard, Philippe
2 Bibel, Wolfgang
2 Bloch, Isabelle
2 Bonacina, Ilario
2 Boudet, Alexandre
2 Bronsard, Francois
2 Bunder, Martin W.
2 Burel, Guillaume
2 Casas, Rafael
2 Cavagnetto, Stefano
2 Cialdea Mayer, Marta
2 Davydov, G. V.
2 de Moura, Leonardo
2 Delahaye, Jean-Paul
2 Dubois, Didier
2 Efstathiou, Vasiliki
2 Fernández, Maribel
2 Fischer Nilsson, Jørgen
2 Fishman, Daniel H.
2 Florido, Mário
2 Fouks, Jean-Denis
2 Franco, John V.
...and 714 more Authors
all top 5

Cited in 105 Serials

66 Theoretical Computer Science
54 Journal of Automated Reasoning
45 Artificial Intelligence
37 Journal of Symbolic Computation
19 Annals of Mathematics and Artificial Intelligence
15 Information Sciences
14 Information Processing Letters
13 Studia Logica
11 Information and Computation
10 Journal of Functional Programming
9 New Generation Computing
8 Discrete Applied Mathematics
8 Fuzzy Sets and Systems
8 Journal of Applied Non-Classical Logics
7 Journal of Soviet Mathematics
7 The Journal of Symbolic Logic
7 Annals of Pure and Applied Logic
7 Formal Aspects of Computing
7 Logica Universalis
6 Acta Informatica
6 International Journal of Computer & Information Sciences
6 International Journal of Approximate Reasoning
5 Cybernetics
5 Journal of Computer Science and Technology
5 International Journal of Intelligent Systems
5 MSCS. Mathematical Structures in Computer Science
5 Theory and Practice of Logic Programming
4 Computers & Mathematics with Applications
4 Journal of Computer and System Sciences
4 Journal of Philosophical Logic
4 Formal Methods in System Design
4 Journal of Applied Logic
3 SIAM Journal on Computing
3 Machine Learning
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 RAIRO. Informatique Théorique et Applications
3 Cybernetics and Systems Analysis
3 Journal of Logic, Language and Information
3 Soft Computing
3 Logical Methods in Computer Science
3 The Review of Symbolic Logic
2 Algebra Universalis
2 BIT
2 Computing
2 Kybernetika
2 Notre Dame Journal of Formal Logic
2 RAIRO, Informatique Théorique
2 Siberian Mathematical Journal
2 Annals of Operations Research
2 European Journal of Operational Research
2 International Journal of Computer Mathematics
2 Journal of Mathematical Sciences (New York)
2 Constraints
2 Higher-Order and Symbolic Computation
1 Journal of the Franklin Institute
1 Letters in Mathematical Physics
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 The Mathematical Intelligencer
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Applied Mathematics and Computation
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Calcolo
1 Journal of Mathematical Economics
1 Linguistics and Philosophy
1 Mathematische Nachrichten
1 Proceedings of the American Mathematical Society
1 Programming and Computer Software
1 Cybernetics and Systems
1 Operations Research Letters
1 History and Philosophy of Logic
1 Algorithmica
1 Computers & Operations Research
1 Journal of Economic Dynamics & Control
1 Applied Mathematics Letters
1 International Journal of Foundations of Computer Science
1 Discrete Mathematics and Applications
1 Artificial Intelligence Review
1 Archive for Mathematical Logic
1 Mathematical Programming. Series A. Series B
1 Applicable Algebra in Engineering, Communication and Computing
1 Vestnik St. Petersburg University. Mathematics
1 Computational Complexity
1 Computational Economics
1 Mathematical Logic Quarterly (MLQ)
1 Journal of the ACM
1 Erkenntnis
1 Computer Languages, Systems & Structures
1 Journal of Intelligent and Fuzzy Systems
1 4OR
1 Iranian Journal of Fuzzy Systems
1 Journal of Shanghai Jiaotong University (Science)
1 Proceedings of the Japan Academy
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Proceedings of the Steklov Institute of Mathematics
1 Electronic Notes in Theoretical Computer Science
1 International Journal of Intelligent Computing and Cybernetics
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Nonlinear Analysis. Theory, Methods & Applications
1 Journal of Logical and Algebraic Methods in Programming
...and 5 more Serials

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.