CMU Artificial Intelligence Repository
ICOT: Systems for problem solvers and theorem provers
areas/icot/reasonng/
This directory contains problem solver and theorem prover software
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:
Boyer-Moore Theorem Prover, Forward Chaining,
Fuzzy Clustering, ICOT, Inference, Japan, MGTP, PPSS,
Problem Solvers, SME, Structure-Mapping Engine,
Theorem Proving
Contains:
sme [32] Structure-Mapping Engine
*updating* [31] Argus Verification System: Argus/V
ppss [30] Parallel Problem Solving System
mgtp [22] Parallel Model Generation Theorem Prover
pimos/ Software on PIMOS.
fuzclust [29] Fuzzy Clustering Tool
euod [28] Reasoning System
*preparing* [27] SAM - A Symbolic and Algebraic Manupulation System
papyrus [23] Program Generation System
simpos/ Software on SIMPOS.
*preparing* [82] Parallel Theorem Prover: MGTP/N Prolog version
*preparing* [81] Parallel Theorem Prover: MGTP/G Prolog version
*preparing* [26] Functional Language: Qute
kore_ie [25] Forward Chaining Inference System
bmtp [24] Boyer-Moore Theorem Prover
unix/ Software on UNIX.
References: ?
Last Web update on Mon Feb 13 10:23:46 1995
AI.Repository@cs.cmu.edu