![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Parallelization in Inference Systems 1990
- Bertram Fronhöfer, Graham Wrightson:
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Lecture Notes in Computer Science 590, Springer 1992, ISBN 3-540-55425-4
Part 1: Overview Section
- Franz J. Kurfess
:
Potentiality of Parallelism in Logic. 3-25 - Johann Schumann:
Parallel Theorem Provers - An Overview. 26-50 - Fadi N. Sibai:
Parallel Unification: Theory and Implementations. 51-81 - Hans W. Guesgen, Steffen Hölldobler:
Connectionist Inference Systems. 82-120
Part 2: Paper Section
- Claude Kirchner, Patrick Viry:
Implementing Parallel Rewriting. 123-138 - Ewing L. Lusk, William McCune:
Experiments with ROO: A Parallel Automated Deduction System. 139-162 - Mounira Belmesk, Zineb Habbas, Philippe Jorrand:
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. 163-181 - Håkan Millroth:
Using the Reform Inference System for Parallel Prolog. 182-194 - Wolfgang Ertel:
Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems. 195-209 - David M. W. Powers
:
Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. 210-233 - Walter Hower:
Constraint Satisfaction via Partially Parallel Propagation Steps. 234-242 - Christian B. Suttner:
A Parallel Theorem Prover with Heuristic Work Distribution. 243-252 - Jiwei Wang, Andy Marsh, Simon H. Lavington:
Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware. 253-269 - Wolfgang Schreiner
:
The ADAM Abstract Dataflow Machine. 270-289 - Roman Blasko:
Parallel Computation Model for Parallel Prolog. 290-302 - Claude F. Touzet, Norbert Giambiasi:
Application of Connectionist Models to Fuzzy Inference Systems. 303-317 - Steffen Hölldobler, Franz J. Kurfess
:
CHCL - A Connectionist Infernce System. 318-342
Part 3: Project Summaries
- Project Summaries. 343-372
- Fadi N. Sibai:
Parallel Unification Machine Design and Simulation. 345 - Daniel Neimann:
Parallel Rule-Firing Production Systems. 346 - Ewing L. Lusk, William McCune, John K. Slaney:
Parallel Closure-Based Automated Reasoning. 347 - Katherine A. Yelick:
Parallel Completion. 348 - Roman Blasko:
Parallel Logic Programs on Transputers. 349 - Wilson X. Wen:
Parallel Distributed Belief Networks. 350 - Simon H. Lavington:
The IFS Parallel Architectures Group University of Essex. 351-352 - Owen L. Astrachan:
METEORs: High Performance Theorem Provers Using Model Elimination. 353 - Robert Chun, Brad Perry, Steve Birminghan:
ESCAPE: Expert System Compilation and Parallelization Environment. 354 - Giancarlo Succi:
Data Parallelism in Logic Programming. 355 - Nissim Francez:
Distributed Logic Programming. 356 - Henry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen:
Programming Methods for Neural Computing. 357 - Khayri A. M. Ali, Roland Karlsson:
The MUSE Parallel Prolog System. 358 - Robert Johnson:
Parallel, Concurrent Theorem Proving. 359 - Trent E. Lange:
ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks. 360 - James G. Schmolze:
Parallel Production Systems. 361 - Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu:
ElipSys. 362 - Wolfgang Ertel, Christian B. Suttner:
Project PARIS: Parallelisation of Inference Systems. 363 - Scott Fertig, David Gelernter:
Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP. 364 - Geoff Sutcliffe:
Parallel Linear & UR-Deduction. 365 - Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani:
An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. 366 - Andy King, Paul Soper:
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. 367 - Joachim Hertzberg, Hans W. Guesgen:
qwertz. 368 - Handong Wu:
Parallel Implementation of Guarded Horn Clauses. 369 - Maria Paola Bonacina, Jieh Hsiang:
A System for Distributed Simplification-Based Theorem Proving. 370 - Sten-Åke Tärnlund, Håkan Millroth:
Parallel Reform Computations. 371 - Ron Sun:
Integrating Rules and Connectionism for Robust Reasoning. 372
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.