INTERNATIONAL CONFERENCE ON
FIFTH GENERATION COMPUTER SYSTEMS 1992
DEMONSTRATIONS

CONTENTS

1. Overview of The Fifth Generation Computer Systems Project
2. Parallel Inference System
   • Parallel Logic Programming Language, KL1
   • Parallel Inference Machine Operating System, PIMOS
   • Parallel Inference Machine, PIM
   • KL1 Language Processor
   • PIM Modules and Multi-PSI
3. A Diagnostic and Control Expert System Based on a Plant Model
4. Experimental Adaptive Model-Based Diagnostic System
5. Case-Based Circuit Design Support System
6. Co-HLEX : Experimental Parallel Hierarchical Recursive Layout System
7. Parallel Cell Placement Experimental System
8. High Level Synthesis System : RODIN
9. co-LODEX : A Cooperative Logic Design Expert System
10. Parallel LSI Router
11. Parallel Logic Simulator
12. Protein Sequence Analysis Program
    --- Multiple Sequence Alignment by Parallel Iterative Aligner ---
13. Model Generation Theorem Prover : MGTP
14. Parallel Database Management System : Kappa-P
15. Knowledge Representation Language : Quixote
16. A Parallel Legal Reasoning System : HELIC-II
17. Experimental Motif Extraction System
18. MENDELS ZONE : A Concurrent Program Development System
19. Parallel Constraint Logic Programming System : GDCC
20. Experimental System for Argument Text Generation : Dulcinea
21. A Parallel Cooperative Natural Language Processing System : Laputa
22. An Experimental Discourse Structure Analyzer