John Alan Robinson

2001
23		John Alan Robinson, Andrei Voronkov: Handbook of Automated Reasoning (in 2 volumes) Elsevier and MIT Press 2001
22		John Alan Robinson, Andrei Voronkov: Preface. Handbook of Automated Reasoning 2001
21		John Alan Robinson: Invited editorial. TPLP 1(1): 1 (2001)
2000
20	EE	John Alan Robinson: Computational Logic: Memories of the Past and Challenges for the Future. Computational Logic 2000: 1-24
19		John Alan Robinson: Proof = Guarantee + Explanation. Intellectics and Computational Logic 2000: 277-294
1997
18		John Alan Robinson, Tomas P. Flores: Novel Techniques for Visualizing Biological Information. ISMB 1997: 241-249
17		John Alan Robinson: Unification and resolution in retrospect. JFPLC 1997: 241-
16		John Alan Robinson: Informal Rigor and Mathematical Understanding. Kurt Gödel Colloquium 1997: 54-64
1995
15		John Alan Robinson, Jonas Barklund: Vesper. Machine Intelligence 15 1995: 360-377
1994
14		John Alan Robinson: Logic, Computers, Turing, and von Neumann. Machine Intelligence 13 1994: 1-35
13		John Alan Robinson: Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. J. Log. Program. 19/20: 5-8 (1994)
1992
12		John Alan Robinson: The Role of Logic in Computer Science and Artificial Intelligence. FGCS 1992: 199-210
11		John Alan Robinson: Logic and Logic Programming. Commun. ACM 35(3): 40-65 (1992)
1991
10		John Alan Robinson: Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282
1986
9		John Alan Robinson: Is Logic Programming Enough? DS-2 1986: 307-319
8		John Alan Robinson: The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219-224
7		John Alan Robinson: Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) LICS 1986: 2
1984
6		John Alan Robinson: Editor's Introduction. J. Log. Program. 1(1): 1-2 (1984)
1983
5		John Alan Robinson: Logic Programming - Past, Present and Future. New Generation Comput. 1(2): 107-124 (1983)
1968
4		John Alan Robinson: New directions in mechanical theorem proving. IFIP Congress (1) 1968: 63-69
1967
3		John Alan Robinson, Norman M. Martin: Meeting of the Association for Symbolic Logic. J. Symb. Log. 32(3): 430 (1967)
1965
2	EE	John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41 (1965)
1963
1	EE	John Alan Robinson: Theorem-Proving on the Computer. J. ACM 10(2): 163-174 (1963)

Coauthor Index

1	Jonas Barklund	[15]
2	Tomas P. Flores	[18]
3	Norman M. Martin	[3]
4	Andrei Voronkov	[22] [23]

Colors in the list of coauthors