Parallelization in inference systems : 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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science. Lecture notes in artificial intelligence
590 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Actes d'un séminaire tenu à Dagstuhl Castle du 17 au 18 décembre 1990, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Parallelization in inference systems, international workshop, Dagstuhl Castle, Germany, December 17-18, 1990, proceedings, B. Fronhöfer, G. Wrightson, eds, Berlin, Springer-Verlag, 1992, 1 vol. (VIII-372 p.), Lecture notes in computer science, 3-540-55425-4 • Parallelization in Inference Systems, Texte imprimé, 9783662205372 |
| LEADER | 04507nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 972798 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155230123 | ||
| 020 | |a 9783540470663 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.35 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Fronhöfer, Bertram. | |
| 245 | 1 | 0 | |a Parallelization in inference systems : |b international workshop, Dagstuhl Castle, Germany, December 17 18, 1990 : proceedings |c [edited by] B. Fronhöfer, G. Wrightson. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 590 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Actes d'un séminaire tenu à Dagstuhl Castle du 17 au 18 décembre 1990, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Interfaces (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wrightson, Graham, |d 1941- |4 pbd | |
| 776 | 0 | |0 023404752 |t Parallelization in inference systems |o international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 |o proceedings |f B. Fronhöfer, G. Wrightson, eds |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (VIII-372 p.) |s Lecture notes in computer science |z 3-540-55425-4 | |
| 776 | 0 | |t Parallelization in Inference Systems |b Texte imprimé |z 9783662205372 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55425-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-696J1GZ8-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750632844 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55425-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753989263 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55425-4 |z Accès INSA CVL | |
| 997 | |0 972798 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||