CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Defeasible Reasoning

areas/reasonng/defeasbl/

   belief/    BELIEF: Implementation of Paris and Vencovska's 
              model of belief
   dprolog/   DPROLOG: Prolog extension for Defeasible 
              Reasoning
   nathan/    NATHAN (Spec13): Argues defeasibly in first-order 
              logic.
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
AI.Repository@cs.cmu.edu