ginsberg@t.Stanford.EDU (Matthew L. Ginsberg) (06/24/91)
Archive-name: ai/survey/ginsberg-ai-software-list/1991-06-20 Archive-directory: t.stanford.edu:/public/ [36.8.0.123] Original-posting-by: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg) Original-subject: Publicly available AI software Reposted-by: emv@msen.com (Edward Vielmetti, MSEN) 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 -- MSEN Archive Service file verification t.stanford.edu total 6 -rw-r--r-- 1 637 2518 Jun 22 00:12 systems -rw-r--r-- 1 637 2441 Jun 20 19:56 systems~ found ginsberg-ai-software-list ok t.stanford.edu:/public/