Parallelization in Inference Systems

This volume contains the proceedings of an international
workshop on            parallelism in inference systems held in Germany
in December 1990. The topicof the workshop is still rather
young and several papers in the book are      overview articles
intended to provide a first orientation toward some of      the
more intensively investigated subtopics.
The main part of the book   is a compilation of research
papers on parallelization in special domains ofinference
such as rewriting, automatic reasoning, logic programming,
andconnectionist inference. Appended to the book is a
collection of short         project summaries received in response
to a worldwide email call.
The   book is intended primarily for researchers working on
inference systems who are interested in parallelizing their
systems.