Peter J. Robinson

Publication Activity (10 Years)

Years Active: 1981-2017
Publications (10 Years): 2

Top Topics

Mutual Exclusion

Object Oriented Programming

Top Venues

Formal Aspects Comput.

RuleML+RR (Supplement)

Publications

Keith L. Clark, Peter J. Robinson
Concurrent Task Programming of Robotic Agents in TeleoR. RuleML+RR (Supplement) (2017)
Keith L. Clark, Peter J. Robinson
Robotic agent programming in TeleoR. ICRA (2015)
Brijesh Dongol, Ian J. Hayes, Peter J. Robinson
Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects Comput. 26 (3) (2014)
Neil W. Bergmann, Peter J. Robinson
Server-based Internet of Things Architecture. CCNC (2012)
Peter J. Robinson, Keith L. Clark
Pedro: a publish/subscribe server using Prolog technology. Softw. Pract. Exp. 40 (4) (2010)
Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass
A hierarchical conflict resolution method for multi-agent path planning. IEEE Congress on Evolutionary Computation (2009)
Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM (2006)
Colin J. Fidge, Peter J. Robinson, Steve Dunne
Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference (2005)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Agent-Based Distributed Software Verification. ACSC (2005)
Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA (2005)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Flexible Proof Reuse for Software Verification. AMAST (2004)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-Threading And Message Communication In Qu-Prolog CoRR (2004)
Peter J. Robinson, Carron Shankland
Combating Infinite State Using Ergo. FORTE (2003)
Mark Utting, Peter J. Robinson, Ray Nickson
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. LMS J. Comput. Math. 5 (2002)
Peter J. Robinson, Michael G. Hinchey, Keith L. Clark
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS (2002)
Keith L. Clark, Peter J. Robinson
Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond (2002)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-threading and Message Communication in Qu-Prolog. Theory Pract. Log. Program. 1 (3) (2001)
Keith L. Clark, Peter J. Robinson, Richard Hagen
Programming Internet Based DAI Applications in Qu-Prolog. DAI (1998)
Peter Nickolas, Peter J. Robinson
The Qu-Prolog Unification Algorithm: Formalisation and Correctness. Theor. Comput. Sci. 169 (1) (1996)
John Staples, Peter J. Robinson, Daniel Hazel
A Functional Logic for Higher Level Reasoning About Computation. Formal Aspects Comput. 6 (1) (1994)
Gerard Ellis, Robert Levinson, Peter J. Robinson
Managing complex objects in Peirce. Int. J. Hum. Comput. Stud. 41 (1-2) (1994)
Peter J. Robinson, John Staples, Anthony S. K. Cheng
Theorem Proving Applications for QU-Prolog. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Peter J. Robinson, John Staples
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. J. Log. Comput. 3 (1) (1993)
Anthony S. K. Cheng, Peter J. Robinson, John Staples
Higher Level Meta Programming in Qu-Prolog 3: 0. ICLP (1991)
John Staples, Peter J. Robinson
Structure Sharing for Quantified Terms: Fundamentals. J. Autom. Reason. 6 (2) (1990)
John Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis
Qu-Prolog: An Extended Prolog for Meta Level Programming. META (1988)
John Staples, Peter J. Robinson
Efficient Unification of Quantified Terms. J. Log. Program. 5 (2) (1988)
John Staples, Peter J. Robinson
Unification of quantified terms. Graph Reduction (1986)
Brian Alspach, Peter J. Robinson, Moshe Rosenfeld
A result on Hamiltonian cycles in generalized Petersen graphs. J. Comb. Theory, Ser. B 31 (2) (1981)