Matthew M. Huntbach

Publications36
h-index8
Citations195
Highly Influential Citations5
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • Ehud Shapiro
  • 190 Publications, 11,359 Citations
  • K. Ueda
  • 138 Publications, 1,281 Citations
  • G. A. Ringwood
  • 27 Publications, 310 Citations
  • F. Burton
  • 69 Publications, 1,064 Citations
  • 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 can… Expand
  • 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 the… Expand
  • 3
  • 1
  • PDF
Multiple Generation Text Files Using Overlapping Tree Structures
  • 29
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
The Art in Artificial Intelligence
  • 21
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