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 BibTeX

@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 BibTeX
Johann Schumann: Parallel Theorem Provers - An Overview. 26-50 BibTeX
Fadi N. Sibai: Parallel Unification: Theory and Implementations. 51-81 BibTeX
Hans W. Guesgen, Steffen Hölldobler: Connectionist Inference Systems. 82-120 BibTeX

Part 2: Paper Section

Claude Kirchner, Patrick Viry: Implementing Parallel Rewriting. 123-138 BibTeX
Ewing L. Lusk, William McCune: Experiments with ROO: A Parallel Automated Deduction System. 139-162 BibTeX
Mounira Belmesk, Zineb Habbas, Philippe Jorrand: A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. 163-181 BibTeX
Håkan Millroth: Using the Reform Inference System for Parallel Prolog. 182-194 BibTeX
Wolfgang Ertel: Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems. 195-209 BibTeX
David M. W. Powers: Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. 210-233 BibTeX
Walter Hower: Constraint Satisfaction via Partially Parallel Propagation Steps. 234-242 BibTeX
Christian B. Suttner: A Parallel Theorem Prover with Heuristic Work Distribution. 243-252 BibTeX
Jiwei Wang, Andy Marsh, Simon H. Lavington: Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware. 253-269 BibTeX
Wolfgang Schreiner: The ADAM Abstract Dataflow Machine. 270-289 BibTeX
Roman Blasko: Parallel Computation Model for Parallel Prolog. 290-302 BibTeX
Claude F. Touzet, Norbert Giambiasi: Application of Connectionist Models to Fuzzy Inference Systems. 303-317 BibTeX
Steffen Hölldobler, Franz J. Kurfess: CHCL - A Connectionist Infernce System. 318-342 BibTeX

Part 3: Project Summaries

Fadi N. Sibai: Parallel Unification Machine Design and Simulation. 345 BibTeX
Daniel Neimann: Parallel Rule-Firing Production Systems. 346 BibTeX
Ewing L. Lusk, William McCune, John K. Slaney: Parallel Closure-Based Automated Reasoning. 347 BibTeX
Katherine A. Yelick: Parallel Completion. 348 BibTeX
Roman Blasko: Parallel Logic Programs on Transputers. 349 BibTeX
Wilson X. Wen: Parallel Distributed Belief Networks. 350 BibTeX
Simon H. Lavington: The IFS Parallel Architectures Group University of Essex. 351-352 BibTeX
Owen L. Astrachan: METEORs: High Performance Theorem Provers Using Model Elimination. 353 BibTeX
Robert Chun, Brad Perry, Steve Birminghan: ESCAPE: Expert System Compilation and Parallelization Environment. 354 BibTeX
Giancarlo Succi: Data Parallelism in Logic Programming. 355 BibTeX
Nissim Francez: Distributed Logic Programming. 356 BibTeX
Henry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen: Programming Methods for Neural Computing. 357 BibTeX
Khayri A. M. Ali, Roland Karlsson: The MUSE Parallel Prolog System. 358 BibTeX
Robert Johnson: Parallel, Concurrent Theorem Proving. 359 BibTeX
Trent E. Lange: ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks. 360 BibTeX
James G. Schmolze: Parallel Production Systems. 361 BibTeX
Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu: ElipSys. 362 BibTeX
Wolfgang Ertel, Christian B. Suttner: Project PARIS: Parallelisation of Inference Systems. 363 BibTeX
Scott Fertig, David Gelernter: Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP. 364 BibTeX
Geoff Sutcliffe: Parallel Linear & UR-Deduction. 365 BibTeX
Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani: An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. 366 BibTeX
Andy King, Paul Soper: Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. 367 BibTeX
Joachim Hertzberg, Hans W. Guesgen: qwertz. 368 BibTeX
Handong Wu: Parallel Implementation of Guarded Horn Clauses. 369 BibTeX
Maria Paola Bonacina, Jieh Hsiang: A System for Distributed Simplification-Based Theorem Proving. 370 BibTeX
Sten-Åke Tärnlund, Håkan Millroth: Parallel Reform Computations. 371 BibTeX
Ron Sun: Integrating Rules and Connectionism for Robust Reasoning. 372 BibTeX