Peter J. Robinson

29 papers A* 1B 3C 1Journal 12Unranked 12

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