Skip to main content
SpringerLink
Log in

Parallelization in Inference Systems

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

  • Conference proceedings
  • © 1992

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter 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

  4. Parallel unification: Theory and implementations

    • Fadi N. Sibai
    Pages 51-81

  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

  9. Using the Reform inference system for parallel Prolog

    • Håkan Millroth
    Pages 182-194

  10. Random competition: A simple, but efficient method for parallelizing inference systems

    • Wolfgang Ertel
    Pages 195-209

  11. Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification

    • David M. W. Powers
    Pages 210-233

  12. Constraint satisfaction via partially parallel propagation steps

    • Walter Hower
    Pages 234-242

  13. A parallel theorem prover with heuristic work distribution

    • Christian B. Suttner
    Pages 243-252

  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

  16. Parallel computation model for parallel prolog

    • Roman Blasko
    Pages 290-302

  17. Application of connectionist models to fuzzy inference systems

    • C. Touzet, N. Giambiasi
    Pages 303-317

  18. CHCL — A connectionist inference system

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

  19. Project Summaries

    Pages 343-372

  20. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation