Abstract is missing.
- Potentiality of Parallelism in LogicFranz J. Kurfess. 3-25
- Parallel Theorem Provers - An OverviewJohann Schumann. 26-50
- Parallel Unification: Theory and ImplementationsFadi N. Sibai. 51-81
- Connectionist Inference SystemsHans W. Guesgen, Steffen Hölldobler. 82-120
- Implementing Parallel RewritingClaude Kirchner, Patrick Viry. 123-138
- Experiments with ROO: A Parallel Automated Deduction SystemEwing L. Lusk, William McCune. 139-162
- A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated DeductionMounira Belmesk, Zineb Habbas, Philippe Jorrand. 163-181
- Using the Reform Inference System for Parallel PrologHåkan Millroth. 182-194
- Random Competition: A Simple but Efficient Method for Parallelizing Inference SystemsWolfgang Ertel. 195-209
- Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to UnificationDavid M. W. Powers. 210-233
- Constraint Satisfaction via Partially Parallel Propagation StepsWalter Hower. 234-242
- A Parallel Theorem Prover with Heuristic Work DistributionChristian B. Suttner. 243-252
- Non-WAM Models of Logic Programming and Their Support by Novel Parallel HardwareJiwei Wang, Andy Marsh, Simon H. Lavington. 253-269
- The ADAM Abstract Dataflow MachineWolfgang Schreiner. 270-289
- Parallel Computation Model for Parallel PrologRoman Blasko. 290-302
- Application of Connectionist Models to Fuzzy Inference SystemsClaude F. Touzet, Norbert Giambiasi. 303-317
- CHCL - A Connectionist Infernce SystemSteffen Hölldobler, Franz J. Kurfess. 318-342
- Project Summaries343-372 [doi]
- Parallel Unification Machine Design and SimulationFadi N. Sibai. 345
- Parallel Rule-Firing Production SystemsDaniel Neimann. 346
- Parallel Closure-Based Automated ReasoningEwing L. Lusk, William McCune, John K. Slaney. 347
- Parallel CompletionKatherine A. Yelick. 348
- Parallel Logic Programs on TransputersRoman Blasko. 349
- Parallel Distributed Belief NetworksWilson X. Wen. 350
- The IFS Parallel Architectures Group University of EssexSimon H. Lavington. 351-352
- METEORs: High Performance Theorem Provers Using Model EliminationOwen L. Astrachan. 353
- ESCAPE: Expert System Compilation and Parallelization EnvironmentRobert Chun, Brad Perry, Steve Birminghan. 354
- Data Parallelism in Logic ProgrammingGiancarlo Succi. 355
- Distributed Logic ProgrammingNissim Francez. 356
- Programming Methods for Neural ComputingHenry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen. 357
- The MUSE Parallel Prolog SystemKhayri A. M. Ali, Roland Karlsson. 358
- Parallel, Concurrent Theorem ProvingRobert Johnson. 359
- ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist NetworksTrent E. Lange. 360
- Parallel Production SystemsJames G. Schmolze. 361
- ElipSysMichel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu. 362
- Project PARIS: Parallelisation of Inference SystemsWolfgang Ertel, Christian B. Suttner. 363
- Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGPScott Fertig, David Gelernter. 364
- Parallel Linear & UR-DeductionGeoff Sutcliffe. 365
- An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type HierarchyLokendra Shastri, Venkat Ajjanagadde, D. R. Mani. 366
- Compile-Time Analysis of Concurrent Logic Programs for Multi-processorsAndy King, Paul Soper. 367
- qwertzJoachim Hertzberg, Hans W. Guesgen. 368
- Parallel Implementation of Guarded Horn ClausesHandong Wu. 369
- A System for Distributed Simplification-Based Theorem ProvingMaria Paola Bonacina, Jieh Hsiang. 370
- Parallel Reform ComputationsSten-Åke Tärnlund, Håkan Millroth. 371
- Integrating Rules and Connectionism for Robust ReasoningRon Sun. 372