The SCEAS System
Navigation Menu

Search the dblp DataBase


Peter J. Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. John Staples, Peter J. Robinson
    Unification of quantified terms. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:426-450 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. A hierarchical conflict resolution method for multi-agent path planning. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002