Conference heron::euro_swas_ai

343.0. "FWD: comp.lang.lisp #3516 - Publicly available AI s" by ULYSSE::ROACH (TANSTAAFL !) Mon Jun 24 1991 11:31

 

                  I N T E R O F F I C E   M E M O R A N D U M

                                        Date:     21-Jun-1991 10:19pm CET
                                        From:     BEANE
                                                  BEANE@BIGRED@MRGATE@DPD04@DPD
                                        Dept:      
                                        Tel No:    

TO: See Below

Subject: FWD: comp.lang.lisp #3516 - Publicly available AI software

From:	BIGRED::BEANE "Art @HSO 441-3764  21-Jun-1991 1022"   21-JUN-1991 10:23:46.72
To:	BEANE
CC:	
Subj:	comp.lang.lisp #3516 - Publicly available AI software 

In article <1991Jun20.172238.29488@neon.Stanford.EDU>, ginsberg@t.Stanford.EDU (Matthew L. 
Ginsberg) writes:
From: ginsberg@t.Stanford.EDU (Matthew L. Ginsberg)
Newsgroups: comp.ai,comp.ai.edu,comp.edu,comp.lang.lisp
Subject: Publicly available AI software
Date: 20 Jun 91 17:22:38 GMT


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


Distribution:


TO:
DENNIS DICKERSON@DL STEVE DONOVAN@DLO   Tommy Gaut@HSO      Ed Hurry@DVO        
Louis Pau@VBE       jim rather@HSO      Pat Roach@VBE       Czarena Siebert@HSO 
Mike Sievers@HSO    Dale Stout@HSO      Susan Sugar@MWO     Sherry Williams@HSO 
Mike Willis@HSO     Tom Wilson@HST