Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1992
|
Subjects: | Computer science., Microprocessors., Architecture, Computer., Software engineering., Computer programming., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Software Engineering/Programming and Operating Systems., Computer System Implementation., Programming Techniques., Processor Architectures., |
Online Access: | http://dx.doi.org/10.1007/3-540-55425-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:223569 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2235692018-07-31T00:02:59ZParallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / Fronhöfer, B. editor. Wrightson, G. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1992.engThis 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.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.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.Computer science.Microprocessors.Architecture, Computer.Software engineering.Computer programming.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Software Engineering/Programming and Operating Systems.Computer System Implementation.Programming Techniques.Processor Architectures.Springer eBookshttp://dx.doi.org/10.1007/3-540-55425-4URN:ISBN:9783540470663 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Microprocessors. Architecture, Computer. Software engineering. Computer programming. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer System Implementation. Programming Techniques. Processor Architectures. Computer science. Microprocessors. Architecture, Computer. Software engineering. Computer programming. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer System Implementation. Programming Techniques. Processor Architectures. |
spellingShingle |
Computer science. Microprocessors. Architecture, Computer. Software engineering. Computer programming. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer System Implementation. Programming Techniques. Processor Architectures. Computer science. Microprocessors. Architecture, Computer. Software engineering. Computer programming. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer System Implementation. Programming Techniques. Processor Architectures. Fronhöfer, B. editor. Wrightson, G. editor. SpringerLink (Online service) Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
description |
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. |
format |
Texto |
topic_facet |
Computer science. Microprocessors. Architecture, Computer. Software engineering. Computer programming. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer System Implementation. Programming Techniques. Processor Architectures. |
author |
Fronhöfer, B. editor. Wrightson, G. editor. SpringerLink (Online service) |
author_facet |
Fronhöfer, B. editor. Wrightson, G. editor. SpringerLink (Online service) |
author_sort |
Fronhöfer, B. editor. |
title |
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
title_short |
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
title_full |
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
title_fullStr |
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
title_full_unstemmed |
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / |
title_sort |
parallelization in inference systems [electronic resource] : international workshop dagstuhl castle, germany, december 17–18, 1990 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1992 |
url |
http://dx.doi.org/10.1007/3-540-55425-4 |
work_keys_str_mv |
AT fronhoferbeditor parallelizationininferencesystemselectronicresourceinternationalworkshopdagstuhlcastlegermanydecember17181990proceedings AT wrightsongeditor parallelizationininferencesystemselectronicresourceinternationalworkshopdagstuhlcastlegermanydecember17181990proceedings AT springerlinkonlineservice parallelizationininferencesystemselectronicresourceinternationalworkshopdagstuhlcastlegermanydecember17181990proceedings |
_version_ |
1756270592083886080 |