[Search for users]
[Overall Top Noters]
[List of all Conferences]
[Download this site]
| Title: | Europe-Swas-Artificial-Intelligence | 
|  | 
| Moderator: | HERON::BUCHANAN | 
|  | 
| Created: | Fri Jun 03 1988 | 
| Last Modified: | Thu Aug 04 1994 | 
| Last Successful Update: | Fri Jun 06 1997 | 
| Number of topics: | 442 | 
| Total number of notes: | 1429 | 
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 <[email protected]>, [email protected] (Matthew L. 
Ginsberg) writes:
From: [email protected] (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   [email protected]   ftp      yes     planning
MVL          [email protected]   ftp      yes     multivalued logics
KNOWBEL	     [email protected]     ftp	no	sorted/temporal logic
SB-ONE	     [email protected]        license  German	KL-ONE family
KRIS	     [email protected]     3.5"     no	KL-ONE (Symbolics only)
BACK	     [email protected]
				       3.5"	no	KL-ONE family
PARKA	     [email protected]	       ftp	no	frames (designed for
							connection machine)
PARMENIDES   [email protected]         ?        yes     frames
FRAMEKIT     [email protected]           floppy   yes     frames
FROBS        [email protected]       ?        yes     frames
CLASSIC      [email protected]      licence  yes     KL-ONE family
SNePS	     [email protected]    licence  yes     semantic net
BELIEF	     [email protected]  ftp or yes	belief networks
				         email
BABBLER	     [email protected]       email    no	Markov chains/NLP
				PLANNING
				--------
PRODIGY      [email protected]        licence  yes     planning and learning
NONLIN       [email protected]
			       	       ftp      yes     NONLIN in common lisp
TILEWORLD    [email protected]	       ftp	yes	planning tesetbed
SNLP         [email protected]    ftp      no	nonlinear planner
				MATHEMATICS
				-----------
SYMBMATH     [email protected]	       licence  yes     Prolog
JACAL	     [email protected]	       like GNU ?	implicit representation
				LEARNING
				--------
COBWEB/3     [email protected]
				       licence	yes	concept formation
PROTOS	     [email protected]      ftp      yes     knowledge acquisition
THEO	     [email protected]   ?        no      frames, learning
SOAR	     [email protected]  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      
| T.R | Title | User | Personal Name
 | Date | Lines | 
|---|