Peter J. Robinson

According to our database, Peter J. Robinson authored at least 28 papers between 1981 and 2017.

Collaborative distances:

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

2017

Concurrent Task Programming of Robotic Agents in TeleoR.

Keith L. Clark, Peter J. Robinson

Proceedings of the Doctoral Consortium, 2017

2015

Robotic agent programming in TeleoR.

Keith L. Clark, Peter J. Robinson

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

Reasoning about goal-directed real-time teleo-reactive programs.

Brijesh Dongol, Ian J. Hayes, Peter J. Robinson

Formal Aspects Comput., 2014

2012

Server-based Internet of Things Architecture.

Neil W. Bergmann, Peter J. Robinson

Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

2010

Pedro: a publish/subscribe server using Prolog technology.

Peter J. Robinson, Keith L. Clark

Softw. Pract. Exp., 2010

2009

A hierarchical conflict resolution method for multi-agent path planning.

Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2006

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

Proceedings of the FM 2006: Formal Methods, 2006

2005

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).

Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Refinement Laws for Verifying Library Subroutine Adaptation.

Colin J. Fidge, Peter J. Robinson, Steve Dunne

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Agent-Based Distributed Software Verification.

Chris Hunter, Peter J. Robinson, Paul A. Strooper

Proceedings of the Computer Science 2005, 2005

2004

Flexible Proof Reuse for Software Verification.

Chris Hunter, Peter J. Robinson, Paul A. Strooper

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Combating Infinite State Using Ergo.

Peter J. Robinson, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology.

Mark Utting, Peter J. Robinson, Ray Nickson

LMS J. Comput. Math., 2002

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.

Peter J. Robinson, Michael G. Hinchey, Keith L. Clark

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Agents as Multi-threaded Logical Objects.

Keith L. Clark, Peter J. Robinson

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Multi-threading and Message Communication in Qu-Prolog.

Keith L. Clark, Peter J. Robinson, Richard Hagen

Theory Pract. Log. Program., 2001

1998

Programming Internet Based DAI Applications in Qu-Prolog.

Keith L. Clark, Peter J. Robinson, Richard Hagen

Proceedings of the Multi-Agent Systems: Theories, 1998

1996

The Qu-Prolog Unification Algorithm: Formalisation and Correctness.

Peter Nickolas, Peter J. Robinson

Theor. Comput. Sci., 1996

1994

Managing complex objects in Peirce.

Gerard Ellis, Robert Levinson, Peter J. Robinson

Int. J. Hum. Comput. Stud., 1994

A Functional Logic for Higher Level Reasoning About Computation.

John Staples, Peter J. Robinson, Daniel Hazel

Formal Aspects Comput., 1994

Theorem Proving Applications for QU-Prolog.

Peter J. Robinson, John Staples, Anthony S. K. Cheng

Proceedings of the ICLP 1994, 1994

1993

Formalizing a Hierarchical Structure of Practical Mathematical Reasoning.

Peter J. Robinson, John Staples

J. Log. Comput., 1993

1991

Higher Level Meta Programming in Qu-Prolog 3: 0.

Anthony S. K. Cheng, Peter J. Robinson, John Staples

Proceedings of the Logic Programming, 1991

1990

Structure Sharing for Quantified Terms: Fundamentals.

John Staples, Peter J. Robinson

J. Autom. Reason., 1990

1988

Efficient Unification of Quantified Terms.

John Staples, Peter J. Robinson

J. Log. Program., 1988

Qu-Prolog: An Extended Prolog for Meta Level Programming.

John Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis

Proceedings of the Meta-Programming in Logic Programming, 1988

1986

Unification of quantified terms.

John Staples, Peter J. Robinson

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1981

A result on Hamiltonian cycles in generalized Petersen graphs.

Brian Alspach, Peter J. Robinson, Moshe Rosenfeld

J. Comb. Theory, Ser. B, 1981