CMU Artificial Intelligence Repository
ICOT: Applications programs of parallel logic programming
areas/icot/apps/
This directory contains applications programs of parallel logic programming
from ICOT.
Origin:
ftp.icot.or.jp:/ifs/ [192.26.9.33]
Copying: Copyright (c) 1991-93 ICOT.
Use, copying, modification, and distribution permitted.
See the copyright files in each package for details.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Contact: ICOT Free Software desk
Institute for New Generation Computer Technology
21th Floor, Mita Kokusai Bldg.
4-28, Mita 1-chome,
Minato-ku, Tokyo 108
Japan
Fax: +81-3-3456-1618
Keywords:
CONSORT, Case-Based Reasoning, Circuit Design,
Constraint Solver, DESQ, DNA Sequencing, Diagnosis,
Expert System Shells, Game Playing!Go, Genetics, Go, ICOT,
Japan, LSI Routing, Legal Reasoning, Logic Design,
Parallel Logic Programming, Protein Structure,
Qualitative Reasoning, Quixote,
Reasoning!Case-Based Reasoning, Reasoning!Legal Reasoning,
Reasoning!Qualitative Reasoning, Visualization
Contains:
Description
mssd [84] Protein Structure Prediction System Based on Mulit-Level
Quixote
qxtmotif [83] Protein Motif Knowledge-Base and Retriever based on
editalgn [76] Intelligent Refiner for Multiple Sequence Alignment
multalgn [75] Multiple Sequence Alignment by Parallel Iterative Aligner
Plant Model
mmi [71] A Diagnostic and Control Expert System based on a
rodin [70] Case-Based Circuit Design Support System
(Genetic Information Processing)
cbcdss [69] Experimental Sequence Analysis System
seqanal [68] Experimental Adaptive Model-Based Diagnostic System
examds [67] Cooperative Logic Design Expert System
colodex [66] Cooperative Logic Design Expert System
cohlex [65] Experimental Parallel Hierarchical Recursive Layout System
desq [64] Design Support System based on Qualitative Reasoning
consort [63] Combined Constraint Solver
pmonitor [62] KL1 Execution Data Collecting Tool
mendels [61] Concurrent Program Development System
Allocation Problems
gpsstap [60] Group Problem Solving System for Task
logisim [59] Parallel Logic Simulator (LSI CAD)
lsirout [58] LSI Routing Program (LSI CAD)
celplace [57] Standard Cell Placement Experimental System
Annealing (Genetic Information Processing)
alignsa [56] Multiple Sequence Alignment by Simulated
Dynamic Programming (Genetic Information Processing)
aligndp [55] Multiple Sequence Alignment by 3 dimensional
helic2 [54] Parallel Legal Reasoning System
gog_kl1 [53] Parallel Go Play Game System
pimos/ Software on PIMOS.
gog_esp [52] Go Play Game System
simpos/ Software on SIMPOS.
proview [77] Protein Structure Visualization system
unix/ Software on UNIX.
References: ?
Last Web update on Mon Feb 13 10:23:38 1995
AI.Repository@cs.cmu.edu