Peter J. Robinson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2014

Reasoning about goal-directed real-time teleo-reactive programsBrijesh Dongol, Ian J. Hayes, Peter J. Robinson. fac, 26(3):563-589, 2014. [doi]

2012

Server-based Internet of Things ArchitectureNeil W. Bergmann, Peter J. Robinson. ccnc 2012: 360-361 [doi]

2010

Pedro: a publish/subscribe server using Prolog technologyPeter J. Robinson, Keith L. Clark. SPE, 40(4):313-329, 2010. [doi]

2009

A hierarchical conflict resolution method for multi-agent path planningKuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass. cec 2009: 1169-1176 [doi]

2005

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper)Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi. clima 2006: 186-205 [doi]

2002

Agents as Multi-threaded Logical ObjectsKeith L. Clark, Peter J. Robinson. BIRTHDAY 2002: 33-65 [doi]

Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning CapabilitiesPeter J. Robinson, Michael G. Hinchey, Keith L. Clark. faabs 2003: 162-172 [doi]

2001

Multi-threading and Message Communication in Qu-PrologKeith L. Clark, Peter J. Robinson, Richard Hagen. tplp, 1(3):283-301, 2001.

1998

Programming Internet Based DAI Applications in Qu-PrologKeith L. Clark, Peter J. Robinson, Richard Hagen. dai 1998: 137-151

1996

The Qu-Prolog Unification Algorithm: Formalisation and CorrectnessPeter Nickolas, Peter J. Robinson. TCS, 169(1):81-112, 1996. [doi]

1994

Managing complex objects in PeirceGerard Ellis, Robert Levinson, Peter J. Robinson. ijmms, 41(1-2):109-148, 1994. [doi]

Theorem Proving Applications for QU-PrologPeter J. Robinson, John Staples, Anthony S. K. Cheng. ICLP 1994:

A Functional Logic for Higher Level Reasoning About ComputationJohn Staples, Peter J. Robinson, Daniel Hazel. fac, 6(1):1-38, 1994.

1993

Formalizing a Hierarchical Structure of Practical Mathematical ReasoningPeter J. Robinson, John Staples. logcom, 3(1):47-61, 1993.

1991

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

1990

Structure Sharing for Quantified Terms: FundamentalsJohn Staples, Peter J. Robinson. JAR, 6(2):115-145, 1990.

1989

Standard Page Description LanguagePeter J. Robinson, Stephen M. Strasen. comcom, 12(2):85-92, 1989. [doi]

1988

Qu-Prolog: An Extended Prolog for Meta Level ProgrammingJohn Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis. meta 1988: 435-452

Efficient Unification of Quantified TermsJohn Staples, Peter J. Robinson. jlp, 5(2):133-149, 1988.

1987

An introduction to ISO DIS 8613, Office Document Architecture, and its application to computer graphicsIan R. Campbell-Grant, Peter J. Robinson. cg, 11(4):325-341, 1987. [doi]

1986

Unification of quantified termsJohn Staples, Peter J. Robinson. gr 1987: 426-450

1981

A result on Hamiltonian cycles in generalized Petersen graphsBrian Alspach, Peter J. Robinson, Moshe Rosenfeld. jctb, 31(2):225-231, 1981. [doi]

Sign in or sign up to see more results.

runs on WebDSL