home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / answers / ai-faq / part5 < prev    next >
Text File  |  1993-12-12  |  45KB  |  947 lines
  1. Newsgroups: comp.ai,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!news.kei.com!eff!news.umbc.edu!europa.eng.gtefsd.com!fs7.ece.cmu.edu!honeydew.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 5/6 [Monthly posting]
  5. Message-ID: <ai_5.faq_755770465@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_5.faq_753178097@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: Mon, 13 Dec 1993 08:14:51 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: Mon, 24 Jan 1994 08:14:25 GMT
  16. Lines: 928
  17. Xref: senator-bedfellow.mit.edu comp.ai:19792 news.answers:15730 comp.answers:2982
  18.  
  19. Archive-name: ai-faq/part5
  20. Last-Modified: Mon Nov 15 15:57:16 1993 by Mark Kantrowitz
  21. Version: 1.14
  22.  
  23. ;;; ****************************************************************
  24. ;;; Answers to Questions about Artificial Intelligence *************
  25. ;;; ****************************************************************
  26. ;;; Written by Mark Kantrowitz
  27. ;;; ai_5.faq -- 43995 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. Note: Question [4-2] is split across parts 4 and 5.
  36.  
  37. Part 5 (FTP Resources):
  38.   [4-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  39.   [5-1]  AI Bibliographies available by FTP
  40.   [5-2]  AI Technical Reports available by FTP
  41.   [5-3]  Where can I get a machine readable dictionary, thesaurus, and
  42.          other text corpora?
  43.   [5-4]  List of Smalltalk implementations.
  44.   [5-5] AI-related CD-ROMs
  45.  
  46. Search for [#] to get to question number # quickly.
  47.  
  48. ----------------------------------------------------------------
  49. Subject: [4-2b] FTP and Other Resources: Qualitative Reasoning -- 
  50.                 Theorem Proving
  51.  
  52. Qualitative Reasoning/Qualitative Physics:
  53.  
  54.    QSIM     -- cs.utexas.edu:/pub/qsim
  55.                Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  56.  
  57.    QPE      -- multivac.ils.nwu.edu:pub/QPE
  58.                contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
  59.                Qualitative Process Engine (an implementation of QP theory)
  60.  
  61. Robotics (Planning Testbeds and Simulators):
  62.  
  63.    TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z
  64.                Planning testbed
  65.  
  66.    The ARS MAGNA abstract robot simular provides an abstract world in
  67.    which a planner controls a mobile robot. This abstract world is more
  68.    realistic than typical blocks worlds, in which micro-world simplifying
  69.    assumptions do not hold. Experiments may be controlled by varying
  70.    global world parameters, such as perceptual noise, as well as building
  71.    specific environments in order to exercise particular planner
  72.    features. The world is also extensible to allow new experimental
  73.    designs that were not thought of originally. The simulator also
  74.    includes a simple graphical user-interface which uses the CLX
  75.    interface to the X window system. ARS MAGNA can be obtained by
  76.    anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the pub/nisp
  77.    directory. Installation instructions are in the file
  78.    Installation.readme. The simulator is written in Nisp, a macro-package
  79.    for Common Lisp. Nisp can be retrieved in the same way as the
  80.    simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  81.    Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  82.    Robot Simulator". This report is available in the distribution as a
  83.    PostScript file. Comments should be directed to Sean Philip
  84.    Engelson <engelson@cs.yale.edu>.
  85.  
  86.    Simderella is a robot simulator consisting of three programs: CONNEL
  87.    (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  88.    X-windows oriented graphics back-end). SIMMEL performs a few matrix
  89.    multiplications, based on the Denavit Hartenberg method, calculates
  90.    velocities with the Newton-Euler scheme, and communicates with the
  91.    other two programs.  BEMMEL only displays the robot.  CONNEL is the
  92.    controller, which must be designed by the user (in the distributed
  93.    version, CONNEL is a simple inverse kinematics routine.)  The programs
  94.    use Unix sockets for communication, so you must have sockets, but you
  95.    can run the programs on different machines.  The software is available
  96.    by anonymous ftp from
  97.       galba.mbfys.kun.nl:pub/neuro-software/pd/ [131.174.82.73]
  98.    as the file simderella.1.0.2.tar.Z The software has been compiled using
  99.    gcc on SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and
  100.    10, and Silicon Graphics architectures. For more information,
  101.    send email to Patrick van der Smagt, <smagt@fwi.uva.nl>.
  102.  
  103.    The Michigan Intelligent Coordination Experiment (MICE) testbed is a
  104.    tool for experimenting with coordination between intelligent systems
  105.    under a variety of conditions.  MICE simulates a two-dimensional
  106.    grid-world in which agents may move, communicate, and affect their
  107.    environment.  MICE is essentially a discrete-event simulator that
  108.    helps control the domain and a graphical representation, but provides
  109.    relatively few constraints on the form of the domain and the agents'
  110.    abilities.  Users may specify the time required by various activities,
  111.    the constraints on an agents' sensors, the configuration of the domain
  112.    and its properties, etc.  MICE runs under XWindows on Un*x boxes, on
  113.    Macs, and on TI Explorers, with relatively consistent graphical
  114.    displays.  Source code, documentation, and examples are available via
  115.    anonymous ftp to ftp.eecs.umich.edu:software/Mice/Mice.tar.Z.  MICE was
  116.    produced by the University of Michigan's Distributed Intelligent Agent
  117.    Group (UM DIAG).  For further information, write to
  118.    umdiagmice@caen.engin.umich.edu.
  119.  
  120. Simulated Annealing:
  121.  
  122.    ASA (Adaptive Simulated Annealing) is a powerful global optimization
  123.    C-code algorithm especially useful for nonlinear and/or stochastic
  124.    systems. Most current copies can be obtained by anonymous ftp from
  125.    ftp.caltech.edu:pub/ingber/asa.Z [131.215.48.151]; an uncompressed
  126.    version, asa, also is in that archive.  There are several related
  127.    (p)reprints in the Caltech archive, including sa_pvt93.ps.Z, "Simulated
  128.    annealing: Practice versus theory." The first VFSR code was developed
  129.    by Lester Ingber in 1987, and the reprint of that paper is vfsr89.ps.Z,
  130.    "Very fast simulated re-annealing".  If you cannot use ftp or ftpmail,
  131.    then copies of the code are also available by email from the author
  132.    at ingber@alumni.caltech.edu. To be added to the mailing list, send
  133.    mail to asa-request@alumni.caltech.edu.
  134.  
  135.    The VFSR code was made publicly available in 1992 under the GNU GPL, by
  136.    Lester Ingber and Bruce Rosen.  The last version of that code before
  137.    the introduction of ASA is available via anonymous ftp from
  138.    ringer.cs.utsa.edu:pub/rosen/vfsr.tar.Z.  Bruce Rosen has a comparison
  139.    study, "Function Optimization based on Advanced Simulated Annealing,"
  140.    which is available via anonymous ftp from
  141.    archive.cis.ohio-state.edu:pub/neuroprose/rosen.advsim.ps.Z.
  142.    [VFSR is no longer supported, but ASA is. --mk]
  143.  
  144. Speech:
  145.  
  146.    RECNET is a complete speech recognition system for the DARPA TIMIT and
  147.    Resource Management tasks.  It uses recurrent networks to estimate phone
  148.    probabilities and Markov models to find the most probable sequence of
  149.    phones or words.  The system is a snapshot of evolving research code.
  150.    There is no documentation other than published research papers.  It is
  151.    configured for the two specific databases and is unlikely to be of use as
  152.    a complete system for other tasks. It is available by anonymous ftp from
  153.    svr-ftp.eng.cam.ac.uk:misc/recnet-1.3.tar.Z. Related publications can be
  154.    found in svr-ftp.eng.cam.ac.uk:reports/ (see the ABSTRACT file first).
  155.    You will need the relevant CDROMs, 150MByte of free space for TIMIT and
  156.    300MByte for RM. If you use the code, the author would appreciate an
  157.    email message so that he can keep you informed of new releases. Write to
  158.    Tony Robinson, <ajr@eng.cam.ac.uk>, for more information.
  159.  
  160.    CELP 3.2a is available from super.org:/pub/celp_3.2a.tar.Z
  161.    [192.31.192.1] with copies available on
  162.    svr-ftp.eng.cam.ac.uk:comp.speech/sources/ The code (C, FORTRAN,
  163.    diskio) all has been built and tested on a Sun4 under SunOS4.1.3.  If
  164.    you want to run it somewhere else, then you may have to do a bit of
  165.    work.  (A Solaris 2.x-compatible release is planned soon.) Written by
  166.    Joe Campbell <jpcampb@afterlife.ncsc.mil> of the Department of
  167.    Defense. Distribution facilitated by Craig F. Reese
  168.    <cfreese@super.org>, IDA/Supercomputing Research Center.
  169.  
  170. Temporal Reasoning:
  171.  
  172.    See also KNOWBEL above.
  173.  
  174.    MATS     -- Metric/Allen Time System
  175.                Contact: Henry Kautz <kautz@research.att.com>
  176.                MATS is a Common Lisp program which solves temporal
  177.                constraint problems.  Input constraints are either
  178.                difference inequalities or Allen-style qualitative constraints.
  179.  
  180.    TMM      -- New implementation of Dean & McDermott's Temporal Map
  181.                Manager system written in Common Lisp.  
  182.                See SIGART Bulletin 4(3), July 1993.
  183.                Contact: carciofi@src.honeywell.com
  184.  
  185.    MTMM     -- Modified version of Dean & McDermott's TMM written in
  186.                MCL.  Available on diskette.
  187.                Contact: Eckehard Gross (gross@gmd.de)
  188.  
  189.    TimeGraph-- Metric and Qualitative temporal reasoning system which
  190.                handles (<, =, >) point relations, bounds on absolute
  191.                calendar/clock times, and bounds on durations. Data entry
  192.                and retrieval is through interval or point relations.
  193.                The system is scalable in the sense that storage
  194.                remains linear in the number of relations added.
  195.                Efficient retrieval is achieved through a simple 
  196.                timepoint numbering scheme and metagraph structure.
  197.                See SIGART Bulletin 4 (3), pp. 21-25, July 1993.
  198.                Contact: Lenhart Schubert (schubert@cs.rochester.edu)
  199.  
  200.   TimeGraph-II (TG-II) Successor of TimeGraph, but does not handle metric
  201.                constraints.  It handles the full set of point relations
  202.                and automatically structures the timegraph for efficiency.
  203.                The system is scalable in the sense that storage tends to 
  204.                remain linear in the number of relations asserted. As in TG-I,
  205.                efficient query handling is achieved through a time
  206.                point numbering scheme (with some improvements) and 
  207.                metagraph structure.
  208.                See SIGART Bulletin 4(3), July 1993 and 
  209.                    Proceedings of IJCAI 1993.
  210.                Contact: Alfonso Gerevini (gerevini@irst.it) or
  211.                         Lenhart Schubert (schubert@cs.rochester.edu)
  212.  
  213.  
  214.                
  215.    Tachyon  -- Performs constraint satisfaction for point-based metric
  216.                reasoning.  Qualitative constraints are also handled by
  217.                translation into quantitative ones.  Written in C++. 
  218.                See SIGART Bulletin 4(3), July 1993.
  219.                Contact: Richard Arthur (arthurr@crd.ge.com)
  220.                
  221.    TimeLogic-- The TimeLogic system is an interval-based forward
  222.                chaining inference engine and database manager of
  223.                temporal constraints.  Relational constraints,
  224.                indicating relative order between intervals, are based
  225.                on Allen's interval logic.  The TimeLogic system also
  226.                supports durational constraints, indicating relative
  227.                magnitude between intervals, and reference links, used
  228.                for the explicit or automatic construction of interval
  229.                hierarchies.  Constraints are posed and propagated in
  230.                user-defined contexts with inheritance. Supports relative
  231.                metric constraints but no absolute dates or times.
  232.                Written in Common Lisp.
  233.                Contact: Peggy Meeker (timelogic-request@cs.rochester.edu)
  234.  
  235.    TemPro   -- A temporal constraint system that uses both interval
  236.                algebra and point-based algebra. Written in Common Lisp.
  237.                Contact: J-P Haton <jph@loria.fr> or
  238.                         F. Charpillet <charp@loria.fr>
  239.  
  240.    TCNM     -- Temporal Constraint Network Manager.  Handles both
  241.                qualitative and quantitative constraints between
  242.                time-points and durations.  Written in Common Lisp. 
  243.                Contact: Federico A. Barber <fbarber@csic.upv.es>.
  244.                [email bounces]
  245.  
  246.    TIE      -- Temporal Inference Engine.  Written in Common Lisp.
  247.                Contact: E. Tsang (Essex University, UK)
  248.  
  249. Theorem Proving/Automated Reasoning:
  250.  
  251.    Otter         -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  252.                     anagram.mcs.anl.gov:pub/Otter/
  253.                     Contact: otter@mcs.anl.gov
  254.                     Resolution-based theorem prover.
  255.  
  256.    ATP Problems  -- anagram.mcs.anl.gov:pub/ATP_Problems/*
  257.                     Collection of ATP problems from Otter, CADE, and JAR.
  258.                     The problems include algebra, analysis, circuits,
  259.                     geometry, logic problems, Pelletier's problem set,
  260.                     program verification, puzzles, set theory, and topology.
  261.  
  262.    SETHEO        -- flop.informatik.tu-muenchen.de:pub/fki/ [131.159.8.35]
  263.                     Get the files setheo.info and setheo.tar.Z.
  264.                     SETHEO (SEquential THEOrem prover) is an automated
  265.                     theorem prover for formulae of predicate logic. 
  266.                     SETHEO is based on the calculus of ``connection
  267.                     tableaux''. SETHEO runs on Sun SPARCs only.  
  268.                     Contact: setheo@informatik.tu-muenchen.de
  269.  
  270.    Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  271.                ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
  272.                   [131.159.0.110] 
  273.                Relevant files include:
  274.                  intro.dvi.Z   "Introduction to Isabelle"
  275.                  ref.dvi.Z     "The Isabelle Reference Manual"
  276.                  logics.dvi.Z  "Isabelle's Object-Logics"
  277.                  92.tar.Z      Isabelle-92 distribution directory
  278.                Written in Standard ML, and comes with 8 different
  279.                logics, including LCF, some modal logics, first-order
  280.                logic, Zermelo-Fraenkel set theory, and higher-order logic.
  281.                Contact: Larry.Paulson@cl.cam.ac.uk
  282.                         Tobias.Nipkow@informatik.tu-muenchen.de
  283.  
  284.    MVL      -- t.stanford.edu:/mvl/mvl.tar.Z
  285.                Contact: ginsberg@t.stanford.edu
  286.                Multi-valued logics
  287.  
  288.    Boyer-Moore -- ftp.cli.com:pub/nqthm/nqthm.tar.Z
  289.                   rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  290.                   Contact: kaufmann@cli.com
  291.  
  292.    DTP is a general theorem prover incorporating domain-independent control
  293.    of inference.  Implemented in CLtL2 Common Lisp, it runs in Franz
  294.    Allegro, Lucid, and Macintosh (MCL) Common Lisp.  It is available by
  295.    anonymous ftp from meta.stanford.edu:pub/dtp/ [36.8.0.54].  Contact
  296.    Don Geddis <Geddis@CS.Stanford.EDU> for more information.
  297.  
  298.    RRL       -- herky.cs.uiowa.edu:public/rrl [128.255.28.100]
  299.                 Rewrite Rule Laboratory
  300.  
  301.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  302.    a portable resolution theorem-prover written in Common Lisp. It is
  303.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  304.    If you take a copy of FRAPPS, please send a short note to Prof.
  305.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  306.  
  307.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  308.    efficient proof checker. It is available by anonymous ftp to
  309.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  310.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  311.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  312.    <myra@saul.cis.upenn.edu>.
  313.  
  314.    Gazer is a sequent calculus based system for first order logic with a
  315.    novel inference rule, gazing, that enables the system to determine
  316.    which of a possibly large number of definitions and lemmas should be
  317.    used at any point in a proof. Available from the authors, Dave
  318.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  319.    <alex@cs.swarthmore.edu>. 
  320.  
  321.    KEIM is a collection of software modules, written in Common Lisp with
  322.    CLOS, designed to be used in the production of theorem proving
  323.    systems.  KEIM is intended to be used by those who want to build or
  324.    use deduction systems (such as resolution theorem provers) without
  325.    having to write the entire framework. KEIM is also suitable for
  326.    embedding a reasoning component into another Common Lisp program.
  327.    KEIM offers a range of datatypes implementing a logical language of
  328.    type theory (higher order logic), in which first order logic can be
  329.    embedded.  KEIM's datatypes and algorithms include: types; terms
  330.    (symbols, applications, abstractions), environments (e.g., associating
  331.    symbols with types); unification and substitutions; proofs, including
  332.    resolution and natural deduction style. KEIM also provides
  333.    functionality for the pretty-printing, error handling, formula parsing
  334.    and user interface facilities which form a large part of any theorem
  335.    prover. Implementing with KEIM thus allows the programmer to avoid a
  336.    great deal of drudgery.  KEIM has been tested in Allegro CL 4.1 and
  337.    Lucid CL 4.0 on Sun 4 workstations.  KEIM is available for
  338.    noncommercial use via anonymous FTP from
  339.       js-sfbsun.cs.uni-sb.de:pub/keim/keim*
  340.    For more information contact Dan Nesmith, Fachbereich Informatik/AG
  341.    Siekmann, Universitaet des Saarlandes, Postfach 1150, D-66041
  342.    Saarbruecken, Germany, or send email to keim@cs.uni-sb.de.  A mailing
  343.    list for KEIM users is also being set up.  Send mail to
  344.    keim-users-request@cs.uni-sb.de to be put on the list.
  345.  
  346. Truth Maintenance:
  347.  
  348.    The truth maintenance system and problem solver implementations
  349.    described in the book "Building Problem Solvers" by Ken Forbus and
  350.    Johan de Kleer are available by anonymous ftp from
  351.           multivac.ils.nwu.edu:pub/BPS/
  352.     parcftp.xerox.com:/pub/bps/ 
  353.    For more information send mail to Johan de Kleer <deKleer@parc.xerox.com>.
  354.    Send bug reports to bug-bps@ils.nwu.edu.
  355.  
  356. Miscellaneous:
  357.  
  358.    University of Toronto:
  359.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  360.  
  361.       Archives of ailist mailing list, defunct as of January 19, 1990
  362.  
  363.    PAIL (Portable AI Lab)
  364.       ftp   -- pobox.cscs.ch:/pub/ai/pail-2.2/  [148.187.10.13]
  365.       contact: pail-info@idsia.ch
  366.       authors: Mike Rosner <mike@idsia.ch> 
  367.                Dean Allemang <allemang@lia.di.epfl.ch>
  368.  
  369. ----------------------------------------------------------------
  370. Subject: [5-1]  AI Bibliographies available by FTP
  371.  
  372. The Computer Science Department at the University of Saarbruecken, Germany,
  373. maintains a large bibliographic database of articles pertaining to the
  374. field of Artificial Intelligence. Currently the database contains more
  375. than 25,000 references, which can be retrieved by electronic mail from
  376. the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
  377. subject line "lidosearch help info" to get instructions on using the
  378. mail server. A variety of queries based on author names, title and
  379. year of publication are possible. The references can be provided in
  380. BibTeX or Refer formats. The entire bibliographic database can be
  381. obtained for a fee by ftp or on tape. Questions may be directed to
  382. bib-1@cs.uni-sb.de.
  383.  
  384. A variety of AI-related bibliographies are located on nexus.yorku.ca
  385. in the directory /pub/bibliographies.
  386.  
  387. For information on a fairly complete bibliography of computational
  388. linguistics and natural language processing work from the 1980s, send
  389. mail to clbib@csli.stanford.edu with the subject HELP. 
  390.  
  391. Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
  392. Artificial Intelligence papers and technical reports. Available by
  393. anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
  394.          
  395. A BibTeX database of references addressing neuro-fuzzy issues can be
  396. obtained by anonymous ftp from ftp.tu-bs.de (134.169.34.15) in the
  397. directory local/papers as the (ascii) file fuzzy-nn.bib.
  398.  
  399. Robert Dale's Natural Language Generation (NLG) bibliography is
  400. available by anonymous ftp from scott.cogsci.ed.ac.uk [129.215.144.3] in
  401. the directory pub/nlg.  Note that it is formatted for A4 paper. For
  402. further information, write to Robert Dale, University of Edinburgh,
  403. Centre for Cognitive Science, 2 Buccleuch Place, Edinburgh EH8 9LW
  404. Scotland, or <R.Dale@edinburgh.ac.uk>.
  405.  
  406. Mark Kantrowitz's Natural Language Generation (NLG) bibliography is
  407. available by anonymous ftp from ftp.cs.cmu.edu [128.2.206.173] in the
  408. directory user/ai/software/nlp/nlg/bibs/mk/. In addition to the tech
  409. report, the BibTeX file containing the bibliography is also available.
  410. The bibliography contains more than 1,200 entries. Additions and
  411. corrections should be sent to mkant@cs.cmu.edu.
  412.  
  413. A bibliography of over 400 Evolutionary Computation references (GA,
  414. ES, EP, GP) is available by anonymous ftp from 
  415.    magenta.me.fau.edu:/pub/ep-list/bib/
  416. The file EC-ref.bib.Z is in BibTeX format; EC-ref.ps.Z is a postscript
  417. version of the bibliography. Please send additions and corrections to
  418. saravan@amber.me.fau.edu or EP-List@amber.me.fau.edu.
  419.  
  420. A bibliography of over 1000 entries about Self-Organizing Map
  421. (SOM) and Learning vector Quantization (LVQ) studies is
  422. available by anonymous ftp from
  423.    cochlea.hut.fi:/pub/ref/
  424. as the files references.bib.Z (BibTeX file) and references.ps.Z
  425. (PostScript file). Please send additions and corrections to 
  426. biblio@cochlea.hut.fi.
  427.  
  428. ----------------------------------------------------------------
  429. Subject: [5-2] Technical Reports available by FTP
  430.  
  431. This section lists the anonymous ftp sites for technical reports from
  432. several universities and other organizations. Some of the sites
  433. provide only an online catalog of technical reports, while the rest
  434. make the actual reports available online. The email address listed is
  435. that of the appropriate person to contact with questions about
  436. ordering technical reports. 
  437.  
  438. When ftping compressed .Z files, remember to set the transfer type to
  439. binary first, using the command
  440.         ftp> binary
  441.  
  442. Other general locations for technical reports from several
  443. universities include:
  444.    wuarchive.wustl.edu:/doc/techreports/ [128.252.135.4]
  445.    cs-archive.uwaterloo.edu:cs-archive  (see Index for an index)
  446.       AKA watdragon.uwaterloo.ca [129.97.140.24]
  447. The uwaterloo archive includes tech reports from the Logic Programming
  448. and Artificial Intelligence Group (LPAIG) of the University of Waterloo.
  449.  
  450. There is also a WAIS server containing tech report abstracts that can be
  451. searched. To use, create the file ~/wais-sources/cs-techreport-abstracts.src 
  452. containing
  453.    (:source
  454.       :version  3
  455.       :ip-address "130.194.74.201"
  456.       :ip-name "daneel.rdt.monash.edu.au"
  457.       :tcp-port 210
  458.       :database-name "cs-techreport-abstracts"
  459.       :cost 0.00
  460.       :cost-unit :free
  461.       :maintainer "wais@daneel.rdt.monash.edu.au")
  462. and invoke your local wais client. To add to it, email abstracts of
  463. your papers to wais@rdt.monash.edu.au in the following format:
  464.    %TI Title
  465.    %AU Author (use multiple %AU lines for multiple authors)
  466.    %PU Published In (citation information)
  467.    %AV Availability (e.g., ftp reports.adm.cs.cmu.edu:1992/CMU-CS-92-101.ps)
  468.    %OR Organization (see cs-techreport-archives.src for institution codes)
  469.    %LT Local title (e.g., tech report number)
  470.    %DA Date (and, if you want, %MN Month, %YR Year)
  471.    %AB Abstract
  472. If your papers are not available by FTP, you can use a %AV line such as:
  473.    %AV mail harry.bovik@cs.cmu.edu
  474. Further instructions are available from
  475.    daneel.rdt.monash.edu.au:/pub/techreports/reports/README  
  476. [Based on a post by Ashwin Ram.]
  477.  
  478. An archive of linguistics papers and preprints is available from
  479. linguistics.archive.umich.edu:linguistics/papers/. Contact John Lawler
  480. (jlawler@umich.edu) or linguistics-archivist@umich.edu for more
  481. information.
  482.  
  483. The Concurrent Engineering Research Center (CERC) at West Virginia
  484. University has placed ASCII versions of the concurrent
  485. engineering-related abstracts (over 500) that were on CERCnet, ASCII
  486. back issues of the Concurrent Engineering Research in Review journal
  487. (now discontinued), and Postscript copies of CERC technical reports in
  488. the gopher server gopher.cerc.wvu.edu.  In addition, many of the CERC
  489. technical reports, including journal articles, symposium papers,
  490. theses, dissertations, and issues of the Concurrent Engineering
  491. Research in Review journal, are available as Postscript versions via
  492. anonymous ftp from babcock.cerc.wvu.edu:pub/techReports/
  493. (157.182.44.36). An index to all the reports, including some that are
  494. available only in hardcopy, is contained in the file "CERC-TR-INDEX".
  495. If you need additional information, contact Mary Carriger, CERC Office
  496. of Information Services, at carriger@cerc.wvu.edu.
  497.  
  498. The newsgroup comp.doc.techreports is devoted to distributing lists of
  499. tech reports and their abstracts.
  500.  
  501.    MIT Artificial Intelligence Laboratory:
  502.       ftp   -- publications.ai.mit.edu:ai-publications/
  503.       email -- publications@ai.mit.edu
  504.       browse -- telnet reading-room.lcs.mit.edu
  505.  
  506.       A full catalog of MIT AI Lab technical reports (and a listing of recent
  507.       updates) may be obtained from the above location, by writing to
  508.       Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
  509.       545 Technology Square, Cambridge, MA 02139, USA, or by calling
  510.       1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
  511.       with a short abstract and their current prices. There is also a charge
  512.       for shipping. Some recent tech reports (since 1991) are available in the
  513.       ai-publications/ subdirectory; older technical reports are NOT
  514.       available by ftp. A bibliography is in the bibliography/ directory.
  515.  
  516.       Sandiway Fong's 1991 PhD thesis, ``The Computational Properties of
  517.       Principle-Based Grammatical Theories,'' may be found in the
  518.       directory pub/sandiway/.
  519.  
  520.    CMU School of Computer Science:
  521.       ftp   -- reports.adm.cs.cmu.edu
  522.       email -- Technical.Reports@cs.cmu.edu
  523.  
  524.    CMU Software Engineering Institute:
  525.       ftp   --  ftp.sei.cmu.edu:/pub/documents
  526.       email --  bjz@sei.cmu.edu
  527.  
  528.    Yale: 
  529.       ftp   --  dept.cs.yale.edu:/pub/TR/
  530.  
  531.    University of Washington CSE Tech Reports:
  532.       ftp   --  june.cs.washington.edu:/tr  
  533.       email --  tr-request@cs.washington.edu
  534.  
  535.    ================
  536.  
  537.    AT&T Bell Laboratories:
  538.       ftp   -- research.att.com:/netlib/research/cstr
  539.  
  540.       bib.Z contains short bibliography, including all the technical
  541.       reports contained in this directory.
  542.  
  543.       ftp   -- research.att.com:/dist/ai
  544.  
  545.    Argonne National Laboratory:
  546.       ftp   -- anagram.mcs.anl.gov:pub/tech_reports
  547.       email -- wright@mcs.anl.gov
  548.  
  549.       Contains MCS Division preprints and technical memoranda,
  550.       available as either .dvi or .ps files. For descriptions of the
  551.       contents, see the subdirectory pub/tech_reports/abstracts; for
  552.       the files themselves see the subdirectory pub/tech_reports/reports.
  553.  
  554.    Boston University:
  555.       ftp   --  cs.bu.edu:techreports/
  556.       email --  techreports@cs.bu.edu
  557.  
  558.    Brown University:
  559.       ftp   --  wilma.cs.brown.edu:techreports/
  560.       email --  techreports@cs.brown.edu
  561.  
  562.    Cambridge University: Speech, Vision & Robotics Group
  563.       ftp   --  svr-ftp.eng.cam.ac.uk:reports/
  564.  
  565.    Columbia University:
  566.       ftp   --  cs.columbia.edu:/pub/reports
  567.       email --  tech-reports@cs.columbia.edu
  568.  
  569.    DEC Cambridge Research Lab:
  570.       ftp   --  crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}
  571.  
  572.    DEC Paris Research Lab:
  573.       email --  doc-server@prl.dec.com
  574.                 Put commands in Subject: line of the message.
  575.                 To get a list of articles, use
  576.                         send index articles
  577.                 To get a list of tech reports, use
  578.                         send index reports
  579.  
  580.    DEC WRL:
  581.       email -- wrl-techreports@decwrl.dec.com
  582.                To get a helpfile, send a message with 
  583.                   help
  584.            in the subject line.
  585.  
  586.    DFKI:
  587.       ftp   -- duck.dfki.uni-sb.de:/pub/papers
  588.       email -- Martin Henz (henz@dfki.uni-sb.de)
  589.  
  590.    Duke University:
  591.       ftp   --  cs.duke.edu:/dist/{papers,theses}
  592.       email --  techreport@cs.duke.edu  [unknown user, 7/7/93]
  593.  
  594.    Edinburgh:
  595.       A list of available reports can be sent via email. Send requests
  596.       for information about reports from the Center for Cognitive Science 
  597.       to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
  598.       Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk. 
  599.  
  600.    Electrotechnical Laboratory, Japan:
  601.       Reports from the Cooperative Architecture project (half AI, half
  602.       software engineering).
  603.       ftp   -- etlport.etl.go.jp:pub/kyocho/Papers [192.31.197.99]
  604.                See file Index.English.
  605.       email -- Hideyuki Nakashima <nakashim@etl.go.jp>.
  606.  
  607.    Georgia Tech College of Computing, AI Group:
  608.       ftp   -- ftp.cc.gatech.edu:pub/ai (130.207.3.245) 
  609.       email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>
  610.  
  611.    Illinois:
  612.       email -- Erna Amerman <erna@uiuc.edu>
  613.  
  614.    Illinois Genetic Algorithms Laboratory (IlliGAL):
  615.       email -- Eric Thompson <library@gal1.ge.uiuc.edu>
  616.       phone -- 217-333-2346 (9AM to 5PM CT, M-F)
  617.       mail  -- Illinois Genetic Algorithms Laboratory
  618.                Department of General Engineering
  619.                117 Transportation Building
  620.                104 South Mathews Avenue
  621.                Urbana, IL 61801-2996
  622.       ftp   -- coming soon.
  623.  
  624.    Indiana:
  625.       ftp   -- cogsci.indiana.edu:pub         [129.79.238.12]
  626.       ftp   -- cs.indiana.edu:pub/techreports [129.79.254.191]
  627.  
  628.    INRIA, France:
  629.       ftp   -- ftp.inria.fr:INRIA/publication/
  630.  
  631.    Institute for Learning Sciences at Northwestern University:
  632.       ftp   --  aristotle.ils.nwu.edu:/pub/papers/
  633.  
  634.    New York University (NYU):
  635.       ftp   --  cs.nyu.edu:/pub/tech-reports
  636.  
  637.    OGI:
  638.       ftp   --  cse.ogi.edu:/pub/tech-reports
  639.       email --  csedept@cse.ogi.edu
  640.  
  641.    Ohio State University, Laboratory for AI Research
  642.       ftp   -- nervous.cis.ohio-state.edu:/pub/papers
  643.       email -- lair-librarian@cis.ohio-state.edu
  644.  
  645.    OSU Neuroprose:
  646.       ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)
  647.  
  648.       This directory contains technical reports as a public service to the
  649.       connectionist and neural network scientific community which has an
  650.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  651.       Includes several bibliographies.
  652.  
  653.    Stanford:
  654.       ftp   -- elib.stanford.edu:/cs
  655.    
  656.       Very spotty collection.
  657.  
  658.    SRI:
  659.       email -- Donna O'Neal, donna@ai.sri.com
  660.  
  661.    SUNY Buffalo:
  662.       ftp   -- ftp.cs.buffalo.edu:/pub/tech-reports/
  663.  
  664.    SUNY at Stony Brook:
  665.       ftp   -- sbcs.sunysb.edu:/pub/TechReports
  666.       email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  667.  
  668.       The /pub/sunysb directory contains the SB-Prolog implementation
  669.       of the Prolog language. Contact warren@sbcs.sunysb.edu for more
  670.       information.
  671.  
  672.    TCGA (The Clearinghouse for Genetic Algorithms):
  673.       email -- Robert Elliott Smith <rob@comec4.mh.ua.edu>
  674.                Department of Engineering of Mechanics
  675.                Room 210 Hardaway Hall
  676.                The University of Alabama
  677.                PO Box 870278
  678.                Tuscaloosa, AL 35487
  679.                205-348-1618, fax 205-348-6419
  680.  
  681.    Thinking Machines:
  682.       ftp   -- ftp.think.com:think/techreport.list
  683.  
  684.       This file contains a list of Thinking Machines technical reports.
  685.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  686.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  687.       First Street, Cambridge, MA 01241. In addition, the directories
  688.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  689.       simulators. 
  690.  
  691.    Tulane University:
  692.       ftp   -- rex.cs.tulane.edu:pub/tech/  [129.81.132.1]
  693.  
  694.    University of Arizona:
  695.       ftp   -- cs.arizona.edu:reports/
  696.       email -- tr_libr@cs.arizona.edu
  697.  
  698.       The directory /japan/kahaner.reports contains reports on AI in
  699.       Japan, among other things, written by Dr. David Kahaner, a
  700.       numerical analyst on sabbatical to the Office of Naval
  701.       Research-Asia (ONR Asia) in Tokyo from NIST. The reports are not
  702.       written in any sort of official capacity, but are quite interesting. 
  703.  
  704.    University of California/Santa Cruz:
  705.       ftp   -- ftp.cse.ucsc.edu:/pub/{bib,tr}
  706.       email -- jean@cs.ucsc.edu
  707.  
  708.    University of Colorado:
  709.       ftp   --  ftp.cs.colorado.edu:/pub/cs/techreports
  710.  
  711.    University of Florida:
  712.       ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  713.  
  714.    University of Illinois at Urbana:
  715.       ftp   -- a.cs.uiuc.edu:/pub/dcs
  716.       email -- e-amerman@a.cs.uiuc.edu 
  717.  
  718.    University of Indiana, Center for Research on Concepts and Cognition:
  719.       ftp   --  cogsci.indiana.edu:pub/
  720.       email --  helga@cogsci.indiana.edu
  721.  
  722.    University of Kaiserslautern, Germany:
  723.       ftp   --  ftp.uni-kl.de:reports_uni-kl/computer_science/
  724.  
  725.    University of Kentucky:
  726.       ftp   --  ftp.ms.uky.edu:ftp/pub/tech-reports/UK/cs/
  727.  
  728.    University of Massachusetts at Amherst:
  729.       email --  techrept@cs.umass.edu
  730.  
  731.    University of Michigan:
  732.       ftp   -- ftp.eecs.umich.edu:/techreports
  733.         
  734.    University of North Carolina:
  735.       ftp   -- ftp.cs.unc.edu:/pub/technical-reports/
  736.  
  737.    University of Pennsylvania:
  738.       ftp   -- ftp.cis.upenn.edu:/pub/papers/
  739.       email -- publications@upenn.edu [email bounced 7/7/93]
  740.  
  741.    USC/Information Sciences Institute:
  742.       email -- Sheila Coyazo <scoyazo@isi.edu> is the contact. [email
  743.            bounced 7/7/93]
  744.  
  745.    University of Toronto:
  746.       ftp   -- ftp.cs.toronto.edu:/pub/reports
  747.       email -- tech-reports@cs.toronto.edu
  748.  
  749.    University of Virginia:
  750.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  751.  
  752.    University of Wisconsin:
  753.       ftp   -- ftp.cs.wisc.edu:/tech-reports
  754.       email -- tech-reports-archive@cs.wisc.edu
  755.  
  756.  
  757. Some AI authors have set up repositories of their own papers:
  758.  
  759.    Matthew Ginsberg: t.stanford.edu:/u/ftp/papers
  760.  
  761. ----------------------------------------------------------------
  762. Subject: [5-3]  Where can I get a machine readable dictionary, thesaurus, and
  763.                 other text corpora?
  764.  
  765. Free:
  766.  
  767.    Roget's 1911 Thesaurus is available by anonymous FTP from the
  768.    Consortium for Lexical Research (clr.nmsu.edu, [128.123.1.12]).
  769.    The pathname is /pub/lexica/thesauri/roget-1911.
  770.    It is also available from
  771.       src.doc.ic.ac.uk:/literary/collections/project_gutenberg/roget11.txt.Z
  772.    An old Webster's dictionary is in /text/dict/{DICT.Z,DICT.INDEX.Z}.
  773.    Project Gutenberg also has Roget's 1911 Thesaurus. The Project
  774.    Gutenberg archive is at mrcnext.cso.uiuc.edu:/pub/etext/. The
  775.    Project Gutenberg archive collects public domain electronic books. For more
  776.    information, write to Michael S. Hart, Professor of Electronic Text,
  777.    Executive Director of Project Gutenberg Etext, Illinois Benedictine
  778.    College, Lisle, IL 60532 or send email to hart@vmd.cso.uiuc.edu.
  779.  
  780.    For people without FTP, Austin Code Works sells floppy disks
  781.    containing Roget's 1911 Thesaurus for $40.00. This money helps support
  782.    the production of other useful texts, such as the 1913 Webster's dictionary.
  783.  
  784.    The Online Book Initiative maintains a text repository on
  785.    world.std.com (a public access UNIX system, 617-739-WRLD). See the
  786.    README file on obi.std.com:/obi/. For more information, send email to
  787.    obi@world.std.com, write to Software Tool & Die, 1330 Beacon Street,
  788.    Brookline, MA 02146, or call 617-739-0202.
  789.  
  790.    The CHILDES project at Carnegie Mellon University has a lot of data of
  791.    children speaking to adults, as well as the adult written and adult
  792.    spoken corpora from the CORNELL project.  Contact Brian MacWhinney
  793.    <brian@andrew.cmu.edu> for more information.
  794.  
  795.    The Association for Computational Linguistics (ACL) has a Data
  796.    Collection Initiative. For more information, contact Donald Walker at
  797.    Bellcore, walker@flash.bellcore.com.
  798.  
  799.    Two lists of common female first names (4967 names) and male first
  800.    names (2924 names) are available for anonymous ftp from ftp.cs.cmu.edu
  801.    in the directory user/ai/software/nlp/corpora/names/. Read
  802.    the file README first. [Note that you must cd to this directory in one
  803.    atomic operation, as superior directories are protected during an
  804.    anonymous ftp.] Send mail to mkant@cs.cmu.edu for more information.
  805.  
  806.    A list of 110,000 English words (one per line, in ASCII) is
  807.    available in the PD1:<MSDOS.LINGUISTICS> directory on SIMTEL20 as the
  808.    files WORDS1.ZIP, WORDS2.ZIP, WORDS3.ZIP, and WORDS4.ZIP. Although the
  809.    list is in MS-DOS files, it can easily be used on other machines (but
  810.    first you'll have to unzip the files on a DOS machine). The list
  811.    includes inflected forms of the words, such as plural nouns and the
  812.    -s, -ed, and -ing forms of verbs; thus the number of lexical stems in
  813.    the list is considerably smaller than the total number of word forms.
  814.    These files are available via FTP from WSMR-SIMTEL20.ARMY.MIL
  815.    [192.88.110.20].  SIMTEL20 files are mirrored on wuarchive.wustl.edu.
  816.  
  817.    The Collins English Dictionary encoded as a Prolog fact base is
  818.    available from the Oxford Text Archive by anonymous ftp from
  819.       black.ox.ac.uk:ota/dicts/1192/  [129.67.1.165]
  820.    The Oxford Text Archive includes many other texts, dictionaries,
  821.    thesauri, word lists, and so on, most of which are available for
  822.    scholarly use and research only. See the files
  823.       black.ox.ac.uk:ota/textarchive.{form,info,list,sgml} 
  824.    for more information, or write to archive@ox.ac.uk, Oxford Text Archive,
  825.    Oxford University Computing Services, 13 Banbury Road, Oxford OX2
  826.    6NN, UK, call 44-865-273238 or fax 44-865-273275.
  827.  
  828.    Chuck Wooters <wooters@icsi.berkeley.edu> has extracted the most
  829.    likely pronunciation for each of about 6100 words in the hand-labeled
  830.    TIMIT database, and made them available by anonymous ftp from
  831.    ftp.icsi.berkeley.edu:pub/speech/TIMIT.mostlikely.Z.
  832.  
  833.    A list of homophones from general American English is available by
  834.    anonymous ftp from svr-ftp.eng.cam.ac.uk:comp.speech/data/ as the file
  835.    homophones-1.01.txt. To receive the list by email, send mail to
  836.    Evan.Antworth@sil.org. The list was compiled by Tony Robinson.
  837.  
  838. Commercial:
  839.  
  840.    Illumind publishes the Moby Thesaurus (25,000 roots/1.2 million
  841.    synonyms), Moby Words (560,000 entries), Moby Hyphenator (155,000
  842.    entries), and the Moby Part-of-Speech (214,000 entries), Moby
  843.    Pronunciator (167,000 entries with IPA encoding, syllabification, and
  844.    primary, secondary, and tertiary stress marks) and Moby Language
  845.    (100,000 word word lists in five major world languages) lexical
  846.    databases. All databases are supplied in pure ASCII, royalty-free, in
  847.    both Macintosh and MS-DOS disk formats (also in .Z file formats). Both
  848.    commercial (to resell derived structures as part of commercial
  849.    applications) and educational/research licenses are available. Samples
  850.    of each of the lexical databases are available by anonymous ftp from
  851.    netcom.com:/pub/grady/Moby_Sampler.tar.Z [192.100.81.100].  For more
  852.    information, write to Illumind, Attn: Grady Ward, 3449 Martha Court,
  853.    Arcata, CA 95521, call/fax 707-826-7715, or send email to
  854.    grady@netcom.com.
  855.  
  856.    The Oxford Text Archive has hundreds of online texts in a wide variety
  857.    of languages, including a few dictionaries (the OED, Collins, etc.).
  858.    The Lancaster-Oslo-Bergen (LOB), Brown, and London-Lund corpii are also
  859.    available from them.  For more information, write to Oxford Electronic
  860.    Publishing, Oxford University Press, 200 Madison Avenue, New York, NY
  861.    10016, call 212-889-0206, or send mail to archive@vax.oxford.ac.uk.
  862.    (Their contact information in England is Oxford Text Archive, Oxford
  863.    University Computing Service, 13 Banbury Road, Oxford OX2 6NN, UK, +44
  864.    (865) 273238.)
  865.  
  866. Mailing Lists:
  867.  
  868.    CORPORA is a mailing list for Text Corpora. It welcomes information
  869.    and questions about text corpora such as availability, aspects of
  870.    compiling and using corpora, software, tagging, parsing, and
  871.    bibliography. To be added to the list, send a message to
  872.    corpora-request@x400.hd.uib.no. Contributions should be sent to 
  873.    corpora@x400.hd.uib.no.
  874.  
  875. Linguistic Data Consortium:
  876.  
  877.    The Linguistic Data Consortium was established to broaden the collection
  878.    and distribution of speech and natural language data bases for the
  879.    purposes of research and technology development in automatic speech
  880.    recognition, natural language processing, and other areas where large
  881.    amounts of linguistic data are needed.  Information about the LDC is
  882.    available by anonymous ftp from ftp.cis.upenn.edu:/pub/ldc [130.91.6.8].
  883.    Documents available in this directory include a paper on the background,
  884.    rationale and goals of the LDC, a brief list of available data bases,
  885.    and some tables summarizing these corpora. For further information,
  886.    contact Elizabeth Hodas, <ehodas@walnut.ling.upenn.edu>, Mark Liberman
  887.    <myl@unagi.cis.upenn.edu>, or Jack Godfrey <jgodfrey@unagi.cis.upenn.edu>.
  888.  
  889. ----------------------------------------------------------------
  890. Subject: [5-4]  List of Smalltalk implementations.
  891.  
  892.    Little Smalltalk -- Tim Budd's version of Smalltalk
  893.    cs.orst.edu: /pub/budd/small.v3.tar
  894.  
  895.    GNU Smalltalk
  896.    prep.ai.mit.edu:/pub/gnu/smalltalk-1.1.1.tar.Z  
  897.  
  898. ----------------------------------------------------------------
  899. Subject: [5-5] AI-related CD-ROMs
  900.  
  901.    The Artificial Intelligence CD-ROM (Revision 2, 1993) is available
  902.    from Network Cybernetics Corporation for $129.00 per copy (plus $5
  903.    shipping domestic, $10 shipping international). If you currently own
  904.    the first edition of the AI CD-ROM, you can "upgrade" to the Rev.2 CD
  905.    for $79 + shipping.  The AI CD-ROM is an ISO-9660 format disk usable
  906.    on any computer system, and contain a variety of public domain,
  907.    shareware, and other software of special interest to the AI community.
  908.    The disk contains source code, executable programs, demonstration
  909.    versions of commercial programs, tutorials and other files for a
  910.    variety of operating systems. Among the supported operating systems
  911.    are MS-DOS, OS/2, Mac, Amiga, and Unix. Among the items included are
  912.    CLIPS v6.0 and NETS, courtesy of COSMIC, the collected source code
  913.    from AIExpert magazine from the premier issue in June of 1986 to the
  914.    present, and complete transcriptions of the first annual Loebner Prize
  915.    competition, which took place at the Boston Computer Museum. It also
  916.    includes examples many different kinds of neural networks, genetic
  917.    algorithms, artificial life simulators, natural language software,
  918.    public domain and shareware compilers for a wide range of languages
  919.    such as Lisp, Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL,
  920.    and many others. Complete collections of the Neural Digest, Genetic
  921.    Algorithms Digest, and Vision List Digest are included. All files on
  922.    the disk are compressed in ZIP format. Network Cybernetics Corporation
  923.    intends to release annual revisions to the AI CD-ROM to keep it up to
  924.    date with current developments in the field. For more information,
  925.    write to Network Cybernetics Corporation, 4201 Wingren Road, Suite
  926.    202, Irving, Texas 75062-2763, call 214-650-2002, fax 214-650-1929, or
  927.    send email to ai-cdrom@ncc.com or steve.rainwater@ncc.com (Steve
  928.    Rainwater).
  929.  
  930.    PTF is a semi-annual CD-ROM collection of UNIX-related freeware source
  931.    code and documentation. PTF in no way modifies the legal restrictions
  932.    on any package it includes. Each issue consists of two ISO-9660
  933.    CD-ROMs, bound into a 50+ page booklet. PTF is particularly useful for
  934.    programmers who do not have FTP access, but may also be useful as a
  935.    way of saving disk space and avoiding annoying FTP searches and
  936.    retrievals. The current issue (2-1; January, 1993) includes, among
  937.    other things, ICOT collection and several varieties of Lisp and other
  938.    AI languages. It sells (list) for $60 US plus applicable sales tax and
  939.    shipping and handling charges. SUG and USENIX members may purchase the
  940.    issue for $50. Payable through Visa, Mastercard, postal money orders
  941.    in US funds, and checks in US funds drawn on a US bank. For more
  942.    information write to Prime Time Freeware, 370 Altair Way, Suite 150,
  943.    Sunnyvale, CA 94086 call 408-433-9662, fax 408-432-6149, or send email
  944.    to ptf@cfcl.com.
  945. ----------------------------------------------------------------
  946. ;;; *EOF*
  947.