CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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