A result on Hamiltonian cycles in generalized Petersen graphs. - Brian Alspach; Peter J. Robinson 001; Moshe Rosenfeld 001 (J. Comb. Theory B, 1981)

Unification of quantified terms. - John Staples; Peter J. Robinson 001 (Graph Reduction, 1986)

Qu-Prolog: An Extended Prolog for Meta Level Programming. - John Staples; Peter J. Robinson 001; R. A. Paterson; R. A. Hagen; A. J. Craddock; P. C. Wallis (META, 1988)

Efficient Unification of Quantified Terms. - John Staples; Peter J. Robinson 001 (J. Log. Program., 1988)

Structure Sharing for Quantified Terms: Fundamentals. - John Staples; Peter J. Robinson 001 (J. Autom. Reason., 1990)

Higher Level Meta Programming in Qu-Prolog 3: 0. - Anthony S. K. Cheng; Peter J. Robinson 001; John Staples (ICLP, 1991)

Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. - Peter J. Robinson 001; John Staples (J. Log. Comput., 1993)

Theorem Proving Applications for QU-Prolog. - Peter J. Robinson 001; John Staples; Anthony S. K. Cheng (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

A Functional Logic for Higher Level Reasoning About Computation. - John Staples; Peter J. Robinson 001; Daniel Hazel (Formal Aspects Comput., 1994)

Managing complex objects in Peirce. - Gerard Ellis; Robert Levinson; Peter J. Robinson 001 (Int. J. Hum. Comput. Stud., 1994)

The Qu-Prolog Unification Algorithm: Formalisation and Correctness. - Peter Nickolas; Peter J. Robinson 001 (Theor. Comput. Sci., 1996)

Programming Internet Based DAI Applications in Qu-Prolog. - Keith L. Clark; Peter J. Robinson 001; Richard Hagen (DAI, 1998)

Multi-threading and Message Communication in Qu-Prolog. - Keith L. Clark; Peter J. Robinson 001; Richard Hagen (Theory Pract. Log. Program., 2001)

Agents as Multi-threaded Logical Objects. - Keith L. Clark; Peter J. Robinson 001 (Computational Logic: Logic Programming and Beyond, 2002)

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. - Peter J. Robinson 001; Michael G. Hinchey; Keith L. Clark (FAABS, 2002)

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. - Mark Utting; Peter J. Robinson 001; Ray Nickson (LMS J. Comput. Math., 2002)

Combating Infinite State Using Ergo. - Peter J. Robinson 001; Carron Shankland (FORTE, 2003)

Flexible Proof Reuse for Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (AMAST, 2004)

Agent-Based Distributed Software Verification. - Chris Hunter; Peter J. Robinson 001; Paul A. Strooper (ACSC, 2005)

Refinement Laws for Verifying Library Subroutine Adaptation. - Colin J. Fidge; Peter J. Robinson 001; Steve Dunne (Australian Software Engineering Conference, 2005)

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). - Keith L. Clark; Peter J. Robinson 001; Silvana Zappacosta-Amboldi (CLIMA, 2005)

Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. - Wendy Johnston; Kirsten Winter; Lionel van den Berg; Paul A. Strooper; Peter J. Robinson 001 (FM, 2006)

A hierarchical conflict resolution method for multi-agent path planning. - Kuang-Yuan Chen; Peter A. Lindsay; Peter J. Robinson 001; Hussein A. Abbass (IEEE Congress on Evolutionary Computation, 2009)

Pedro: a publish/subscribe server using Prolog technology. - Peter J. Robinson 001; Keith L. Clark (Softw. Pract. Exp., 2010)

Server-based Internet of Things Architecture. - Neil W. Bergmann; Peter J. Robinson 001 (CCNC, 2012)

Reasoning about goal-directed real-time teleo-reactive programs. - Brijesh Dongol; Ian J. Hayes; Peter J. Robinson 001 (Formal Aspects Comput., 2014)

Robotic agent programming in TeleoR. - Keith L. Clark; Peter J. Robinson 001 (ICRA, 2015)

Concurrent Task Programming of Robotic Agents in TeleoR. - Keith L. Clark; Peter J. Robinson 001 (RuleML+RR (Supplement), 2017)