Peter J. Robinson

Affiliations:
  • University of Queensland, Brisbane, QLD, Australia


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Concurrent Task Programming of Robotic Agents in TeleoR.
Proceedings of the Doctoral Consortium, 2017

2015
Robotic agent programming in TeleoR.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014
Reasoning about goal-directed real-time teleo-reactive programs.
Formal Aspects Comput., 2014

2012
Server-based Internet of Things Architecture.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

2010
Pedro: a publish/subscribe server using Prolog technology.
Softw. Pract. Exp., 2010

2009
A hierarchical conflict resolution method for multi-agent path planning.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2006
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Refinement Laws for Verifying Library Subroutine Adaptation.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Agent-Based Distributed Software Verification.
Proceedings of the Computer Science 2005, 2005

2004
Flexible Proof Reuse for Software Verification.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Combating Infinite State Using Ergo.
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.
LMS J. Comput. Math., 2002

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Agents as Multi-threaded Logical Objects.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Multi-threading and Message Communication in Qu-Prolog.
Theory Pract. Log. Program., 2001

1998
Programming Internet Based DAI Applications in Qu-Prolog.
Proceedings of the Multi-Agent Systems: Theories, 1998

1996
The Qu-Prolog Unification Algorithm: Formalisation and Correctness.
Theor. Comput. Sci., 1996

1994
Managing complex objects in Peirce.
Int. J. Hum. Comput. Stud., 1994

A Functional Logic for Higher Level Reasoning About Computation.
Formal Aspects Comput., 1994

Theorem Proving Applications for QU-Prolog.
Proceedings of the ICLP 1994, 1994

1993
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning.
J. Log. Comput., 1993

1991
Higher Level Meta Programming in Qu-Prolog 3: 0.
Proceedings of the Logic Programming, 1991

1990
Structure Sharing for Quantified Terms: Fundamentals.
J. Autom. Reason., 1990

1988
Efficient Unification of Quantified Terms.
J. Log. Program., 1988

Qu-Prolog: An Extended Prolog for Meta Level Programming.
Proceedings of the Meta-Programming in Logic Programming, 1988

1986
Unification of quantified terms.
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.
J. Comb. Theory B, 1981


  Loading...