John Alan Robinson

According to our database, John Alan Robinson authored at least 22 papers between 1963 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Invited editorial.

John Alan Robinson

Theory Pract. Log. Program., 2001

Preface.

John Alan Robinson, Andrei Voronkov

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Computational Logic: Memories of the Past and Challenges for the Future.

John Alan Robinson

Proceedings of the Computational Logic, 2000

Proof = Guarantee + Explanation.

John Alan Robinson

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1997

Informal Rigor and Mathematical Understanding.

John Alan Robinson

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

Unification and resolution in retrospect.

John Alan Robinson

Proceedings of the JFPLC'97, 1997

Novel Techniques for Visualizing Biological Information.

John Alan Robinson, Tomas P. Flores

Proceedings of the 5th International Conference on Intelligent Systems for Molecular Biology, 1997

1995

Vesper.

John Alan Robinson, Jonas Barklund

Proceedings of the Machine Intelligence 15, 1995

1994

Introduction: 10th Birthday Special Issue of The Journal of Logic Programming.

John Alan Robinson

J. Log. Program., 1994

1992

Logic and Logic Programming.

John Alan Robinson

Commun. ACM, 1992

Logic, Computers, Turing, and von Neumann.

John Alan Robinson

Proceedings of the Machine Intelligence 13, 1992

The Role of Logic in Computer Science and Artificial Intelligence.

John Alan Robinson

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Formal and Informal Proofs.

John Alan Robinson

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1986

Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)

John Alan Robinson

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

The Future of Logic Programming (Invited Paper).

John Alan Robinson

Proceedings of the Information Processing 86, 1986

Is Logic Programming Enough?

John Alan Robinson

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

1984

Editor's Introduction.

John Alan Robinson

J. Log. Program., 1984

1983

Logic Programming - Past, Present and Future.

John Alan Robinson

New Gener. Comput., 1983

1968

New directions in mechanical theorem proving.

John Alan Robinson

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1967

Meeting of the Association for Symbolic Logic.

John Alan Robinson, Norman M. Martin

J. Symb. Log., 1967

1965

A Machine-Oriented Logic Based on the Resolution Principle.

John Alan Robinson

J. ACM, 1965

1963

Theorem-Proving on the Computer.

John Alan Robinson

J. ACM, 1963