John Alan Robinson

23 papers A* 1A 1Journal 8Unranked 11

Year	Rank	Type	Title / Venue / Authors
2001	—	`book`	Handbook of Automated Reasoning (in 2 volumes) John Alan Robinson, Andrei Voronkov
2001	J	`jnl`	Invited editorial. Theory Pract. Log. Program. John Alan Robinson
2001	—	`ch.`	Preface. Handbook of Automated Reasoning John Alan Robinson, Andrei Voronkov
2000	—	`conf`	Computational Logic: Memories of the Past and Challenges for the Future. Computational Logic John Alan Robinson
2000	—	`conf`	Proof = Guarantee + Explanation. Intellectics and Computational Logic John Alan Robinson
1997	—	`conf`	Informal Rigor and Mathematical Understanding. Kurt Gödel Colloquium John Alan Robinson
1997	A	`conf`	Novel Techniques for Visualizing Biological Information. ISMB John Alan Robinson, Tomas P. Flores
1997	—	`conf`	Unification and resolution in retrospect. JFPLC John Alan Robinson
1995	—	`conf`	Vesper. Machine Intelligence 15 John Alan Robinson, Jonas Barklund
1994	J	`jnl`	Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. J. Log. Program. John Alan Robinson
1992	J	`jnl`	Logic and Logic Programming. Commun. ACM John Alan Robinson
1992	—	`conf`	Logic, Computers, Turing, and von Neumann. Machine Intelligence 13 John Alan Robinson
1992	—	`conf`	The Role of Logic in Computer Science and Artificial Intelligence. FGCS John Alan Robinson
1991	—	`conf`	Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe John Alan Robinson
1986	—	`conf`	Is Logic Programming Enough? DS-2 John Alan Robinson
1986	A*	`conf`	Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) LICS John Alan Robinson
1986	—	`conf`	The Future of Logic Programming (Invited Paper). IFIP Congress John Alan Robinson
1984	J	`jnl`	Editor's Introduction. J. Log. Program. John Alan Robinson
1983	J	`jnl`	Logic Programming - Past, Present and Future. New Gener. Comput. John Alan Robinson
1968	—	`conf`	New directions in mechanical theorem proving. IFIP Congress (1) John Alan Robinson
1967	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. John Alan Robinson, Norman M. Martin
1965	J	`jnl`	A Machine-Oriented Logic Based on the Resolution Principle. J. ACM John Alan Robinson
1963	J	`jnl`	Theorem-Proving on the Computer. J. ACM John Alan Robinson