Parallel Processing for Artificial Intelligence 3

Content: 
Introduction
Pages v-vi

About the editors
Pages ix-x

Massively parallel knowledge representation and reasoning: Taking a cue from the brain Original Research Article
Pages 3-40
Lokendra Shastri, D.R. Mani

Massively parallel support for nonmonotonic reasoning Original Research Article
Pages 41-67
B. Boutsinas, Y.C. Stamatiou, G. Pavlides

Parallel operations on class hierarchies with double strand representation Original Research Article
Pages 69-94
Eunice (Yugyung) Lee, James Geller

Parka on MIMD-supercomputers Original Research Article
Pages 95-118
Kilian Stoffel, James Hendler, Joel Saltz

A hybrid approach to improving the performance of parallel search Original Research Article
Pages 121-143
Diane J. Cook

Static partitioning with slackness Original Research Article
Pages 145-163
Christian B. Suttner

Problem partition and solvers coordination in distributed constraint satisfaction Original Research Article
Pages 165-178
P. Berlandier, B. Neveu

Parallel propagation in the description-logic system FLEX Original Research Article
Pages 181-207
Frank W. Bergmann, J. Joachim Quantz

An alternative approach to concurrent theorem-proving Original Research Article
Pages 209-230
Michael Fisher

SiCoTHEO—Simple competitive parallel theorem provers based on SETHEO Original Research Article
Pages 231-246
Johann Schumann

Low-Level computer vision algorithms: Performance evaluation on parallel and distributed architectures Original Research Article
Pages 249-278
G. Destri, P. Marenzoni

Decision trees on parallel processors Original Research Article
Pages 279-306
Richard Kufrin

Application development under ParCeL-1 Original Research Article
Pages 307-326
Yannick Lallement, Thierry Cornu, Stéphane Vialle

AI applications of massive parallelism: An experience report Original Research Article
Pages 327-339
David L. Waltz

Appendix
Pages 341-345