Description: Parallelization in Inference Systems by Bertram Fronhöfer, Graham Wrightson This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics. The main part of the book is a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming,andconnectionist inference. Appended to the book is acollection of short project summaries received in responseto a worldwide email call. The book is intended primarily for researchers working oninference systems who are interested in parallelizing theirsystems. Notes Springer Book Archives Table of Contents Potentiality of parallelism in logic.- Parallel theorem provers An overview.- Parallel unification: Theory and implementations.- Connectionist inference systems.- Implementing parallel rewriting.- Experiments with Roo, a parallel automated deduction system.- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction.- Using the Reform inference system for parallel Prolog.- Random competition: A simple, but efficient method for parallelizing inference systems.- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification.- Constraint satisfaction via partially parallel propagation steps.- A parallel theorem prover with heuristic work distribution.- Non-WAM models of logic programming and their support by novel parallel hardware.- The adam abstract dataflow machine.- Parallel computation model for parallel prolog.- Application of connectionist models to fuzzy inference systems.- CHCL — A connectionist inference system.- Project Summaries. Promotional Springer Book Archives Details ISBN3540554254 Short Title PARALLELIZATION IN INFERENCE S Language English ISBN-10 3540554254 ISBN-13 9783540554257 Media Book Format Paperback Series Number 590 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Bertram Fronhöfer Author Graham Wrightson Pages 378 Subtitle International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings Illustrations X, 378 p. DOI 10.1007/b46280;10.1007/978-3-540-47066-3;10.1007/3-540-55425-4 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1992 ed. Year 1992 Edition 1992nd Publication Date 1992-04-22 DEWEY 006.3 Audience Postgraduate, Research & Scholarly Series Lecture Notes in Artificial Intelligence We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96278481;
Price: 118.26 AUD
Location: Melbourne
End Time: 2025-02-05T06:36:32.000Z
Shipping Cost: 18.31 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540554257
Book Title: Parallelization in Inference Systems
Number of Pages: 378 Pages
Language: English
Publication Name: Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1992
Subject: Computer Science
Item Height: 235 mm
Item Weight: 1200 g
Type: Textbook
Author: Graham Wrightson, Bertram Fronhoefer
Item Width: 155 mm
Format: Paperback
