CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Defeasible Reasoning


   belief/    BELIEF: Implementation of Paris and Vencovska's 
              model of belief
   dprolog/   DPROLOG: Prolog extension for Defeasible 
   nathan/    NATHAN (Spec13): Argues defeasibly in first-order 
This directory contains software and other materials about Defeasible Reasoning.
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Defeasible Reasoning, Reasoning!Defeasible Reasoning
Last Web update on Mon Feb 13 10:27:49 1995