John Alan Robinson
Herbrand Award
https://dl.acm.org/profile/81100189178
https://zbmath.org/authors/?q=ai:robinson.john-alan
https://en.wikipedia.org/wiki/John_Alan_Robinson
https://www.wikidata.org/entity/Q327981
http://isni.org/isni/0000000118276564
https://viaf.org/viaf/77241917
https://id.loc.gov/authorities/names/n79050611
https://d-nb.info/gnd/124196306
John Alan Robinson
Invited editorial.
1
2001
1
Theory Pract. Log. Program.
1
db/journals/tplp/tplp1.html#Robinson01
http://journals.cambridge.org/action/displayAbstract?aid=71134
John Alan Robinson
Andrei Voronkov
Preface.
v-vii
2001
books/el/RobinsonV01
Handbook of Automated Reasoning
db/books/collections/RobinsonV01.html#RobinsonV01
https://doi.org/10.1016/B978-044450813-3/50000-X
John Alan Robinson
Andrei Voronkov
Handbook of Automated Reasoning (in 2 volumes)
Elsevier and MIT Press
2001
0-444-50813-9
0-262-18223-8
db/books/collections/RobinsonV01.html
https://www.sciencedirect.com/book/9780444508133/handbook-of-automated-reasoning
John Alan Robinson
Proof = Guarantee + Explanation.
277-294
2000
conf/birthday/Bibel2000
Intellectics and Computational Logic
db/conf/birthday/bibel2000.html#Robinson00
John Alan Robinson
Computational Logic: Memories of the Past and Challenges for the Future.
1-24
https://doi.org/10.1007/3-540-44957-4_1
2000
conf/cl/2000
Computational Logic
db/conf/cl/cl2000.html#Robinson00
John Alan Robinson
Tomas P. Flores
Novel Techniques for Visualizing Biological Information.
241-249
1997
conf/ismb/1997
ISMB
db/conf/ismb/ismb1997.html#RobinsonF97
http://www.aaai.org/Library/ISMB/1997/ismb97-037.php
John Alan Robinson
Unification and resolution in retrospect.
241-
1997
conf/jfplc/1997
JFPLC
db/conf/jfplc/jfplc1997.html#Robinson97
John Alan Robinson
Informal Rigor and Mathematical Understanding.
54-64
1997
conf/kgc/1997
Kurt Gödel Colloquium
db/conf/kgc/kgc97.html#Robinson97
https://doi.org/10.1007/3-540-63385-5_32
John Alan Robinson
Jonas Barklund
Vesper.
360-377
1995
conf/mi/1995
Machine Intelligence 15
db/conf/mi/mi1995.html#RobinsonB95
John Alan Robinson
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming.
5-8
1994
19/20
J. Log. Program.
db/journals/jlp/jlp19.html#Robinson94
https://doi.org/10.1016/0743-1066(94)90023-X
John Alan Robinson
Logic and Logic Programming.
40-65
1992
35
Commun. ACM
3
db/journals/cacm/cacm35.html#Robinson92
https://doi.org/10.1145/131295.131296
John Alan Robinson
The Role of Logic in Computer Science and Artificial Intelligence.
199-210
1992
conf/fgcs/1992
FGCS
db/conf/fgcs/fgcs92.html#Robinson92
John Alan Robinson
Logic, Computers, Turing, and von Neumann.
1-35
1992
conf/mi/1992
Machine Intelligence 13
db/conf/mi/mi1994.html#Robinson94
John Alan Robinson
Formal and Informal Proofs.
267-282
1991
conf/birthday/1991bledsoe
Automated Reasoning: Essays in Honor of Woody Bledsoe
db/conf/birthday/bledsoe1991.html#Robinson91
John Alan Robinson
Is Logic Programming Enough?
307-319
1986
conf/ds/86
DS-2
db/conf/ds/ds86.html#Robinson86
John Alan Robinson
The Future of Logic Programming (Invited Paper).
219-224
1986
conf/ifip/1986
IFIP Congress
db/conf/ifip/ifip86.html#Robinson86
John Alan Robinson
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)
2
conf/lics/1986
1986
LICS
db/conf/lics/lics86.html#Robinson86
John Alan Robinson
Editor's Introduction.
1-2
1984
1
J. Log. Program.
1
db/journals/jlp/jlp1.html#Robinson84
https://doi.org/10.1016/0743-1066(84)90019-0
John Alan Robinson
Logic Programming - Past, Present and Future.
107-124
1983
1
New Gener. Comput.
2
db/journals/ngc/ngc1.html#Robinson83
https://doi.org/10.1007/BF03037419
John Alan Robinson
New directions in mechanical theorem proving.
63-69
1968
conf/ifip/1968-1
IFIP Congress (1)
db/conf/ifip/ifip1968-1.html#Robinson68
John Alan Robinson
Norman M. Martin
Meeting of the Association for Symbolic Logic.
430
1967
32
J. Symb. Log.
3
db/journals/jsyml/jsyml32.html#RobinsonM67
https://doi.org/10.2307/2270848
http://projecteuclid.org/euclid.jsl/1183736005
John Alan Robinson
A Machine-Oriented Logic Based on the Resolution Principle.
23-41
1965
12
J. ACM
1
https://doi.org/10.1145/321250.321253
https://www.wikidata.org/entity/Q55880673
db/journals/jacm/jacm12.html#Robinson65
JACM/12/P0023.pdf
John Alan Robinson
Theorem-Proving on the Computer.
163-174
1963
10
J. ACM
2
https://doi.org/10.1145/321160.321166
db/journals/jacm/jacm10.html#Robinson63
Jonas Barklund
Tomas P. Flores
Norman M. Martin
Andrei Voronkov