CMU Artificial Intelligence Repository
Reasoning
areas/reasonng/
analogy/ Analogical Reasoning
atp/ Theorem Proving and Automated Reasoning
case_bsd/ Case-Based Reasoning
chem/ Chemical Reasoning
defeasbl/ Defeasible Reasoning
medical/ Medical Reasoning
meta/ Meta Reasoning
probabl/ Probabilistic Reasoning
qualittv/ Qualitative Reasoning
temporal/ Temporal Reasoning
tms/ Truth Maintenance
toolset/ Toolset: OSU LAIR Generic Task Toolset
This directory contains software and other materials about
Analogical Reasoning, Case Based Reasoning, Defeasible Reasoning,
Legal Reasoning, Medical Reasoning, Probabilistic Reasoning,
Qualitative Reasoning, Temporal Reasoning, Theorem Proving/Automated
Reasoning, and Truth Maintenance.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
AI Software Packages, Reasoning, Software Packages
Last Web update on Mon Feb 13 10:27:59 1995
AI.Repository@cs.cmu.edu