[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 12: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
|
|---|