INTERNATIONAL CONFERENCE ON
FIFTH GENERATION COMPUTER SYSTEMS 1992
DEMONSTRATIONS
CONTENTS
1.
Overview of The Fifth Generation Computer Systems Project
-----
pdf
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
-----
pdf
3.
A Diagnostic and Control Expert System Based on a Plant Model
-----
pdf
4.
Experimental Adaptive Model-Based Diagnostic System
-----
pdf
5.
Case-Based Circuit Design Support System
-----
pdf
6.
Co-HLEX
: Experimental Parallel Hierarchical Recursive Layout System
-----
pdf
7.
Parallel Cell Placement Experimental System
-----
pdf
8.
High Level Synthesis System :
RODIN
-----
pdf
9.
co-LODEX
: A Cooperative Logic Design Expert System
-----
pdf
10.
Parallel LSI Router
-----
pdf
11.
Parallel Logic Simulator
-----
pdf
12.
Protein Sequence Analysis Program
--- Multiple Sequence Alignment by Parallel Iterative Aligner ---
-----
pdf
13.
Model Generation Theorem Prover :
MGTP
-----
pdf
14.
Parallel Database Management System :
Kappa-P
-----
pdf
15.
Knowledge Representation Language :
Quixote
-----
pdf
16.
A Parallel Legal Reasoning System :
HELIC-II
-----
pdf
17.
Experimental Motif Extraction System
-----
pdf
18.
MENDELS ZONE
: A Concurrent Program Development System
-----
pdf
19.
Parallel Constraint Logic Programming System :
GDCC
-----
pdf
20.
Experimental System for Argument Text Generation :
Dulcinea
-----
pdf
21.
A Parallel Cooperative Natural Language Processing System :
Laputa
-----
pdf
22.
An Experimental Discourse Structure Analyzer
-----
pdf