Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!rphroy!ox.com!msen.com!emv
From: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg)
Newsgroups: comp.archives
Subject: [ai...] Publicly available AI software
Keywords: public, software, AI
Message-ID: <1991Jun24.013651.9299@ox.com>
Date: 24 Jun 91 01:36:51 GMT
References: <1991Jun20.172238.29488@neon.Stanford.EDU>
Sender: emv@msen.com (Edward Vielmetti, MSEN)
Reply-To: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg)
Followup-To: comp.ai,comp.ai.edu,comp.edu,comp.lang.lisp
Organization: Computer Science Department, Stanford University
Lines: 82
Approved: emv@msen.com (Edward Vielmetti, MSEN)
X-Original-Date: 20 Jun 91 17:22:38 GMT
X-Original-Newsgroups: comp.ai,comp.ai.edu,comp.edu,comp.lang.lisp

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/