Search the dblp DataBase
Peter J. Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Keith L. Clark, Peter J. Robinson
Agents as Multi-threaded Logical Objects. [Citation Graph (0, 0)][DBLP]
Computational Logic: Logic Programming and Beyond, 2002, pp:33-65 [Conf] - Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
CLIMA VI, 2005, pp:186-205 [Conf] - Keith L. Clark, Peter J. Robinson, Richard Hagen
Programming Internet Based DAI Applications in Qu-Prolog. [Citation Graph (0, 0)][DBLP]
DAI, 1998, pp:137-151 [Conf] - Peter J. Robinson, Michael G. Hinchey, Keith L. Clark
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. [Citation Graph (0, 0)][DBLP]
FAABS, 2002, pp:162-172 [Conf] - John Staples, Peter J. Robinson
Unification of quantified terms. [Citation Graph (0, 0)][DBLP]
Graph Reduction, 1986, pp:426-450 [Conf] - Anthony S. K. Cheng, Peter J. Robinson, John Staples
Higher Level Meta Programming in Qu-Prolog 3: 0. [Citation Graph (0, 0)][DBLP]
ICLP, 1991, pp:285-298 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
META, 1988, pp:435-452 [Conf] - Ian R. Campbell-Grant, Peter J. Robinson
An introduction to ISO DIS 8613, "Office Document Architecture, " and its application to computer graphics. [Citation Graph (0, 0)][DBLP]
Computers & Graphics, 1987, v:11, n:4, pp:325-341 [Journal] - Peter J. Robinson, Stephen M. Strasen
Standard Page Description Language. [Citation Graph (0, 0)][DBLP]
Computer Communications, 1989, v:12, n:2, pp:85-92 [Journal] - Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-Threading And Message Communication In Qu-Prolog [Citation Graph (0, 0)][DBLP]
CoRR, 2004, v:0, n:, pp:- [Journal] - John Staples, Peter J. Robinson, Daniel Hazel
A Functional Logic for Higher Level Reasoning About Computation. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1994, v:6, n:1, pp:1-38 [Journal] - Gerard Ellis, Robert Levinson, Peter J. Robinson
Managing complex objects in Peirce. [Citation Graph (0, 0)][DBLP]
Int. J. Hum.-Comput. Stud., 1994, v:41, n:1-2, pp:109-148 [Journal] - John Staples, Peter J. Robinson
Structure Sharing for Quantified Terms: Fundamentals. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1990, v:6, n:2, pp:115-145 [Journal] - John Staples, Peter J. Robinson
Efficient Unification of Quantified Terms. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1988, v:5, n:2, pp:133-149 [Journal] - Peter J. Robinson, John Staples
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1993, v:3, n:1, pp:47-61 [Journal] - Peter Nickolas, Peter J. Robinson
The Qu-Prolog Unification Algorithm: Formalisation and Correctness. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:169, n:1, pp:81-112 [Journal] - Keith L. Clark, Peter J. Robinson, Richard Hagen
Multi-threading and Message Communication in Qu-Prolog. [Citation Graph (0, 0)][DBLP]
TPLP, 2001, v:1, n:3, pp:283-301 [Journal]
A hierarchical conflict resolution method for multi-agent path planning. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002