• Publications
  • Influence
How Agents Do It in Stream Logic Programming
TLDR
The key factor that will determine the speed and depth to which multi-agent systems penetrate the commercial marketplace is the ease with which applications can be developed. Expand
  • 13
  • 2
  • PDF
Speculative Computation and Priorities in Concurrent Logic Languages
TLDR
Speculative computation is a technique which enables us to obtain extra amounts of parallelism from a problem by executing computations which may only possibly be required (we “speculate” that they will be required). Expand
  • 6
  • 1
Features of the concurrent programming language Aldwych
This paper describes a concurrent programming language, Aldwych. The language has a simple operational model where any variable has exactly one process that can write to it but any number that canExpand
  • 4
  • 1
Notes on Semantic Nets and Frames Semantic Nets
Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E1 4NS. Email: mmh@dcs.qmw.ac.uk . Notes may be used with the permission of theExpand
  • 3
  • 1
  • PDF
Virtual Tree Machines
TLDR
A virtual tree machine consists of a fixed finite network of processors together with a suitable algorithm for deciding when and where to solve each subproblem. Expand
  • 36
Algorithmic PARLOG Debugging
  • 17
An Improvised Version of Shapiro's Model Inference System
TLDR
We discuss the Model Inference System of E.Y.Shapiro, giving particular attention to the refinement operator which is used during the synthesis of new Prolog clauses. Expand
  • 8
Alpha-beta search on virtual tree machines
TLDR
We present an algorithm for deciding where and when to solve subproblems on a fixed finite network of processors, suitable for search of ordered game trees. Expand
  • 8