Peter J. Robinson

2005
17	EE	Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi: Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA VI 2005: 186-205
2004
16	EE	Keith L. Clark, Peter J. Robinson, Richard Hagen: Multi-Threading And Message Communication In Qu-Prolog CoRR cs.PL/0404052: (2004)
2002
15	EE	Keith L. Clark, Peter J. Robinson: Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond 2002: 33-65
14	EE	Peter 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
11	EE	Peter 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)
9	EE	Gerard 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
5	EE	Peter 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
2	EE	Ian 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

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

Colors in the list of coauthors