dblp.uni-trier.dewww.uni-trier.de

Peter J. Robinson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
17EEKeith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi: Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA VI 2005: 186-205
2004
16EEKeith L. Clark, Peter J. Robinson, Richard Hagen: Multi-Threading And Message Communication In Qu-Prolog CoRR cs.PL/0404052: (2004)
2002
15EEKeith L. Clark, Peter J. Robinson: Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond 2002: 33-65
14EEPeter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172
2001
13 Keith L. Clark, Peter J. Robinson, Richard Hagen: Multi-threading and Message Communication in Qu-Prolog. TPLP 1(3): 283-301 (2001)
1998
12 Keith L. Clark, Peter J. Robinson, Richard Hagen: Programming Internet Based DAI Applications in Qu-Prolog. DAI 1998: 137-151
1996
11EEPeter Nickolas, Peter J. Robinson: The Qu-Prolog Unification Algorithm: Formalisation and Correctness. Theor. Comput. Sci. 169(1): 81-112 (1996)
1994
10 John Staples, Peter J. Robinson, Daniel Hazel: A Functional Logic for Higher Level Reasoning About Computation. Formal Asp. Comput. 6(1): 1-38 (1994)
9EEGerard Ellis, Robert Levinson, Peter J. Robinson: Managing complex objects in Peirce. Int. J. Hum.-Comput. Stud. 41(1-2): 109-148 (1994)
1993
8 Peter J. Robinson, John Staples: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. J. Log. Comput. 3(1): 47-61 (1993)
1991
7 Anthony S. K. Cheng, Peter J. Robinson, John Staples: Higher Level Meta Programming in Qu-Prolog 3: 0. ICLP 1991: 285-298
1990
6 John Staples, Peter J. Robinson: Structure Sharing for Quantified Terms: Fundamentals. J. Autom. Reasoning 6(2): 115-145 (1990)
1989
5EEPeter J. Robinson, Stephen M. Strasen: Standard Page Description Language. Computer Communications 12(2): 85-92 (1989)
1988
4 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. META 1988: 435-452
3 John Staples, Peter J. Robinson: Efficient Unification of Quantified Terms. J. Log. Program. 5(2): 133-149 (1988)
1987
2EEIan R. Campbell-Grant, Peter J. Robinson: An introduction to ISO DIS 8613, "Office Document Architecture, " and its application to computer graphics. Computers & Graphics 11(4): 325-341 (1987)
1986
1 John Staples, Peter J. Robinson: Unification of quantified terms. Graph Reduction 1986: 426-450

Coauthor Index

1Ian R. Campbell-Grant [2]
2Anthony S. K. Cheng [7]
3Keith L. Clark [12] [13] [14] [15] [16] [17]
4A. J. Craddock [4]
5Gerard Ellis [9]
6R. A. Hagen [4]
7Richard Hagen [12] [13] [16]
8Daniel Hazel [10]
9Michael G. Hinchey (Mike Hinchey) [14]
10Robert Levinson [9]
11Peter Nickolas [11]
12R. A. Paterson [4]
13John Staples [1] [3] [4] [6] [7] [8] [10]
14Stephen M. Strasen [5]
15P. C. Wallis [4]
16Silvana Zappacosta-Amboldi [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)