Abstract is missing.
- Massively parallel knowledge representation and reasoning: Taking a cue from the brainLokendra Shastri, D. R. Mani. 3-40 [doi]
- Massively parallel support for nonmonotonic reasoningBasilis Boutsinas, Yannis C. Stamatiou, Georgios Pavlides. 41-67 [doi]
- Parallel operations on class hierarchies with double strand representationEunice (Yugyung) Lee, James Geller. 69-94 [doi]
- Parka on MIMD-supercomputersKilian Stoffel, James A. Hendler, Joel H. Saltz. 95-118 [doi]
- A hybrid approach to improving the performance of parallel searchDiane J. Cook. 121-143 [doi]
- Static partitioning with slacknessChristian B. Suttner. 145-163 [doi]
- Problem partition and solvers coordination in distributed constraint satisfactionPierre Berlandier, Bertrand Neveu. 165-178 [doi]
- Parallel propagation in the description-logic system FLEXFrank W. Bergmann, J. Joachim Quantz. 181-207 [doi]
- An alternative approach to concurrent theorem-provingMichael Fisher 0001. 209-230 [doi]
- SiCoTHEO - Simple competitive parallel theorem provers based on SETHEOJohann Schumann. 231-246 [doi]
- Low-Level computer vision algorithms: Performance evaluation on parallel and distributed architecturesGiulio Destri, Paolo Marenzoni. 249-278 [doi]
- Decision trees on parallel processorsRichard Kufrin. 279-306 [doi]
- Application development under ParCeL-1Yannick Lallement, Thierry Cornu, Stéphane Vialle. 307-326 [doi]
- AI applications of massive parallelism: An experience reportDavid L. Waltz. 327-339 [doi]