Dagstuhl Seminar Parallelization in Inference Systems 1990
Bertram Fronhöfer, Graham Wrightson (Eds.):
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
Part 2:
Paper Section
Part 3:
Project Summaries
- 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
Last update Sat May 18 18:21:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
