CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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