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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-55425-4
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55425-7
  • Online ISBN 978-3-540-47066-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349