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

@proceedings{DBLP:conf/dagstuhl/1990pis,
  editor    = {Bertram Fronh{\"o}fer and
               Graham Wrightson},
  title     = {Parallelization in Inference Systems, International Workshop,
               Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings},
  booktitle = {Dagstuhl Seminar on Parallelization in Inference Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {590},
  year      = {1992},
  isbn      = {3-540-55425-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

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