Xref: utzoo comp.ai:9496 comp.ai.edu:251 comp.edu:4452 comp.lang.lisp:5070
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!dali.cs.montana.edu!caen!spool.mu.edu!agate!stanford.edu!neon.Stanford.EDU!t.Stanford.EDU!ginsberg
From: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg)
Newsgroups: comp.ai,comp.ai.edu,comp.edu,comp.lang.lisp
Subject: Publicly available AI software
Keywords: public, software, AI
Message-ID: <1991Jun20.172238.29488@neon.Stanford.EDU>
Date: 20 Jun 91 17:22:38 GMT
Sender: news@neon.Stanford.EDU (USENET News System)
Organization: Computer Science Department, Stanford University
Lines: 68


The following is a list of the publicly available AI software that I
learned about in response to my message of a month or so ago.  Please
send any corrections or modifications to me.

I will do my best to keep an updated copy of this list available by
anonymous ftp from the "public" directory on t.stanford.edu.

						Matt Ginsberg

			KNOWLEDGE REPRESENTATION
			--------- --------------

Name	     Address		       Dist	Doc?	Feature

RHETORICAL   miller@cs.rochester.edu   ftp      yes     planning
MVL          ginsberg@t.stanford.edu   ftp      yes     multivalued logics
KNOWBEL	     kramer@ai.toronto.edu     ftp	no	sorted/temporal logic
SB-ONE	     kobsa@cs.uni-sb.de        license  German	KL-ONE family
KRIS	     baader@dfki.uni-kl.de     3.5"     no	KL-ONE (Symbolics only)
BACK	     peltason@tubvm.cs.tu-berlin.de
				       3.5"	no	KL-ONE family
PARKA	     spector@cs.umd.edu	       ftp	no	frames (designed for
							connection machine)
PARMENIDES   pshell@cs.cmu.edu         ?        yes     frames
FRAMEKIT     ehn+@cs.cmu.edu           floppy   yes     frames
FROBS        kessler@cs.utah.edu       ?        yes     frames
CLASSIC      dlm@research.att.com      licence  yes     KL-ONE family
SNePS	     shapiro@cs.buffalo.edu    licence  yes     semantic net
BELIEF	     almond@stat.washington.edu  ftp or yes	belief networks
				         email
BABBLER	     rsf1@ra.msstate.edu       email    no	Markov chains/NLP

				PLANNING
				--------

PRODIGY      prodigy@cs.cmu.edu        licence  yes     planning and learning
NONLIN       nonlin-users-request@cs.umd.edu
			       	       ftp      yes     NONLIN in common lisp
TILEWORLD    pollack@ai.sri.com	       ftp	yes	planning tesetbed
SNLP         weld@cs.washington.edu    ftp      no	nonlinear planner

				MATHEMATICS
				-----------

SYMBMATH     huang@deakin.oz.au	       licence  yes     Prolog
JACAL	     jaffer@ai.mit.edu	       like GNU ?	implicit representation

				LEARNING
				--------

COBWEB/3     cobweb@ptolemy.arc.nasa.gov
				       licence	yes	concept formation
PROTOS	     porter@cs.utexas.edu      ftp      yes     knowledge acquisition
THEO	     tom.mitchell@cs.cmu.edu   ?        no      frames, learning
SOAR	     soar-requests@cs.cmu.edu  licence  yes     integrated architecture

Except as indicated, all are in generic Common Lisp.  All developers
distribute source code for fairly unrestricted noncommercial use.

Name = system name
Address = net address of one contact
Dist = distribution medium.  For ftp, try anonymous ftp to the machine
       listed under address and you should be able to figure it out.
       License means you have to sign a licence (perhaps at nominal cost)
       and then you get access.
Doc? = is there a user's manual?
Feature = brief system summary