Previous: TR 91-01 Next: TR 91-04

Intellektik: Technical report 91-02

A Pool-Based Connection Calculus

Gerd Neugebauer and Torsten Schaub

This paper uses the pool concept to build a powerful connection calculus. The calculus consists of a few simple rules which provide an elegant logical description of the underlying methodology. The simplicity of the calculus allows a short implementation time. An open design leads to an enormous strategic flexibility. The use of dynamic heuristics, easy subgoal reordering, and parallelism involving a shared memory model are some of its features. The extremely short implementation and modification time makes it perfectly suitable as a test bed for heuristics.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry