home *** CD-ROM | disk | FTP | other *** search
/ Nebula 1994 June / NEBULA_SE.ISO / Documents / FAQ / AI-faq / part4 < prev    next >
Encoding:
Text File  |  1993-08-13  |  66.0 KB  |  1,338 lines
  1. Newsgroups: comp.ai,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!usc!howland.reston.ans.net!noc.near.net!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Subject: FAQ: Artificial Intelligence FTP Resources 4/6 [Monthly posting]
  5. Message-ID: <ai-faq-4.text_745225775@cs.cmu.edu>
  6. Followup-To: poster
  7. Summary: FTP Resources for AI
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Supersedes: <ai-faq-4.text_742546942@cs.cmu.edu>
  10. Nntp-Posting-Host: a.gp.cs.cmu.edu
  11. Reply-To: mkant+ai-faq@cs.cmu.edu
  12. Organization: School of Computer Science, Carnegie Mellon University
  13. Date: Fri, 13 Aug 1993 07:10:15 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: Fri, 24 Sep 1993 07:09:35 GMT
  16. Lines: 1319
  17. Xref: senator-bedfellow.mit.edu comp.ai:18227 news.answers:11328 comp.answers:1589
  18.  
  19. Archive-name: ai-faq/part4
  20. Last-Modified: Mon Jul 19 19:32:33 1993 by Mark Kantrowitz
  21. Version: 1.9
  22.  
  23. ;;; ****************************************************************
  24. ;;; Answers to Questions about Artificial Intelligence *************
  25. ;;; ****************************************************************
  26. ;;; Written by Mark Kantrowitz
  27. ;;; ai-faq-4.text -- 63332 bytes
  28.  
  29. If you think of questions that are appropriate for this FAQ, or would
  30. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  31.  
  32. Please note that the FTP Resources are now split across parts 4 and 5
  33. of the AI FAQ.
  34.  
  35. Part 4 (FTP Resources):
  36.   [4-0]  General Information about FTP Resources for AI
  37.   [4-1]  FTP Repositories
  38.   [4-2]  FTP and Other Resources
  39.  
  40. Search for [#] to get to question number # quickly.
  41.  
  42. ----------------------------------------------------------------
  43. Subject: [4-0]  General Information about FTP Resources for AI
  44.  
  45. Remember, when ftping compressed or compacted files (.Z, .z, .arc, .fit,
  46. etc.) to use binary mode for retrieving the files.
  47.  
  48. Files that end with a .z suffix were compressed with the patent-free
  49. gzip (no relation to zip). Source for gzip is available from:
  50.   prep.ai.mit.edu:pub/gnu/{gzip-1.2.3.shar,gzip-1.2.3.tar,gzip-1.2.3.msdos.exe}
  51.  
  52. If you do not have ftp access, you can FTP files by E-mail. Send a
  53. message with the word "help" in the body to ftpmail@decwrl.dec.com.
  54.  
  55. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  56. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  57. Lisp-based or Prolog-based system is listed here, only the ftp site
  58. and directory will be listed; for a more detailed description, see the
  59. Lisp FAQ and the Prolog Resource Guide. For information on obtaining
  60. the Lisp FAQ or the Prolog Resource Guide see [1-0].
  61.  
  62. When referring to software, "alpha" indicates an internal early
  63. release, "beta" indicates an external early release, and "omega"
  64. indicates an external "finished" release. Generally an "alpha" release
  65. means the creator hasn't yet tested for bugs.
  66.  
  67. ----------------------------------------------------------------
  68. Subject: [4-1]  FTP Repositories
  69.  
  70. CMU AI Repository:
  71.  
  72.    Construction of the repository is taking longer than expected. (You
  73.    don't realize how slow ftp is until you try ftping several hundred
  74.    megabytes at a time.) We're about 90% done collecting materials,
  75.    and are currently reorganizing the contents. It should become available
  76.    within a week or two, the end of August at the latest. An announcement
  77.    will be made to all relevant newsgroups and mailing lists when the
  78.    repository is ready.
  79.  
  80. Ada Repository:
  81.  
  82.    The Ada Repository on wsmr-simtel20.army.mil (mailing list
  83.    ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  84.    PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  85.    available as wuarchive.wustl.edu:/mirrors/ada/ai.
  86.  
  87. UCLA Artificial Life Depository:
  88.  
  89.    ftp.cognet.ucla.edu:~ftp/pub/alife [128.97.50.19]
  90.  
  91.    Repository of papers, articles, tech reports, software and other items of
  92.    interest to Artificial Life researchers. It includes an archive of
  93.    past postings to the alife mailing list, alife@cognet.ucla.edu (send
  94.    mail to alife-request@cognet.ucla.edu to be added to the list).
  95.  
  96.    (Other artificial life information is available from santafe.edu
  97.     or ftp.santafe.edu [192.12.12.1] in the directory
  98.     pub/Artificial-Life-III.) 
  99.  
  100. Consortium for Lexical Research:
  101.    clr.nmsu.edu [128.123.1.12]
  102.    equivalently, lexical.nmsu.edu [128.123.1.12]
  103.  
  104.    Archive containing a variety of programs and data files related to
  105.    natural language processing research, with a particular focus on
  106.    lexical research. See the file catalog-short for a quick listing of
  107.    the contents of the archive. Long descriptions are in the info/
  108.    subdirectory. Publicly available materials are in the pub/
  109.    subdirectory (see pub/catalog). Materials for paid-up members of the
  110.    Consortium are in the members-only/ subdirectory.  Public materials
  111.    include the Alvey Natural Language Tools, Sowa's Conceptual Graph
  112.    parser implemented in YACC by Maurice Pagnucco, a morphological
  113.    parsing lexicon of English, a phonological rule compiler for PC-KIMMO,
  114.    C source code for the NIST SGML parser, PC-KIMMO sources, the 1911
  115.    Roget Thesaurus, and a variety of word lists (including English,
  116.    Dutch, and male/female/last names).  Comments and questions may be
  117.    directed to lexical@nmsu.edu.
  118.  
  119. FJ Repository:
  120.  
  121.    The FJ Repository contains freeware from Japan (FJ = "From Japan"). 
  122.    The fj.sources subdirectory is a good place to look for free
  123.    software from Japan. Some files in the repository may contain
  124.    Kana and Kanji characters. The repository is available by
  125.    anonymous ftp from 
  126.       utsun.s.u-tokyo.ac.jp:fj/fj.sources [133.11.11.11]
  127.    The file Index contains an index of all the files in each volume.
  128.    Files of particular interest include:
  129.       v07/786:  Portable Prolog for Common Lisp
  130.       v25/2577: General-Purpose Fuzzy Inference Library Ver. 3.0 (1/1)
  131.  
  132. Fuzzy Logic Repositories:
  133.  
  134.    ntia.its.bldrdoc.gov:pub/fuzzy [132.163.64.201] contains information
  135.    concerning fuzzy logic, including bibliographies (bib/), product 
  136.    descriptions and demo versions (com/), machine readable published
  137.    papers (lit/), miscellaneous information, documents and reports (txt/), 
  138.    and programs, code and compilers (prog/). You may download new items 
  139.    into the new/ subdirectory. If you deposit anything in new/, please 
  140.    inform fuzzy@its.bldrdoc.gov. The repository is maintained by 
  141.    Timothy Butler, tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also 
  142.    accessible through a mail server, rnalib@its.bldrdoc.gov. For help on 
  143.    using the server, send mail to the server with the following line in 
  144.    the body of the message:
  145.      @@ help
  146.    Other commands available include index, list, find, send, and credits.
  147.  
  148.    Ostfold Regional College in Norway recently started a ftp site
  149.    for material related to fuzzy logic, ftp.dhhalden.no:pub/Fuzzy/ 
  150.    [158.36.33.11]. Material to be included in the archive (e.g., 
  151.    papers and code) may be placed in the upload/ directory. Now holds the 
  152.    files from Togai's mail-server, and other files from Timothy Butler's 
  153.    site ntia.its.bldrdoc.gov. It also includes some demo programs. Send
  154.    email to Asgeir Osterhus, <asgeiro@dhhalden.no>.
  155.  
  156.    Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  157.    which contains demo versions of some of their software, fuzzy logic
  158.    bibliographies, conference announcements, a short introduction to
  159.    fuzzy logic, copies of the company newsletter, archives of
  160.    comp.ai.fuzzy, and so on. See the entry in the answer to question
  161.    [1-8] for more information on the company. To get started with the
  162.    fuzzy logic email server, send a message with NO SUBJECT LINE to
  163.    fuzzy-server@til.com, containing just the word "help" in the message
  164.    body.  The server will reply with a set of instructions.     Please
  165.    address any comments, questions or requests to either erik@til.com or
  166.    tanaka@til.com. Most of the contents of the TIL server is mirrored at
  167.    Tim Butler's fuzzy logic ftp repository at ntia.its.bldrdoc.gov and at
  168.    Ostfold ftp repository at ftp.dhhalden.no.  For more information,
  169.    write to Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718 or
  170.    call 714-975-8522.
  171.  
  172.    The Aptronix FuzzyNet files are available through an email
  173.    server. Send email to fuzzynet@aptronix.com with "help"
  174.    in the message body to get instructions on how to retrieve files.
  175.    "catalog" or "index" will get you a listing of available files.
  176.    (You can also connect to the FuzzyNet repository by modem to Aptronix
  177.    FuzzyNet 408-428-1883 N/8/1 1200-19,200 baud.) Files on the server
  178.    include descriptions of fuzzy logic applications (e.g., washing
  179.    machines, camera focusing, air conditioning), introductory materials,
  180.    Fide related information, archives of comp.ai.fuzzy, etc.     If you'd
  181.    like to have a file included in the FuzzyNet server (e.g., moderate
  182.    length technical reports), send email to Scott Irwin
  183.    <irwin@aptronix.com>.
  184.  
  185. Genetic Algorithms:
  186.  
  187.    The Genetic Algorithms Repository is located at ftp.aic.nrl.navy.mil. It
  188.    includes past copies of the genetic algorithms digest in /pub/galist/, a
  189.    copy of Nici Schraudolph's survey of free and commercial GA software in
  190.    /pub/galist/information/ga-software-survey.txt (send email to
  191.    <schraudo@cs.ucsd.edu> to add to the list), and some software, including
  192.    GAC (a simple GA written in C), GAL (a simple GA written in Common Lisp),
  193.    GAucsd, GECO (a Common Lisp toolbox for constructing genetic algorithms),
  194.    GENESIS, GENOCOP, Paragenesis (a parallel version of GENESIS that runs on
  195.    the CM-200), SGA-C (a C implementation/extension of Goldberg's SGA 
  196.    system).
  197.  
  198. Genetic Programming:
  199.  
  200.    The Genetic Programming Repository is located at
  201.    ftp.cc.utexas.edu:pub/genetic-programming/ [128.83.186.13]. It
  202.    contains the archives of the genetic programming mailing list
  203.    (including the GP FAQ posting), papers and source code. The source
  204.    code includes the GP implementation from Koza's book and some related
  205.    systems.
  206.  
  207. UC/Irvine (UCI) AI/Machine Learning Repository:
  208.  
  209.    ics.uci.edu has a variety of AI-related materials, with a special
  210.    focus on machine learning. The directory pub/machine-learning-databases
  211.    contains over 80 benchmark data sets for classifier systems (30mb).
  212.  
  213.    Files may also be retrieved by email using the archive server
  214.    archive-server@ics.uci.edu. Commands to the server should be given
  215.    in the message body. Some commands are:
  216.         help
  217.         send <archive> <file>
  218.         find <archive> <string>
  219.    The help command replies with a useful help message.
  220.  
  221.    Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  222.    Off-Site Assistant: David W. Aha (aha@cs.jhu.edu)
  223.  
  224. Machine Learning:
  225.  
  226.    Various programs (e.g., ID3) and publications related to machine
  227.    learning are available by anonymous ftp from the machine
  228.    learning group (under Raymond Mooney) at UT-Austin, at
  229.       cs.utexas.edu:pub/mooney.  
  230.    Subdirectories include 
  231.       ml-course information and homeworks from a graduate course
  232.                      in machine learning taught by Dr. Mooney. Homeworks
  233.                      include "miniatures" of various machine learning
  234.                      systems written in Common Lisp.
  235.       ml-code   Common Lisp code corresponding to the assignments
  236.                      for the course in the ml-course directory.
  237.       ml-progs  More "research-level" versions of inductive
  238.                      classification algorithms and software for automated
  239.                      experiments that generation learning curves that
  240.                      compare several systems. 
  241.       papers            Publications producted by the machine learning
  242.                      research group.
  243.  
  244. Machine Learning Algorithms Implemented in Prolog:
  245.  
  246.    In 1988 the Special Interest Group on Machine Learning of the German
  247.    Society for Computer Science (GI e.V.) decided to establish a library
  248.    of PROLOG implementations of Machine Learning algorithms. The library
  249.    includes - amongst others - PROLOG implementations of Winston's arch, 
  250.    Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of 
  251.    discriminations from derivation trees, Quinlan's ID3, inverse 
  252.    resolution, and Mitchell's version spaces algorithm. The programs are 
  253.    currently available via anonymous ftp-server from the GMD:
  254.  
  255.         ftp.gmd.de:/gmd/mlt/ML-Program-Library [129.26.8.90]
  256.  
  257.    Send additional PROLOG implementations of Machine Learning
  258.    Algorithms, complaints about them and detected bugs or problems
  259.    to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  260.    complaints about the ftp library to Werner Emde, Gesellschaft
  261.    fuer Mathematik und Datenverarbeitung, Bonn, <emde@gmdzi.gmd.de>. 
  262.  
  263. CMU Simulator Collection:
  264.  
  265.    The CMU Simulator Collection is available by anonymous ftp from 
  266.    ftp.cs.cmu.edu [128.2.206.173] in the directory
  267.       /afs/cs.cmu.edu/project/connect/code/
  268.    The collection includes Lisp and C implementations of Scott
  269.    Fahlman's Cascade Correlation algorithm, Scott Fahlman's
  270.    Quickprop variation on the back-propagation algorithm, and Scott
  271.    Fahlman's Recurrent Cascade-Correlation simulator. The collection also
  272.    includes Aspririn/Migraines and Tesauro. The neural network benchmark
  273.    collection is available in 
  274.       /afs/cs.cmu.edu/project/connect/bench/
  275.    The data sets include the NETtalk data, a vowel recognition
  276.    task, and several others.
  277.    The archives of the connectionists mailing list are kept in
  278.       /afs/cs.cmu.edu/project/connect/connect-archives/
  279.    along with a Lisp implementation of a backprop simulator. 
  280.  
  281. Funic Neural FTP Archive Site:
  282.  
  283.    The Finnish University maintains an archive site containing a large
  284.    collection of neural network papers and public domain software
  285.    gathered from FTP sites in the US. The files are available by
  286.    anonymous ftp from funic.funet.fi:/pub/sci/neural [128.214.6.100].
  287.    (Also know as ftp.funet.fi, nic.funet.fi.)  See the file 01README for
  288.    details. A list of mirrored ftp sites is in 04Neural_FTP_Sites.  For
  289.    further information, contact neural-adm@funic.funet.fi or Marko
  290.    Gronroos <magi@funic.funet.fi> (or <magi@utu.fi>).
  291.  
  292. OSU Neuroprose:
  293.    archive.cis.ohio-state.edu:/pub/neuroprose   [128.146.8.52]
  294.  
  295.    This directory contains technical reports as a public service to the
  296.    connectionist and neural network scientific community which has an
  297.    organized mailing list (for info: connectionists-request@cs.cmu.edu)
  298.  
  299. UKaiserslautern Neural/Fuzzy Repository:
  300.  
  301.    The University of Kaiserslautern has set up a ftp server for reports
  302.    and software related to its neural networks and fuzzy logic projects,
  303.    including the MOBOT, SPIN, and ALBATROSS projects.  Programs currently
  304.    available include Joerg Bruske's neural fuzzy decision system
  305.    SPIN-NFDS and Herman Keuchel's unsupervised clustering system.  Most
  306.    of the ready-to-run programs were written for the Apple Macintosh.
  307.    Sources for the "kernel" of the programs are available by ftp, written
  308.    in Pascal.  The user-interface code is also available upon request.
  309.    Some of the documentation is in German.  The papers and software are
  310.    available from ag_vp_file_server.informatik.uni-kl.de in the
  311.    directories Neural_Networks/Reports/ and Neural_Networks/Software/.
  312.    Some papers and software are also available from ftp.uni-kl.de in the
  313.    directory reports_uni-kl/computer_science/mobile_robots/.  For further
  314.    information, contact Uwe R. Zimmer <uzimmer@informatik.uni-kl.de>.
  315.  
  316. NL Software Registry:
  317.  
  318.    The Natural Language Software Registry is a catalogue of software
  319.    implementing core natural language processing techniques, whether
  320.    available on a commercial or noncommercial basis. Some of the topics
  321.    listed include speech signal processing, morphological analysis,
  322.    parsers, and knowledge representation systems. The catalogue is
  323.    available from the German Research Institute for Artificial
  324.    Intelligence (DFKI) in Saarbruecken (Germany) by anonymous ftp to
  325.    ftp.dfki.uni-sb.de:registry/, email to registry@dfki.uni-sb.de, or
  326.    physical mail to NL Software Registry, Deutsches Forschungszentrum
  327.    fuer Kuenstliche Intelligenz, Stuhlsatzenhausweg 3, D-W-6600
  328.    Saarbruecken, Germany, or by telephone to +49 (681) 303-5282.
  329.  
  330. Miscellaneous AI:
  331.  
  332.    Some miscellaneous AI programs may be found on ftp.uu.net:/pub/ai
  333.    Most are mirrors of programs available at other sites.
  334.  
  335.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  336.    other information maintained by the University of Texas at Austin.  It
  337.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  338.    Babbler, Jive, and some AI-related programming languages.     This
  339.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  340.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  341.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  342.  
  343. ----------------------------------------------------------------
  344. Subject: [4-2]  FTP and Other Resources
  345.  
  346. In addition to programs available free by anonymous ftp, we've
  347. included some programs which are available by contacting the authors,
  348. and some programs which charge a nominal fee.
  349.  
  350. Agent Modelling:
  351.  
  352.    ANIMALS is a simulation system written by Toby Tyrrell,
  353.    <toby@castle.ed.ac.uk>, for his PhD thesis.  The thesis examines the
  354.    problem of action selection when dealing with realistic, animal-like
  355.    situations: how to choose, at each moment in time, the most
  356.    appropriate out of a repertoire of possible actions.  It includes a
  357.    description is given of a simulated environment which is an extensive
  358.    and detailed simulation of the problem of action selection for
  359.    animals.  This simulated environment is used to investigate the
  360.    adequacy of several theories of action selection (from both ethology
  361.    and artificial intelligence) such as the drive model, Lorenz's
  362.    psycho-hydraulic model and Maes' spreading activation network, and
  363.    outlines deficiencies in each mechanism. Finally, it proposes a new
  364.    approach to action selection is developed which determines the most
  365.    appropriate action in a principled way, and which does not suffer from
  366.    the inherent shortcomings found in other methods. The thesis includes
  367.    a review and bibliography of existing work on action selection. The
  368.    thesis is available by anonymous ftp from ftp.ed.ac.uk:pub/lrtt/
  369.    [129.215.146.5] as the files as.1.ps.Z, as.2.ps.Z, ..., and as.7.ps.Z.
  370.    The simulation software is also available from the same site, as the
  371.    file se.tar.Z. The simulation software was written in Suntools rather
  372.    than Xtools.  It can be run only from SunView or OpenWindows.  The
  373.    action selection problem modelled by the simulated environment
  374.    comprises 15 different `sub-problems' (getting food, reproducing, not
  375.    getting lost, being vigilant for predators, etc), many internal and
  376.    external stimuli, and 35 different low-level actions to select
  377.    between.
  378.  
  379.    ViewGen (Viewpoint Generator) is a Prolog program that implements a
  380.    "Belief Ascription Algorithm" as described in Ballim and Wilks (see the
  381.    bibliography section on User Modelling).  This can be seen as a form of
  382.    agent modelling tool, which allows for the generation of arbitrarily deep
  383.    nested belief spaces based on the system's own beliefs, and on beliefs 
  384.    that are typically held by groups of agents.  ViewGen is available by
  385.    anonymous ftp from 
  386.       crl.nmsu.edu:pub/ViewFinder            [128.123.1.18] (user anonymous)
  387.       ftp.ims.uni-stuttgart.de:pub/ballim    [141.58.127.8] (user ftp)
  388.    as the file ViewGen.tar.Z. The theory of belief ascription upon which
  389.    it is based is described in detail in Ballim and Wilks, and a general
  390.    framework for attributing and maintaining nested propositional
  391.    attitudes is described in Afzal Ballim's dissertation which is
  392.    archived with the Viewgen program (in the files 
  393.       ViewFinder-{A4/A5/US}.tar.Z, 
  394.    the variable part indicating the format of the PostScript file).
  395.    The inheritance reasoner is in the file vf-hetis.tar.Z.
  396.    Implemented in Sicstus prolog, and hence easily convertible to
  397.    any Edinburgh-style prolog. Contact Afzal Ballim <afzal@divsun.unige.ch>
  398.    for more information. 
  399.  
  400. Analogical Reasoning:
  401.  
  402.    SME      -- multivac.ils.nwu.edu:pub/SME
  403.                Contact: Brian Falkenhainer <falkenhainer@parc.xerox.com>
  404.                         Ken Forbus <forbus@ils.nwu.edu>
  405.                the Structure-Mapping Engine, as described in Falkenhainer,
  406.                Forbus, and Gentner's 1987 AIJ article.  
  407.  
  408. Artificial Life:
  409.  
  410.    Tierra is an artificial life system for studying the evolution of digital
  411.    organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
  412.    is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
  413.    life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
  414.    doc/, and tierra/.  To be added to either the tierra-announce (official
  415.    announcements only) or tierra-digest (moderated discussion plus
  416.    announcements) mailing lists, send mail to
  417.    tierra-request@life.slhs.udel.edu. Send bug reports to
  418.    tierra-bug@life.slhs.udel.edu.
  419.  
  420. Blackboard Architectures:
  421.  
  422.    GBB (PD Version) -- dime.cs.umass.edu:/gbb
  423.  
  424.    GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  425.              Blackboard system. Runs on Symbolics and SUN.
  426.              Georgia Tech's Generic Expert System Tool (GEST)
  427.              Available to academic institutions for classroom use.
  428.  
  429. Case-based Reasoning:
  430.  
  431.    CL-Protos   -- cs.utexas.edu:/pub/porter
  432.                   Contact: Dan Dvorak <dvorak@cs.utexas.edu>
  433.                            Ray Bareiss <bareiss@ils.nwu.edu>
  434.                            Erik Eilerts <eilerts@cs.utexas.edu>
  435.                            Bruce W. Porter <porter@cs.utexas.edu>
  436.  
  437.    MICRO-xxx  -- cs.umd.edu:/pub/schank/icbr
  438.                  Contact: waander@cs.umd.edu
  439.                  The directory pub/schank/icbr contains the complete
  440.                  code for "Inside Case-Based Reasoning" by
  441.                  Riesbeck and Schank, 1989. This includes code
  442.                  for an instructional version of CHEF by Kristian Hammond.
  443.  
  444. Chess:
  445.  
  446.    The SAN Kit chess programming C source toolkit provides common routines
  447.    for move notation I/O, move generation, move execution, etc. Only search
  448.    routines and an evaluation function need be added to obtain a working
  449.    chess program. It runs on Apple Macintosh (Think C 5.0),
  450.    Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  451.    anonymous ftp from valkyries.andrew.cmu.edu [128.2.232.4] in the
  452.    directory pub/chess/misc as the compressed tar file SAN.tar.Z.
  453.    Also at this site is the SCP package, a restructured ANSI C port of
  454.    the 1987 Stanback Chess Program.
  455.    Contact Steven J. Edwards, sje@xylos.ma30.bull.com for more information.
  456.  
  457. Constraint Programming and Non-determinism:
  458.  
  459.    SCREAMER:
  460.  
  461.    Screamer is an extension of Common Lisp that adds support for
  462.    nondeterministic programming.  Screamer consists of two levels.  The
  463.    basic nondeterministic level adds support for backtracking and
  464.    undoable side effects.  On top of this nondeterministic substrate,
  465.    Screamer provides a comprehensive constraint programming language in
  466.    which one can formulate and solve mixed systems of numeric and
  467.    symbolic constraints.  Together, these two levels augment Common Lisp
  468.    with practically all of the functionality of both Prolog and
  469.    constraint logic programming languages such as CHiP and CLP(R).
  470.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  471.    programs can coexist and interoperate with other extensions to Common
  472.    Lisp such as CLOS, CLIM and Iterate.
  473.  
  474.    In several ways Screamer is more efficient than other implementations
  475.    of backtracking languages.  First, Screamer code is transformed into
  476.    Common Lisp which can be compiled by the underlying Common Lisp
  477.    system.  Many competing implementations of nondeterministic Lisp are
  478.    interpreters and thus are far less efficient than Screamer.  Second,
  479.    the backtracking primitives require fairly low overhead in Screamer.
  480.    Finally, this overhead to support backtracking is only paid for those
  481.    portions of the program which use the backtracking primitives.
  482.    Deterministic portions of user programs pass through the Screamer to
  483.    Common Lisp transformation unchanged.  Since in practise, only small
  484.    portions of typical programs utilize the backtracking primitives,
  485.    Screamer can produce more efficient code than compilers for languages
  486.    in which backtracking is more pervasive.
  487.  
  488.    Screamer is fairly portable across most Common Lisp implementations.
  489.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  490.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  491.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  492.    Common Lisp on Sun SPARC machines.  It should run under any
  493.    implementation of Common Lisp which is compliant with CLtL2 and with
  494.    minor revision could be made to run under implementations compliant
  495.    with CLtL1 or dpANS.
  496.  
  497.    Screamer is available by anonymous FTP from ftp.ai.mit.edu as the file
  498.    /pub/screamer.tar.Z. Contact Jeffrey Mark Siskind <qobi@ai.mit.edu> for 
  499.    further information.
  500.  
  501. Eliza and Similar Programs:
  502.  
  503.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  504.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  505.    Macintosh or DOS format from the publisher, Morgan Kaufmann. The
  506.    software includes Common Lisp implementations of: Eliza and pattern
  507.    matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers,
  508.    Unification and a prolog interpreter and compiler, Waltz
  509.    line-labelling, implementation of GPS, macsyma, and random number
  510.    generators.  For more information, write to Morgan Kaufmann, Dept. P1,
  511.    2929 Campus Drive, Suite 260, San Mateo CA 94403, call 800-745-7323,
  512.    or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5" ISBN
  513.    1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  514.  
  515.    The doctor.el is an implementation of Eliza for GNU-Emacs
  516.    emacs-lisp. Invoke it with "Meta-X doctor".
  517.  
  518.    Source code for ELIZA in Prolog (implemented by Viren
  519.    Patel) is available by ftp from aisun1.ai.uga.edu.
  520.  
  521.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  522.    a Lisp implementation of Eliza.
  523.  
  524.    Compute!'s Gazette, June 1984, includes source for a BASIC
  525.    implementation of Eliza. You can also find it in 101 more computer
  526.    games, edited by David Ahl, published by Creative Computing (alas,
  527.    they're defunct, and the book is out of print).
  528.  
  529.    Herbert Schildt "Artificial Intelligence using C", McGraw-Hill, 1987,
  530.    ISBN 0-07-881255-0, pp315-338, includes a simple version of DOCTOR.
  531.  
  532.    ucsd.edu:pub/pc-ai contains implementations of Eliza for the IBM PC.
  533.  
  534.    The original Parry (in MLISP for a PDP-10) is available in
  535.    labrea.stanford.edu:/pub/parry.tar.Z.
  536.  
  537.    RACTER is *not* public domain.  It costs $50 for MS-DOS and Macintosh
  538.    versions, the Inrac compiler is $200 (MS-DOS only), and the Inrac
  539.    manual alone is $25. Racter is available from John Owens, INRAC
  540.    Corp./Nickers International Ltd., 12 Schubert Street, Staten Island,
  541.    NY 10305, Tel: 718-448-6283, or Fax: 718-448-6298.  Racter was
  542.    published in 1984, and written in compiled BASIC. To read some of
  543.    RACTER's work, see "The Policeman's Beard is Half Constructed",
  544.    Computer Prose and Poetry by Racter, Warner Books, 1984.  ISBN
  545.    0-446-38051-2 (paperback). Written by William Chamberlain and Thomas
  546.    Etter. Some discussion of RACTER appears in A.K. Dewdney's book, "The
  547.    Armchair Universe". The Macintosh version runs only on SEs and Pluses
  548.    (it comes on a single-sided 400k copy-protected disk, with an old
  549.    version of the system).
  550.  
  551. Expert Systems:
  552.  
  553.    Free ftpable expert system shells are listed in [6-3].
  554.  
  555. Frame Systems:
  556.  
  557.      FrameWork   -- ftp.cs.cmu.edu:user/ai/software/kr/frames/framework/
  558.  
  559.      Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  560.  
  561.      FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  562.  
  563.      KR          -- Contact: Brad.Myers@cs.cmu.edu
  564.  
  565.      PARKA       -- Contact: spector@cs.umd.edu
  566.                     Frames for the CM
  567.  
  568.      PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  569.  
  570.      FROBS       -- cs.utah.edu:/pub/frobs.tar.Z
  571.                     Contact: Robert Kessler <kessler@cs.utah.edu>
  572.  
  573.      PFC         -- linc.cis.upenn.edu:
  574.  
  575.      YAK         -- Contact: Enrico Franconi <franconi@irst.it>
  576.  
  577. Fuzzy Logic:
  578.  
  579.    FLIE    -- ural.ethz.ch:/robo/flie
  580.               Contact: vestli@ifr.ethz.ch
  581.               Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  582.  
  583. Game Playing:
  584.  
  585.    METAGAME is a game-playing workbench for developing and playing
  586.    metagame programs. It includes a generator for symmetric chess-like
  587.    games; definitions of chess, checkers, chinese chess, shogi, lose
  588.    chess, lose checkers, french checkers, and tic tac toe translated into
  589.    symmetric chess-like games; a legal move generator; and a variety of
  590.    player programs, from simple through sophisticated.  The METAGAME
  591.    Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
  592.    ftp from ftp.cl.cam.ac.uk [128.232.0.56] in users/bdp/metagame.tar.Z.
  593.    For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  594.    University of Cambridge Computer Laboratory.
  595.  
  596. Genetic Algorithms:
  597.  
  598.    SCS (Simple Classifier System) is a C port of the system from
  599.    Appendix D of "Genetic Algorithms in Search, Optimization, and Machine
  600.    Learning" by David E. Goldberg. It was ported to C by Erik Mayer
  601.    <emayer@uoft02.utoledo.edu>. For more information, contact the author.
  602.  
  603.    SCS-C is another port to C of Goldberg's Simple Classifier System.
  604.    It includes some extensions, and runs on Sun 10/30 and Atari ST. SCS-C
  605.    is available via anonymous ftp as scs-c-0.98j.tar.Z from
  606.    lumpi.informatik.uni-dortmund.de:/pub/LCS/src/ [129.217.36.140].  The
  607.    documentation alone is available as scs-c-doc.tar.Z in the directory
  608.    /pub/LCS/docs/.  For more information, contact Joerg Heitkoetter
  609.    <joke@ls11.informatik.uni-dortmunde.de>, c/o Systems Analysis Group,
  610.    LSXI, Department of Computer Science, University of Dortmund, D-44221
  611.    Dortmund, Germany.
  612.  
  613.    GENITOR is available by anonymous ftp from the Colorado State
  614.    University Computer Science Department in 
  615.       beethoven.cs.colostate.edu:pub/GENITOR.tar [129.82.102.183]
  616.    For further information, contact starkwea@cs.colostate.edu or
  617.    mathiask@cs.colostate.edu. If these fail to work, contact
  618.    whitley@cs.colostate.edu.
  619.  
  620.    Other packages are described in detail in Nici Schraudolph's survey
  621.    of free and commercial GA software (see the Genetic Algorithms
  622.    Repository in [4-1]). Some of the free ones from Nici's list are
  623.    summarized below. Many are available from the GA Repository.
  624.  
  625.      GAucsd      Genetic algorithms software 
  626.                  cs.ucsd.edu:/pub/GAucsd/GAucsd14.ps.Z [132.239.51.3]
  627.                  Nici Schraudolph <nici@cs.ucsd.edu>
  628.                  To be put on a mailing list of GAucsd users, send
  629.                  the message "add GAucsd" to listserv@cs.ucsd.edu.
  630.  
  631.      GAbench     Genetic algorithms benchmarks and test problems  
  632.                  cs.ucsd.edu:/pub/GAbench/
  633.                  Thomas Kammeyer (tkammeye@cs.ucsd.edu)
  634.  
  635.      EM          Evolution Machine (EM)
  636.                  ftp-bionik.fb10.tu-berlin.de:pub/software/Evolution-Machine/
  637.                      [130.149.192.50]
  638.                      em_tc.exe (EM for Turbo C)
  639.                      em_tcp.exe (EM for Turbo C++)
  640.                      em_man.exe (the manual)
  641.                  Joachim Born <born@max.fb10.tu-berlin.de>
  642.  
  643.      Genie       GA-based modeling/forecasting system
  644.                  Lance Chambers <P_Stampoul@fennel.cc.uwa.oz.au>
  645.  
  646.      GENOCOP     GEnetic algorithm for Numerical Optimization for
  647.                  COnstrained Problems. Optimizes function with any
  648.                  number of linear constraints (equalities and inequalities)
  649.      Genetic-2   Optimization package for the linear transportation problem.
  650.      Genetic-2N  Optimization package for the nonlinear transportation problem.
  651.                  All three were developed by Zbigniew Michalewicz and are
  652.                  described in detail in his book "Genetic Algorithms + Data
  653.                  Structures = Evolution Programs", Springer Verlag,
  654.                  August 1992.
  655.                     unccsun.uncc.edu:coe/evol/ [152.15.10.88]
  656.             (also known as ftp.uncc.edu)
  657.                  Zbigniew Michalewicz <zbyszek@unccvax.uncc.edu>
  658.  
  659.      WOLF        Simulator for G/SPLINES algorithm (genetic spline models)
  660.                  David Rogers <drogers@riacs.edu>
  661.  
  662.      GAC, GAL    GA written in C/Lisp. Similar to John Grefenstette's Genesis.
  663.                  Bill Spears <spears@aic.nrl.navy.mil>
  664.  
  665.      ESCaPaDE    Experiments with evolutionary algorithsm.
  666.                  Frank Hoffmeister <iwan@ls11.informatik.uni-dortmund.de>
  667.                  (Send mail with subject line "help" or "get ESCaPaDE")
  668.  
  669.      mGA1.0      Common Lisp implementation of a messy GA as described in
  670.                  TCGA report 90004.
  671.      SGA-C       C-language port and extension of the original Pascal
  672.                  SGA code presented in Goldberg's book "Genetic
  673.                  Algorithms in Search, Optimization & Machine
  674.                  Learning", Addison Wesley, 1989. See TCGA report 91002.
  675.      SGA-Cube    Goldberg's SGA code modified for nCUBE 2 hypercube
  676.                  parallel computer.
  677.                  All three are available by e-mail from 
  678.                  Robert Elliott Smith <rob@comec4.mh.ua.edu>.
  679.  
  680.      BUGS        Demonstrates genetic algorithms.
  681.                     santafe.edu:pub/misc/BUGS/
  682.                  Joshua Smith <jrs@santafe.edu>
  683.  
  684.      SGPC        Simple Genetic Programming in C
  685.                     sfi.santafe.edu:pub/Users/tackett/
  686.                  Walter Alden Tackett and Aviram Carmi (gpc@ipld01.hac.com)
  687.  
  688.      GENEsYs     lumpi.informatik.uni-dortmund.de:pub/GA/src/ [129.217.36.140]
  689.                  Use "ftp" as user name, e-mail address as password.
  690.                  Thomas Baeck <baeck@ls11.informatik.uni-dortmund.de>
  691.  
  692.      GAGA        Jon Crowcroft <jon@cs.ucl.ac.uk>. cs.ucl.ac.uk:darpa/gaga.shar
  693.      Splicer     Steve Bayer <bayer@galileo.jsc.nasa.gov>
  694.      PARAGENESIS GA-Repository/e-mail Michael van Lent <vanlent@cs.utk.edu>
  695.      GENESIS     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  696.      OOGA        GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  697.      DGENESIS    Erick Cantu <ecantu@babbage.rhon.itam.mx> or 
  698.                              <ecantu@itamvms1.bitnet>.
  699.  
  700.      PGA         Parallel Genetic Algorithms testbed
  701.                  ftp.dai.ed.ac.uk:pub/pga-2.4/pga-2.4.tar.Z (192.41.104.152)
  702.                  Peter Ross, peter@aisb.ed.ac.uk
  703.  
  704. ICOT:
  705.  
  706.    Japan's Institute for New Generation Computer Technology (ICOT) has
  707.    made their software available to the public free of charge.  The
  708.    collection includes a variety of prolog-based programs in symbol
  709.    processing, knowledge representation, reasoning and problem solving,
  710.    natural language processing. All programs are available by anonymous
  711.    ftp from ftp.icot.or.jp.  Note that most of the programs are written
  712.    for the PSI machines, and very few have been ported to Unix-based
  713.    emulators.  For further information, send email to ifs@icot.or.jp, or
  714.    write to ICOT Free Software Desk, Institute for New Generation
  715.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  716.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  717.  
  718. Knowledge Representation:
  719.  
  720.    KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
  721.               Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  722.               Telos temporal/sorted logic system.
  723.  
  724.    SB-ONE  -- Contact: kobsa@inf-wiss.uni-konstanz.de
  725.               KL-ONE family
  726.    KRIS    -- Contact: baader@dfki.uni-kl.de
  727.               KL-ONE family (Symbolics only)
  728.    BACK    -- Contact: back@cs.tu-berlin.de
  729.               KL-ONE family
  730.    CLASSIC -- Contact: dlm@research.att.com
  731.               KL-ONE family
  732.    MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  733.               Modal KL-ONE (contains KRIS as a kernel). 
  734.               Implemented in Prolog.
  735.  
  736.    FOL GETFOL -- Contact: fausto@irst.it
  737.               Weyrauch's FOL system
  738.  
  739.    SNePS   -- Contact: shapiro@cs.buffalo.edu 
  740.               Semantic Nets
  741.  
  742.    COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
  743.                     Logic Programming
  744.    COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  745.                     Logic Programming
  746.    COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  747.                     Constraint System for Weighted Constraints over
  748.                     Hierarchically Structured Finite Domains.
  749.    COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  750.                     Terminological Knowl. Rep. w/Concrete Domains
  751.  
  752. Machine Learning:
  753.  
  754.    COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  755.  
  756.    FOIL     -- ftp.cs.su.oz.au:pub/{foil4.sh,foil5.sh} [129.78.8.208] 
  757.                Each shell archive contains source, a brief manual,
  758.                and several sample datasets. FOIL2 should be available
  759.                from sumex-aim.stanford.edu:/pub/FOIL.sh.
  760.  
  761.    RWM      -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet>
  762.                RWM is a program for learning problem solving strategies,
  763.                written in Common Lisp (tested on Suns and NeXT).
  764.  
  765.    IND      -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  766.                Tel: 706-542-3265 (ask for customer support)
  767.                Fax: 706-542-4807
  768.                IND is a C program for the creation and manipulation of
  769.                decision trees from data, integrating the CART,
  770.                ID3/C4.5, Buntine's smoothing and option trees, Wallace
  771.                and Patrick's MML method, and Oliver and Wallace's MML
  772.                decision graphs which extend the tree representation to
  773.                graphs. Written by Wray Buntine, <wray@kronos.arc.nasa.gov>.
  774.  
  775. Mathematics:
  776.  
  777.    SymbMath is a "symbolic calculator that can solve symbolic math
  778.    problems" written by Weiguang Huang <w.huang@unsw.edu.au>. It runs on
  779.    IBM PCs (8086) under MS-DOS. Shareware versions are available by
  780.    anonymous ftp from wsmr-simtel20.army.mil:/calculator/sm22a.zip or
  781.    rana.cc.deakin.oz.au:/huang/sm22a.zip or by e-mail from
  782.    listserv@vm1.nodak.edu (listserv@ndsuvm1.bitnet).
  783.  
  784. Medical Reasoning:
  785.  
  786.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  
  787.  
  788. Natural Language Processing:
  789.  
  790.    YACC      -- ftp.cs.cmu.edu:user/ai/lang/lisp/lisp/parse/johnson-yacc.lisp
  791.                 Contact: Mark Johnson <mj@cs.brown.edu>
  792.                 Lisp YACC/Parser.
  793.  
  794.    BABBLER   -- Contact: rsf1@ra.msstate.edu
  795.                 Markov chains/NLP
  796.  
  797.    PENMAN    -- Contact: hovy@isi.edu
  798.                 Natural Language Generation.
  799.  
  800.    PC-KIMMO  -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  801.                 An implementation of KIMMO morphological analyzer
  802.                 for the IBM PC. 
  803.  
  804.    FUF       -- Contact: elhadad@bengus.bgu.ac.il
  805.                    cs.columbia.edu: or
  806.               ftp: black.bgu.ac.il:/pub/fuf/fuf5.2.tar.Z
  807.                    cs.columbia.edu:pub/fuf/fuf5.2.tar.Z
  808.               Natural language generation system based on
  809.               Functional Unification Grammars.
  810.               Includes unifier, large grammar of English (surge)
  811.               user manual and many examples.  Written in Common Lisp.
  812.  
  813.    InterBASE -- Contact: Sergei Kuchin <kuchin@darmstadt.gmd.de>
  814.                 ftp: files interbas.exe, interba1.exe, interbas.txt on
  815.                     sics.se:/pub/packet-incoming
  816.                     ftp.uu.net:/tmp
  817.                     clr.nmsu.edu:/incoming
  818.                     debra.dgbt.doc.ca:/pub/incoming
  819.                 Natural language database front end
  820.  
  821.    RegEx    -- csd4.csd.uwm.edu:/pub/regex/
  822.                Translates regular expressions to DFAs. Written in C.
  823.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  824.  
  825.    Tom      -- csd4.csd.uwm.edu:/pub/regex/tomita/
  826.                C implementation of the Tomita parsing algorithm
  827.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  828.  
  829.    Common Lisp versions of the miniature natural language understanding
  830.    programs from "Inside Computer Understanding" by Schank and Riesbeck,
  831.    1981, are available by anonymous ftp from cs.umd.edu in the directory
  832.    pub/schank/icu. This includes the SAM and ELI miniatures. It will
  833.    eventually include copies of the miniature versions of PAM, POLITICS,
  834.    and Tale-Spin. The FOR macro is also available in this directory, as
  835.    are a set of functions for manipulating and matching lisp
  836.    representations of Conceptual Dependency formulas.  Contact Bill
  837.    Andersen <waander@cs.umd.edu> for more information.
  838.  
  839.    The Link Parser is a highly efficient English parser written by Danny
  840.    Sleator and Davy Temperley. It uses a novel grammatical formalism known
  841.    as Link Grammar to represent a robust and diverse collection of
  842.    English-language phenomena. The system is available by anonymous ftp from
  843.    spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
  844.    README file for more information.
  845.  
  846.    The Xerox part-of-speech tagger is available by anonymous ftp from
  847.    parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in
  848.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  849.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  850.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  851.    <pedersen@parc.xerox.com>.
  852.  
  853.    The Prolog and DCG programs from Pereira and Shieber's book, "Prolog
  854.    and Natural Language Analysis", are available by anonymous ftp from
  855.    das.harvard.edu:pub/shieber/pnla/. See the file README for the
  856.    conditions under which the material is distributed. If you retrieve
  857.    the files, please send an email message to the authors letting them
  858.    know how you plan to use them. For further information, write to
  859.    Fernando Pereira <pereira@research.att.com> or Stuart Shieber
  860.    <shieber@das.harvard.edu>.
  861.    
  862. Neural Networks:
  863.  
  864.    Aspirin/MIGRAINES is a neural network simulator available free from the
  865.    MITRE Corporation. It contains a neural network simulation code generator
  866.    which generates high performance C code implementations for
  867.    backpropagation networks. It runs on the following platforms: Apollo,
  868.    Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  869.    NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  870.    Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  871.    i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  872.    anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  873.    (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  874.    cd to this directory in one atomic operation) and UCLA's cognitive
  875.    science collection on ftp.cognet.ucla.edu (128.97.50.3) in the
  876.    directory alexis as the file am6.tar.Z. They include many
  877.    examples in the release, include an implementation of NETtalk.
  878.    For more information, contact Russell Leighton <leighton@mitre.org>.
  879.  
  880.    MUME (Multi-Module Neural Computing Environment) is a simulation
  881.    environment for multi-modules neural computing. It provides an object
  882.    oriented facility for the simulation and training of multiple nets
  883.    with various architectures and learning algorithms.  The object
  884.    oriented structure makes simple the addition of new network classes
  885.    and new learning algorithms. _ MUME includes a library of network
  886.    architectures including feedforward, simple recurrent, and
  887.    continuously running recurrent neural networks.  Each architecture is
  888.    supported by a variety of learning algorithms, including backprop,
  889.    weight perturbation, node perturbation, and simulated annealing.  MUME
  890.    can be used for large scale neural network simulations as it provides
  891.    support for learning in multi-net environments. It also provide pre-
  892.    and post-processing facilities.  MUME can be used to include
  893.    non-neural computing modules (decision trees, etc.) in applications. _
  894.    MUME is being developed at the Machine Intelligence Group at Sydney
  895.    University Electrical Engineering. The software is written in 'C' and
  896.    is being used on Sun and DEC workstations. Efforts are underway to
  897.    port it to the Fujitsu VP2200 vector processor using the VCC
  898.    vectorising C compiler, HP 9000/700, SGI workstations, DEC
  899.    Alphas, and PC DOS (with DJGCC). MUME is available to research
  900.    institutions on a media/doc/postage cost arrangement after
  901.    signing a license agreement. The license agreement is available by
  902.    anonymous ftp from 129.78.13.39:/pub/license.ps. An overview of mume
  903.    is available from the same machine as /pub/mume-overview.ps.Z. It is
  904.    also available free for MSDOS by anonymous ftp from
  905.       brutus.ee.su.oz.au:/pub/MUME-0.5-DOS.zip 
  906.    For further information, write to Marwan Jabri, SEDAL, Sydney
  907.    University Electrical Engineering, NSW 2006 Australia, 
  908.    call +61-2-692-2240, fax +61-2-660-1228, or send email to
  909.    Marwan Jabri <marwan@sedal.su.oz.au>. To be added to the mailing
  910.    list, send email to mume-request@sedal.su.oz.au.
  911.  
  912.    Adaptive Logic Network (ALN) 
  913.    The atree adapative logic network simulation package is available by
  914.    anonymous ftp from ftp.cs.ualberta.ca [129.128.4.241] in
  915.    pub/atree/atree2.tar.Z (Unix). The MS-Windows 3.x version for the IBM PC
  916.    is available as either pub/atree/atre27.exe (includes C/C++ sources)
  917.    or pub/atree/a27exe.exe (just the executables).  The PC version has
  918.    a lot more documentation than the Unix version. The Unix version has
  919.    been ported to the Macintosh, Amiga, and other machines.
  920.    Documentation is in pub/atree/atree2.ps.Z. Also in this directory is a
  921.    rather impressive OCR demo using atree. To be added to the mailing
  922.    list, send email to alnl-request@cs.ualberta.ca. For more information,
  923.    contact William W. Armstrong, <arms@cs.ualberta.ca>.
  924.  
  925.    BPS
  926.    Neural network simulator. Other files of interest. Executables are
  927.    free; source code for a small fee.
  928.    gmuvax2.gmu.edu:nn [no longer there?]
  929.  
  930.    NeuralShell
  931.    Availible by anonymous ftp from quanta.eng.ohio-state.edu [128.146.35.1]
  932.    in the directory pub/NeuralShell/ as the file NeuralShell.tar.
  933.  
  934.    CONDELA
  935.    A neural network definition language.
  936.    tut.cis.ohio-state.edu:/pub/condela
  937.  
  938.    ROCHESTER CONNECTIONIST SIMULATOR
  939.    Available from cs.rochester.edu:pub/simulator [192.5.53.209].
  940.    Includes a backprop package and an X11/SunView interface.
  941.  
  942.    UCLA-SFINX
  943.    retina.cs.ucla.edu:pub/sfinx_v2.0.tar.Z [131.179.16.6]
  944.    Username sfinxftp, password joshua. Contact sfinx@retina.cs.ucla.edu
  945.    for more information.
  946.  
  947.    XERION
  948.    A neural network simulator from Drew van Camp at the University
  949.    of Toronto. It provides a library of routines for building networks
  950.    and graphically displaying them. Written in C and uses the X window
  951.    system for graphics. Example simulators include Back Propagation,
  952.    Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
  953.    Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
  954.    Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
  955.    (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
  956.    See the file /pub/xerion.README for more information. Also included
  957.    is a little program called sciam that contains the basic kernel that
  958.    was published in the September 1992 issue of Scientific American.
  959.    To be added to the mailing list, send mail to xerion-request@ai.toronto.edu.
  960.    Bugs should be reported to xerion-bugs@ai.toronto.edu. Complaints, 
  961.    suggestions or comments may be sent to xerion@ai.toronto.edu.
  962.  
  963.    SNNS (Stuttgart Neural Network Simulator) is a software simulator for
  964.    neural networks on Unix workstations developed at the Institute for
  965.    Parallel and Distributed High Performance Systems (IPVR) at the
  966.    University of Stuttgart. The SNNS simulator contains a simultor kernel
  967.    written in ANSI C and a 2D/3D graphical user interface running under
  968.    X11R4/X11R5. It runs under Sun Sparc (SLC, ELC, SS2, GX, GS), DECstation
  969.    (2100, 3100, 5000/200), IBM RS 6000, HP 9000, and IBM-PC (386/486). SNNS
  970.    includes the following learning procedures: backpropagation (online,
  971.    batch, with momentum and flat spot elimin., time delay),
  972.    counterpropagation, quickprop, backpercolation 1, and generalized radial
  973.    basis functions (RBF), RProp, recurrent ART1, ART2 and ARTMAP, Cascade
  974.    Correlation and Recurrent Cascade Correlation, Dynamic LVQ, and Time
  975.    delay networks (TDNN). (Elman networks and some other network paradigms
  976.    have already been implemented but are scheduled for a later release.)
  977.    The SNNS simulator can be obtained via anonymous ftp from
  978.    ftp.informatik.uni-stuttgart.de:/pub/SNNS/SNNSv2.1.tar.Z [129.69.211.2].
  979.    The PostScript version of the user manual can be obtained as file
  980.    SNNSv2.1.Manual.ps.Z.  To be added to the mailing list, send a message
  981.    to listserv@informatik.uni-stuttgart.de with "subscribe snns <Your Full
  982.    Name>" in the message body. Submissions may be sent to
  983.    snns@informatik.uni-stuttgart.de. For further information, contact
  984.    Andreas Zell, <zell@informatik.uni-stuttgart.de>.
  985.  
  986.    NEOCOGNITRON SIMULATOR
  987.    The Neocognitron Simulator is written in C and is available by
  988.    anonymous ftp from 
  989.       tamsun.tamu.edu:/pub/neocognitron.Z.tar [128.194.15.32] 
  990.       unix.hensa.ac.uk:/pub/uunet/pub/ai/neural/neocognitron.tar.Z
  991.          [129.12.21.7]   
  992.  
  993.    PLANET (aka SunNet)
  994.    Simulator that runs under X Windows. Written by Yoshiro Miyata
  995.    <miyata@sccs.chukyo-u.ac.jp> of Chukyo University, Japan.
  996.    Available by anonymous ftp from 
  997.     tutserver.tut.ac.jp:pub/misc/PlaNet5.7.tar.Z  [133.15.240.3]
  998.     boulder.colorado.edu:pub/generic-sources/PlaNet5.7.tar.Z [128.138.240.1]
  999.    Includes documentation. 
  1000.  
  1001.    LVQ_PAK and SOM_PAK
  1002.    LVQ_PAK (Learning Vector Quantization) and SOM_PAK (Self-Organizing Maps)
  1003.    were written by the LVQ/SOM Programming Team of the Helsinki
  1004.    University of Technology, Laboratory of Computer and Information
  1005.    Science, Rakentajanaukio 2 C, SF-02150 Espoo, FINLAND. The PAKs
  1006.    run in Unix and MS-DOS systems. Available by anonymous ftp from
  1007.    cochlea.hut.fi [130.233.168.48] in the directories /pub/lvq_pak/
  1008.    and /pub/som_pak/.
  1009.  
  1010.    MACTIVATION
  1011.    bruno.cs.colorado.edu:/pub/cs/misc/   [128.138.243.151]
  1012.    as the file Mactivation-3.3.sea.hqx.          
  1013.  
  1014.    DartNet
  1015.    A Macintosh-based Neural Network Simulator with a nice graphical
  1016.    interface. Available by anonymous ftp from
  1017.       dartvax.dartmouth.edu:/pub/mac/dartnet.sit.hqx [129.170.16.4] 
  1018.    or by email from bharucha@dartmouth.edu.  New network architectures
  1019.    and learning algorithms can be added to the system by writing small
  1020.    XCMD-like CODE resources called nDEF's ("Network Definitions").  For
  1021.    more information, send email to Sean P. Nolan,
  1022.    <sean@coos.dartmouth.edu>.
  1023.  
  1024.    NevProp is a C implementation of general purpose backpropagation
  1025.    software, based on Quickprop 1.0 by Scott Fahlman, as translated from
  1026.    Common Lisp into C by Terry Regier. It runs on Unix, Macintosh, and
  1027.    DOS. The quickprop algorithm itself has not changed substantially, but
  1028.    it now includes options to force gradient descent (per-epoch or
  1029.    per-pattern), generalization & stopped training, c index, and interface 
  1030.    enhancements. It is available by anonymous ftp from unssun.scs.unr.edu
  1031.    [134.197.10.128] pub/goodman/nevpropdir/ as the file npxxx.shar
  1032.    (replace xxx with the version number) or from the CMU Simulator Collection.
  1033.    For further information, contact Phil Goodman <goodman@unr.edu>.
  1034.  
  1035.    TCS (Tasmanian Connectionist Simulator) is a neural network
  1036.    simulation package written in Borland C++ for Windows available by
  1037.    anonymous ftp from 
  1038.      ftp.psychol.utas.edu.au:/pub/tcs [131.217.35.98]
  1039.    For further information, write to Zoltan Schreter Dept. Psychology
  1040.    University of Tasmania Hobart, Tasmania AUSTRALIA,
  1041.    <zoltan@psychnet.psychol.utas.edu.au>.
  1042.  
  1043. Probabilistic Reasoning:
  1044.  
  1045.    BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
  1046.                Contact: Russell Almond <almond@stat.washington.edu>
  1047.                                        <almond@statsci.com>
  1048.  
  1049.    IDEAL    -- Contact: srinivas@rpal.rockwell.com
  1050.                Bayesian networks
  1051.  
  1052. Planning:
  1053.  
  1054.    NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  1055.                Contact: nonlin-users-request@cs.umd.edu
  1056.                         nonlin-bugs@cs.umd.edu
  1057.  
  1058.    ABTWEAK  -- jupiter.drev.dnd.ca:pub/steve/Abtweak   
  1059.                Contact: Steven Woods <woods@drev.dnd.ca>
  1060.  
  1061.    RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
  1062.                Contact: Brad Miller <miller@cs.rochester.edu>
  1063.  
  1064.    SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
  1065.                Contact: weld@cs.washington.edu
  1066.                Nonlinear planner.
  1067.  
  1068.    IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  1069.                Contact: idm-users@chelmsford.gsfc.nasa.gov
  1070.                STRIPS-like planning.
  1071.  
  1072.    PRODIGY  -- Contact: prodigy@cs.cmu.edu
  1073.                Integrated Planning and Learning System
  1074.  
  1075.    SOAR     -- ftp.cs.cmu.edu:
  1076.                  /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
  1077.                  /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
  1078.                Contact: soar-request@cs.cmu.edu
  1079.                Integrated Agent Architecture. 
  1080.                Supports learning through chunking.
  1081.  
  1082.    MATS     -- Contact: kautz@research.att.com
  1083.                Temporal constraints
  1084.  
  1085. Qualitative Reasoning/Qualitative Physics:
  1086.  
  1087.    QSIM     -- cs.utexas.edu:/pub/qsim
  1088.                Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  1089.  
  1090.    QPE      -- multivac.ils.nwu.edu:pub/QPE
  1091.                contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
  1092.                Qualitative Process Engine (an implementation of QP theory)
  1093.  
  1094. Robotics (Planning Testbeds and Simulators):
  1095.  
  1096.    TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z
  1097.                Planning testbed
  1098.  
  1099.    The ARS MAGNA abstract robot simular provides an abstract world in
  1100.    which a planner controls a mobile robot. This abstract world is more
  1101.    realistic than typical blocks worlds, in which micro-world simplifying
  1102.    assumptions do not hold. Experiments may be controlled by varying
  1103.    global world parameters, such as perceptual noise, as well as building
  1104.    specific environments in order to exercise particular planner
  1105.    features. The world is also extensible to allow new experimental
  1106.    designs that were not thought of originally. The simulator also
  1107.    includes a simple graphical user-interface which uses the CLX
  1108.    interface to the X window system. ARS MAGNA can be obtained by
  1109.    anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the pub/nisp
  1110.    directory. Installation instructions are in the file
  1111.    Installation.readme. The simulator is written in Nisp, a macro-package
  1112.    for Common Lisp. Nisp can be retrieved in the same way as the
  1113.    simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  1114.    Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  1115.    Robot Simulator". This report is available in the distribution as a
  1116.    PostScript file. Comments should be directed to Sean Philip
  1117.    Engelson <engelson@cs.yale.edu>.
  1118.  
  1119.    Simderella is a robot simulator consisting of three programs: CONNEL
  1120.    (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  1121.    X-windows oriented graphics back-end). SIMMEL performs a few matrix
  1122.    multiplications, based on the Denavit Hartenberg method, calculates
  1123.    velocities with the Newton-Euler scheme, and communicates with the
  1124.    other two programs.  BEMMEL only displays the robot.  CONNEL is the
  1125.    controller, which must be designed by the user (in the distributed
  1126.    version, CONNEL is a simple inverse kinematics routine.)  The programs
  1127.    use Unix sockets for communication, so you must have sockets, but you
  1128.    can run the programs on different machines.  The software is available
  1129.    by anonymous ftp from
  1130.       galba.mbfys.kun.nl:pub/neuro-software/pd/ [131.174.82.73]
  1131.    as the file simderella.1.0.tar.Z The software has been compiled using
  1132.    gcc on SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and
  1133.    10, and Silicon Graphics architectures. For more information,
  1134.    send email to Patrick van der Smagt, <smagt@fwi.uva.nl>.
  1135.  
  1136.    The Michigan Intelligent Coordination Experiment (MICE) testbed is a
  1137.    tool for experimenting with coordination between intelligent systems
  1138.    under a variety of conditions.  MICE simulates a two-dimensional
  1139.    grid-world in which agents may move, communicate, and affect their
  1140.    environment.  MICE is essentially a discrete-event simulator that
  1141.    helps control the domain and a graphical representation, but provides
  1142.    relatively few constraints on the form of the domain and the agents'
  1143.    abilities.  Users may specify the time required by various activities,
  1144.    the constraints on an agents' sensors, the configuration of the domain
  1145.    and its properties, etc.  MICE runs under XWindows on Un*x boxes, on
  1146.    Macs, and on TI Explorers, with relatively consistent graphical
  1147.    displays.  Source code, documentation, and examples are available via
  1148.    anonymous ftp to ftp.eecs.umich.edu:Mice/Mice.tar.Z.  MICE was
  1149.    produced by the University of Michigan's Distributed Intelligent Agent
  1150.    Group (UM DIAG).  For further information, write to
  1151.    umdiagmice@caen.engin.umich.edu.
  1152.  
  1153. Simulated Annealing:
  1154.  
  1155.    VFSR (Very Fast Simulated Reannealing) is a powerful global optimization
  1156.    C-code algorithm especially useful for nonlinear and/or stochastic
  1157.    systems. Most current copies usually can be obtained by anonymous ftp
  1158.    from ftp.uu.net:tmp/vfsr.Z.
  1159.    Older versions can be found in the Netlib archive (research.att.com:opt/,
  1160.    logging in as netlib), the Statlib archive (lib.stat.cmu.edu, logging in
  1161.    as statlib), the UMIACS archive (ftp.umiacs.umd.edu:pub/ingber), and the
  1162.    UTSA archive (ringer.cs.utsa.edu:/pub/rosen).  The authors have
  1163.    (p)reprints related to VFSR in their archives: Lester Ingber has a review
  1164.    article, sarev.ps.Z, in the UMIACS archive (and on uunet in /tmp), and
  1165.    Bruce Rosen has a comparison study, "Function Optimization based on
  1166.    Advanced Simulated Annealing", which is available in the UTSA archive as
  1167.    the file rosen.advsim.ps.Z. Copies of the code are also available
  1168.    by email from the author, Lester Ingber <ingber@alumni.caltech.edu>.
  1169.  
  1170.    Adaptive Simulated Annealing (ASA) is available by anonymous ftp from
  1171.    ftp.caltech.edu:pub/ingber [131.215.48.151].
  1172.  
  1173. Speech:
  1174.  
  1175.    RECNET is a complete speech recognition system for the DARPA TIMIT and
  1176.    Resource Management tasks.  It uses recurrent networks to estimate phone
  1177.    probabilities and Markov models to find the most probable sequence of
  1178.    phones or words.  The system is a snapshot of evolving research code.
  1179.    There is no documentation other than published research papers.  It is
  1180.    configured for the two specific databases and is unlikely to be of use as
  1181.    a complete system for other tasks. It is available by anonymous ftp from
  1182.    svr-ftp.eng.cam.ac.uk:misc/recnet-1.3.tar.Z. Related publications can be
  1183.    found in svr-ftp.eng.cam.ac.uk:reports/ (see the ABSTRACT file first).
  1184.    You will need the relevant CDROMs, 150MByte of free space for TIMIT and
  1185.    300MByte for RM. If you use the code, the author would appreciate an
  1186.    email message so that he can keep you informed of new releases. Write to
  1187.    Tony Robinson, <ajr@eng.cam.ac.uk>, for more information.
  1188.  
  1189.    CELP 3.2a is available from super.org:/pub/celp_3.2a.tar.Z
  1190.    [192.31.192.1] with copies available on
  1191.    svr-ftp.eng.cam.ac.uk:comp.speech/sources/ The code (C, FORTRAN,
  1192.    diskio) all has been built and tested on a Sun4 under SunOS4.1.3.  If
  1193.    you want to run it somewhere else, then you may have to do a bit of
  1194.    work.  (A Solaris 2.x-compatible release is planned soon.) Written by
  1195.    Joe Campbell <jpcampb@afterlife.ncsc.mil> of the Department of
  1196.    Defense. Distribution facilitated by Craig F. Reese
  1197.    <cfreese@super.org>, IDA/Supercomputing Research Center.
  1198.  
  1199. Theorem Proving/Automated Reasoning:
  1200.  
  1201.    Otter         -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  1202.                     anagram.mcs.anl.gov:pub/Otter/
  1203.                     Contact: otter@mcs.anl.gov
  1204.                     Resolution-based theorem prover.
  1205.  
  1206.    ATP Problems  -- anagram.mcs.anl.gov:pub/ATP_Problems/*
  1207.                     Collection of ATP problems from Otter, CADE, and JAR.
  1208.                     The problems include algebra, analysis, circuits,
  1209.                     geometry, logic problems, Pelletier's problem set,
  1210.                     program verification, puzzles, set theory, and topology.
  1211.  
  1212.    SETHEO        -- flop.informatik.tu-muenchen.de:pub/fki/ [131.159.8.35]
  1213.                     Get the files setheo.info and setheo.tar.Z.
  1214.                     SETHEO (SEquential THEOrem prover) is an automated
  1215.                     theorem prover for formulae of predicate logic. 
  1216.                     SETHEO is based on the calculus of ``connection
  1217.                     tableaux''. SETHEO runs on Sun SPARCs only.  
  1218.                     Contact: setheo@informatik.tu-muenchen.de
  1219.  
  1220.    Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  1221.                ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
  1222.                   [131.159.0.110] 
  1223.                Relevant files include:
  1224.                  intro.dvi.Z   "Introduction to Isabelle"
  1225.                  ref.dvi.Z     "The Isabelle Reference Manual"
  1226.                  logics.dvi.Z  "Isabelle's Object-Logics"
  1227.                  92.tar.Z      Isabelle-92 distribution directory
  1228.                Written in Standard ML, and comes with 8 different
  1229.                logics, including LCF, some modal logics, first-order
  1230.                logic, Zermelo-Fraenkel set theory, and higher-order logic.
  1231.                Contact: Larry.Paulson@cl.cam.ac.uk
  1232.                         Tobias.Nipkow@informatik.tu-muenchen.de
  1233.  
  1234.    MVL      -- t.stanford.edu:/mvl/mvl.tar.Z
  1235.                Contact: ginsberg@t.stanford.edu
  1236.                Multi-valued logics
  1237.  
  1238.    Boyer-Moore -- ftp.cli.com:pub/nqthm/nqthm.tar.Z
  1239.                   rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  1240.                   Contact: kaufmann@cli.com
  1241.  
  1242.    DTP       -- meta.stanford.edu:/pub/dtp/   [36.8.0.54]
  1243.                 Contact: Don Geddis <geddis@cs.stanford.edu>
  1244.                 Domain-independent search control of inference. Runs in
  1245.                 Allegro and Lucid Common Lisp.
  1246.  
  1247.    RRL       -- herky.cs.uiowa.edu:public/rrl [128.255.28.100]
  1248.                 Rewrite Rule Laboratory
  1249.  
  1250.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  1251.    a portable resolution theorem-prover written in Common Lisp. It is
  1252.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  1253.    If you take a copy of FRAPPS, please send a short note to Prof.
  1254.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  1255.  
  1256.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  1257.    efficient proof checker. It is available by anonymous ftp to
  1258.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  1259.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  1260.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  1261.    <myra@saul.cis.upenn.edu>.
  1262.  
  1263.    Gazer is a sequent calculus based system for first order logic with a
  1264.    novel inference rule, gazing, that enables the system to determine
  1265.    which of a possibly large number of definitions and lemmas should be
  1266.    used at any point in a proof. Available from the authors, Dave
  1267.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  1268.    <alex@cs.swarthmore.edu>. 
  1269.  
  1270. Truth Maintenance:
  1271.  
  1272.    The truth maintenance system and problem solver implementations
  1273.    described in the book "Building Problem Solvers" by Ken Forbus and
  1274.    Johan de Kleer are available by anonymous ftp from
  1275.    parcftp.xerox.com:/ftp/pub/bps/. For more information send mail to
  1276.    Johan de Kleer <deKleer@parc.xerox.com>.
  1277.  
  1278. Miscellaneous:
  1279.  
  1280.    University of Toronto:
  1281.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  1282.  
  1283.       Archives of ailist mailing list, defunct as of January 19, 1990
  1284.  
  1285.    PAIL (Portable AI Lab)
  1286.       ftp   -- pobox.cscs.ch:/pub/ai/pail-2.2/  [148.187.10.13]
  1287.       contact: pail-info@idsia.ch
  1288.       authors: Mike Rosner <mike@idsia.ch> 
  1289.                Dean Allemang <allemang@lia.di.epfl.ch>
  1290.                
  1291.  
  1292. CD-ROMS:
  1293.  
  1294.    The Artificial Intelligence CD-ROM (Volume One, 1992) is available
  1295.    from Network Cybernetics Corporation for $129.00 per copy (plus $5
  1296.    shipping domestic, $10 shipping international). The AI CD-ROM is an
  1297.    ISO-9660 format disk usable on any computer system, and contain a
  1298.    variety of public domain, shareware, and other software of special
  1299.    interest to the AI community. The disk contains source code,
  1300.    executable programs, demonstration versions of commercial programs,
  1301.    tutorials and other files for a variety of operating systems. Among
  1302.    the supported operating systems are MS-DOS, OS/2, Mac, Amiga, and
  1303.    Unix. Among the items included are CLIPS v5.1 and NETS, courtesy of
  1304.    COSMIC, the collected source code from AIExpert magazine from the
  1305.    premier issue in June of 1986 to the present, and complete
  1306.    transcriptions of the first annual Loebner Prize competition, which
  1307.    took place at the Boston Computer Museum. It also includes examples
  1308.    many different kinds of neural networks, genetic algorithms,
  1309.    artificial life simulators, natural language software, public domain
  1310.    and shareware compilers for a wide range of languages such as Lisp,
  1311.    Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL, and many
  1312.    others. Complete collections of the Neural Digest, Genetic Algorithms
  1313.    Digest, and Vision List Digest are included. Network Cybernetics
  1314.    Corporation intends to release annual revisions to the AI CD-ROM to
  1315.    keep it up to date with current developments in the field. For more
  1316.    information, write to Network Cybernetics Corporation, 4201 Wingren
  1317.    Road, Suite 202, Irving, Texas 75062-2763, call 214-650-2002, fax
  1318.    214-650-1929, or send email to ai-cdrom@ncc.com or
  1319.    steve.rainwater@ncc.com (Steve Rainwater).
  1320.  
  1321.    PTF is a semi-annual CD-ROM collection of UNIX-related freeware source
  1322.    code and documentation. PTF in no way modifies the legal restrictions
  1323.    on any package it includes. Each issue consists of two ISO-9660
  1324.    CD-ROMs, bound into a 50+ page booklet. PTF is particularly useful for
  1325.    programmers who do not have FTP access, but may also be useful as a
  1326.    way of saving disk space and avoiding annoying FTP searches and
  1327.    retrievals. The current issue (2-1; January, 1993) includes, among
  1328.    other things, ICOT collection and several varieties of Lisp and other
  1329.    AI languages. It sells (list) for $60 US plus applicable sales tax and
  1330.    shipping and handling charges. SUG and USENIX members may purchase the
  1331.    issue for $50. Payable through Visa, Mastercard, postal money orders
  1332.    in US funds, and checks in US funds drawn on a US bank. For more
  1333.    information write to Prime Time Freeware, 370 Altair Way, Suite 150,
  1334.    Sunnyvale, CA 94086 call 408-433-9662, fax 408-432-6149, or send email
  1335.    to ptf@cfcl.com.
  1336. ----------------------------------------------------------------
  1337. ;;; *EOF*
  1338.