Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Parallelization in Inference Systems

International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings

Editors:

  1. B. Fronhöfer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. G. Wrightson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

    PDF

  2. Potentiality of parallelism in logic

    • Franz Kurfeß
    Pages 1-25

  3. Parallel theorem provers An overview

    • Johann M. Ph. Schumann
    Pages 26-50

  5. Connectionist inference systems

    • Hans Werner Güsgen, Steffen Hölldobler
    Pages 82-120

  6. Implementing parallel rewriting

    • Claude Kirchner, Patrick Viry
    Pages 121-138

  7. Experiments with Roo, a parallel automated deduction system

    • Ewing L. Lusk, William W. McCune
    Pages 139-162

  8. A process algebra over the Herbrand Universe: Application to parallelism in automated deduction

    • Mounira Belmesk, Zineb Habbas, Philippe Jorrand
    Pages 163-181

  14. Non-WAM models of logic programming and their support by novel parallel hardware

    • Jiwei Wang, Andy Marsh, Simon Lavington
    Pages 253-269

  15. The adam abstract dataflow machine

    • Wolfgang Schreiner
    Pages 270-289

  18. CHCL — A connectionist inference system

    • Steffen Hölldobler, Franz Kurfeß
    Pages 318-342

  19. Project Summaries

    Pages 343-372

  20. Back Matter

    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation