Graem A. Ringwood

According to our database, Graem A. Ringwood authored at least 16 papers between 1986 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Agent-Oriented Programming, From Prolog to Guarded Definite Clauses.

Matthew M. Huntbach, Graem A. Ringwood

Lecture Notes in Computer Science 1630, Springer, ISBN: 3-540-66683-4, 1999

1998

Garbage Collecting the Internet: A Survey of Distributed Garbage Collection.

Saleh E. Abdullahi, Graem A. Ringwood

ACM Comput. Surv., 1998

1995

Programming In Concurrent Logic Languages.

Matthew M. Huntbach, Graem A. Ringwood

IEEE Softw., 1995

How Agents Do It in Stream Logic Programming.

Matthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood

Proceedings of the First International Conference on Multiagent Systems, 1995

1994

Reynold and Heyling Models of Logic Programs.

R. S. Kemp, Graem A. Ringwood

Proceedings of the ICLP 1994, 1994

1993

Distributed Databases Tied with StrIng.

Daniel Cohen, Graem A. Ringwood

Proceedings of the Advances in Databases, 11th British National Conference on Databases, 1993

1992

Collection Schemes for Distributed Garbage.

Saleh E. Abdullahi, Eliot E. Miranda, Graem A. Ringwood

Proceedings of the Memory Management, 1992

1990

An Algebraic Framework for Abstract Interpretation of Definite Programs.

R. S. Kemp, Graem A. Ringwood

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

SLD: a folk acronym?

Graem A. Ringwood

ACM SIGPLAN Notices, 1989

Predicates and pixels.

Graem A. Ringwood

New Gener. Comput., 1989

An Abstract Machine for the Implementation of PARLOG on Uniprocessors.

Steve Gregory, Ian T. Foster, Alastair D. Burt, Graem A. Ringwood

New Gener. Comput., 1989

A Comparative Exploration of Concurrent Logic Languages.

Graem A. Ringwood

Knowl. Eng. Rev., 1989

1988

<i>Automated theorem proving</i> (second revised edition) by Wolfgang Bibel, Vieweg 1987.

Graem A. Ringwood

Knowl. Eng. Rev., 1988

Metalogic machines: a retrospective rationale for the Japanese Fifth Generation.

Graem A. Ringwood

Knowl. Eng. Rev., 1988

Parlog86 and the Dining Logicans.

Graem A. Ringwood

Commun. ACM, 1988

1986

A Sequential Implementation of Parlog.

Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh

Proceedings of the Third International Conference on Logic Programming, 1986