Franz J. Kurfess Potentiality of Parallelism in Logic. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:3-25 [Conf]
Johann Schumann Parallel Theorem Provers - An Overview. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:26-50 [Conf]
Fadi N. Sibai Parallel Unification: Theory and Implementations. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:51-81 [Conf]
Ewing L. Lusk, William McCune Experiments with ROO: A Parallel Automated Deduction System. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:139-162 [Conf]
Håkan Millroth Using the Reform Inference System for Parallel Prolog. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:182-194 [Conf]
Wolfgang Ertel Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:195-209 [Conf]
David M. W. Powers Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:210-233 [Conf]
Walter Hower Constraint Satisfaction via Partially Parallel Propagation Steps. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:234-242 [Conf]
Christian B. Suttner A Parallel Theorem Prover with Heuristic Work Distribution. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:243-252 [Conf]
Wolfgang Schreiner The ADAM Abstract Dataflow Machine. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:270-289 [Conf]
Roman Blasko Parallel Computation Model for Parallel Prolog. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:290-302 [Conf]
Fadi N. Sibai Parallel Unification Machine Design and Simulation. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:345- [Conf]
Daniel Neimann Parallel Rule-Firing Production Systems. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:346- [Conf]
Roman Blasko Parallel Logic Programs on Transputers. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:349- [Conf]
Wilson X. Wen Parallel Distributed Belief Networks. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:350- [Conf]
Simon H. Lavington The IFS Parallel Architectures Group University of Essex. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:351-352 [Conf]
Owen L. Astrachan METEORs: High Performance Theorem Provers Using Model Elimination. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:353- [Conf]
Robert Johnson Parallel, Concurrent Theorem Proving. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:359- [Conf]
Trent E. Lange ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:360- [Conf]
Scott Fertig, David Gelernter Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:364- [Conf]
Geoff Sutcliffe Parallel Linear & UR-Deduction. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:365- [Conf]
Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:366- [Conf]
Andy King, Paul Soper Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:367- [Conf]
Ron Sun Integrating Rules and Connectionism for Robust Reasoning. [Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:372- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP