ginsberg@t.Stanford.EDU (Matthew L. Ginsberg) (06/21/91)
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