000 03748nam a22005175i 4500
001 978-3-540-47066-3
003 DE-He213
005 20160624102020.0
007 cr nn 008mamaa
008 121227s1992 gw | s |||| 0|eng d
020 _a9783540470663
_9978-3-540-47066-3
024 7 _a10.1007/3-540-55425-4
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aParallelization in Inference Systems
_h[electronic resource] :
_bInternational Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings /
_cedited by B. Fronhöfer, G. Wrightson.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
300 _aX, 378 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v590
505 0 _aPotentiality 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Techniques.
650 2 4 _aProcessor Architectures.
700 1 _aFronhöfer, B.
_eeditor.
700 1 _aWrightson, G.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540554257
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v590
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-55425-4
942 _2EBK5970
_cEBK
999 _c35264
_d35264