LEADER 04703nam  22006975  450 
001 996465336603316
005 20200629143800.0
010   $a3-540-47066-2
024 7 $a10.1007/3-540-55425-4
035   $a(CKB)1000000000233809
035   $a(SSID)ssj0000325539
035   $a(PQKBManifestationID)11253540
035   $a(PQKBTitleCode)TC0000325539
035   $a(PQKBWorkID)10324292
035   $a(PQKB)11250354
035   $a(DE-He213)978-3-540-47066-3
035   $a(PPN)155230123
035   $a(EXLCZ)991000000000233809
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aParallelization in Inference Systems$b[electronic resource] $eInternational Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings /$fedited by Bertram Fronhöfer, Graham Wrightson
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (X, 378 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v590
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55425-4 
327   $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.
330   $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.
410  0$aLecture Notes in Artificial Intelligence ;$v590
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aArchitecture, Computer
606   $aComputer programming
606   $aMicroprocessors
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aArchitecture, Computer.
615  0$aComputer programming.
615  0$aMicroprocessors.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer System Implementation.
615 24$aProgramming Techniques.
615 24$aProcessor Architectures.
676   $a004/.35
702   $aFronhöfer$b Bertram$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWrightson$b Graham$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465336603316
996   $aParallelization in inference systems$91501918
997   $aUNISA