© 1992

Parallelization in Inference Systems

International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings

  • Editors
  • B. Fronhöfer
  • G. Wrightson
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 590)

Table of contents

  1. Front Matter
  2. Franz Kurfeß
    Pages 1-25
  3. Johann M. Ph. Schumann
    Pages 26-50
  4. Hans Werner Güsgen, Steffen Hölldobler
    Pages 82-120
  5. Claude Kirchner, Patrick Viry
    Pages 121-138
  6. Ewing L. Lusk, William W. McCune
    Pages 139-162
  7. Mounira Belmesk, Zineb Habbas, Philippe Jorrand
    Pages 163-181
  8. Jiwei Wang, Andy Marsh, Simon Lavington
    Pages 253-269
  9. Wolfgang Schreiner
    Pages 270-289
  10. Steffen Hölldobler, Franz Kurfeß
    Pages 318-342
  11. Pages 343-372
  12. Back Matter

About these proceedings


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.


Automated Reasoning Automatisches Schließen Connectionist Inference Connectionist Inferenz Inference Systems Inferenz-Systeme Parallelism Theorembeweisen (Kybern.) logic logic programming programming

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences