Data Mining and Knowledge Discovery in Databases:

   ***Explora SCHEDULED TO BE DELETED FROM THE FAQ***
   Explora is a data mining package written in Lisp for the Macintosh. It
   includes a natural language hypertext-type interface for presentation
   of dicoveries. It is available at:
      http://orgwis.gmd.de:80/explora/
   
   Data Mine
   http://www.cs.bham.ac.uk/~anp/TheDataMine.html
   [Bibliographies, On-line papers, Software, and Other Resources]
   Andy Pryke <anp@cs.bham.ac.uk>

Defeasible Reasoning:

   An implementation of J. Paris and A. Vencovska's model of belief is
   available by anonymous ftp from

      ftp.cs.cmu.edu:/user/ai/areas/reasonng/defeasbl/belief/

   Paris and Vencovska's paper (Artificial Intelligence, 64(2), December
   1993) provides a mathematical model of an agent's belief in an event
   by identifying it with his ability to imagine the event within the
   context of his previous experience.  This approach leads to beliefs
   having properties different from those normally ascribed to it. The
   implementation was written by Ian Pratt <ipratt@cs.man.ac.uk> and Jens
   Doerpmund <dorpmunj@cs.man.ac.uk> and runs in Common Lisp.


Expert Systems:

   Free ftpable expert system shells are listed in the Expert Systems
   Shells FAQ, which is available by anonymous ftp from

      ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/expert_1.faq

   http://www-ksl.stanford.edu/knowledge-sharing/agents.html
   [Interactive expert systems and "agents". Includes nice model of
   space shuttle engines.]