home *** CD-ROM | disk | FTP | other *** search
/ Danny Amor's Online Library / Danny Amor's Online Library - Volume 1.iso / html / faqs / faq / ai-faq / general.part6 < prev    next >
Encoding:
Text File  |  1995-07-25  |  81.3 KB  |  1,848 lines

  1. Subject: FAQ: Artificial Intelligence FTP Resources 6/6 [Monthly posting]
  2. Newsgroups: comp.ai,news.answers,comp.answers
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Date: 13 Nov 1994 08:05:26 GMT
  5.  
  6. Archive-name: ai-faq/general/part6
  7. Last-Modified: Fri Nov 11 15:44:14 1994 by Mark Kantrowitz
  8. Version: 1.24
  9. Maintainer: Mark Kantrowitz <mkant+ai-faq@cs.cmu.edu>
  10. URL: http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/ai_general/top.html
  11. Size: 83412 bytes, 1850 lines
  12.  
  13. ;;; ****************************************************************
  14. ;;; Answers to Questions about Artificial Intelligence *************
  15. ;;; ****************************************************************
  16. ;;; Written by Mark Kantrowitz
  17. ;;; ai_6.faq 
  18.  
  19. If you think of questions that are appropriate for this FAQ, or would
  20. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  21.  
  22. Please note that the FTP Resources are now split across parts 5 and 6
  23. of the AI FAQ.
  24.  
  25. Note: Question [5-2] is split across parts 5 and 6.
  26.  
  27. Part 6 (FTP Resources):
  28.   [5-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  29.   [6-1]  AI Bibliographies available by FTP
  30.   [6-2]  AI Technical Reports available by FTP
  31.   [6-3]  Where can I get a machine readable dictionary, thesaurus, and
  32.          other text corpora?
  33.   [6-4]  List of Smalltalk implementations.
  34.   [6-5]  AI-related CD-ROMs
  35.   [6-6]  World-Wide Web (WWW) Resources
  36.  
  37. Search for [#] to get to question number # quickly.
  38.  
  39. ----------------------------------------------------------------
  40. Subject: [5-2b] FTP and Other Resources: Qualitative Reasoning -- 
  41.                 Theorem Proving
  42.  
  43. Qualitative Reasoning/Qualitative Physics:
  44.  
  45.    QSIM     -- cs.utexas.edu:/pub/qsim
  46.                Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  47.  
  48.    QPE      -- multivac.ils.nwu.edu:/pub/QPE
  49.                contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
  50.                Qualitative Process Engine (an implementation of QP theory)
  51.  
  52. Robotics (Planning Testbeds and Simulators):
  53.  
  54.    See Steve Hanks, Martha E. Pollack, and Paul R. Cohen, "Benchmarks,
  55.    Test Beds, Controlled Experimentation, and the Design of Agent
  56.    Architectures", AI Magazine 14(4):17-42, Winter 1993.
  57.  
  58.    The ARS MAGNA abstract robot simulator provides an abstract world in
  59.    which a planner controls a mobile robot. This abstract world is more
  60.    realistic than typical blocks worlds, in which micro-world simplifying
  61.    assumptions do not hold. Experiments may be controlled by varying
  62.    global world parameters, such as perceptual noise, as well as building
  63.    specific environments in order to exercise particular planner
  64.    features. The world is also extensible to allow new experimental
  65.    designs that were not thought of originally. The simulator also
  66.    includes a simple graphical user-interface which uses the CLX
  67.    interface to the X window system. ARS MAGNA can be obtained by
  68.    anonymous ftp from 
  69.       ftp.cs.yale.edu:/pub/nisp 
  70.    as the file ars-magna.tar.Z. Installation instructions are in the file
  71.    Installation.readme. The simulator is written in Nisp, a macro-package
  72.    for Common Lisp. Nisp can be retrieved in the same way as the
  73.    simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  74.    Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  75.    Robot Simulator". This report is available in the distribution as a
  76.    PostScript file. Comments should be directed to Sean Philip
  77.    Engelson <engelson@cs.yale.edu>.
  78.  
  79.    Erratic, a mobile robot simulator and controller by konolige@ai.sri.com is
  80.    available by anonymous ftp from
  81.       ftp.ai.sri.com:pub/konolige/erratic-ver1.tar.Z
  82.  
  83.    The Michigan Intelligent Coordination Experiment (MICE) testbed is a
  84.    tool for experimenting with coordination between intelligent systems
  85.    under a variety of conditions.  MICE simulates a two-dimensional
  86.    grid-world in which agents may move, communicate, and affect their
  87.    environment.  MICE is essentially a discrete-event simulator that
  88.    helps control the domain and a graphical representation, but provides
  89.    relatively few constraints on the form of the domain and the agents'
  90.    abilities.  Users may specify the time required by various activities,
  91.    the constraints on an agents' sensors, the configuration of the domain
  92.    and its properties, etc.  MICE runs under XWindows on Un*x boxes, on
  93.    Macs, and on TI Explorers, with relatively consistent graphical
  94.    displays.  Source code, documentation, and examples are available via
  95.    anonymous ftp to ftp.eecs.umich.edu:/software/Mice/Mice.tar.Z.  MICE was
  96.    produced by the University of Michigan's Distributed Intelligent Agent
  97.    Group (UM DIAG).  For further information, write to
  98.    umdiagmice@caen.engin.umich.edu.
  99.  
  100.    RSIM, a SGI-based simulator from the University of Melbourne, with very
  101.    nice graphics, is available by anonymous ftp from
  102.       krang.vis.citri.edu.au:/pub/robot
  103.    Write to cdillon@vis.citri.edu.au for more information.
  104.    
  105.    Simderella is a robot simulator consisting of three programs: CONNEL
  106.    (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  107.    X-windows oriented graphics back-end). SIMMEL performs a few matrix
  108.    multiplications, based on the Denavit Hartenberg method, calculates
  109.    velocities with the Newton-Euler scheme, and communicates with the
  110.    other two programs.  BEMMEL only displays the robot.  CONNEL is the
  111.    controller, which must be designed by the user (in the distributed
  112.    version, CONNEL is a simple inverse kinematics routine.)  The programs
  113.    use Unix sockets for communication, so you must have sockets, but you
  114.    can run the programs on different machines.  The software is available
  115.    by anonymous ftp from
  116.       galba.mbfys.kun.nl:/pub/neuro-software/pd/ [131.174.82.73]
  117.    as the file simderella.2.0.tar.gz. The software has been compiled using
  118.    gcc on SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and
  119.    10, DEC Alpha, HP700, 386/486 (Linux), and Silicon Graphics
  120.    architectures. For more information, send email to Patrick van der
  121.    Smagt, <smagt@fwi.uva.nl>. 
  122.  
  123.    TILEWORLD -- cs.washington.edu:/new-tileworld.tar.Z
  124.                Planning testbed
  125.  
  126. Search:
  127.  
  128.    AISEARCH is a C++ class library for search algorithms implemented by 
  129.    Peter Bouthoorn <peter@icce.rug.nl>. It includes implementations of
  130.    DFS, BFS, uniform cost, best-first, bidirectional DFS/BFS, and AND/OR
  131.    DFS/BFS search algorithms. It is available by anonymous ftp from
  132.    obelix.icce.rug.nl:/pub/peter/ as aisearch.zip or aisearch.tar.Z.
  133.  
  134. Simulated Annealing:
  135.  
  136.    ASA (Adaptive Simulated Annealing) is a powerful global optimization
  137.    C-code algorithm especially useful for nonlinear and/or stochastic
  138.    systems. Most current copies can be obtained by anonymous ftp from
  139.       ftp.alumni.caltech.edu:/pub/ingber/ASA.tar.gz [131.215.48.62]
  140.    an uncompressed version, asa, also is in that archive.  There are several
  141.    related (p)reprints in the Caltech archive, including sa_pvt93.ps.Z,
  142.    "Simulated annealing: Practice versus theory." The first VFSR code was
  143.    developed by Lester Ingber in 1987, and the reprint of that paper is
  144.    vfsr89.ps.Z, "Very fast simulated re-annealing".  If you cannot use
  145.    ftp or ftpmail, then copies of the code are also available by email
  146.    from the author at ingber@alumni.caltech.edu. To be added to the
  147.    mailing list, send mail to asa-request@alumni.caltech.edu.
  148.  
  149.    The VFSR code was made publicly available in 1992 under the GNU GPL, by
  150.    Lester Ingber and Bruce Rosen.  The last version of that code before
  151.    the introduction of ASA is available via anonymous ftp from
  152.    ringer.cs.utsa.edu:/pub/rosen/vfsr.tar.Z.  Bruce Rosen has a comparison
  153.    study, "Function Optimization based on Advanced Simulated Annealing,"
  154.    which is available via anonymous ftp from
  155.    archive.cis.ohio-state.edu:/pub/neuroprose/rosen.advsim.ps.Z.
  156.    [VFSR is no longer supported, but ASA is. --mk]
  157.  
  158. Speech:
  159.  
  160.    RECNET is a complete speech recognition system for the DARPA TIMIT and
  161.    Resource Management tasks.  It uses recurrent networks to estimate phone
  162.    probabilities and Markov models to find the most probable sequence of
  163.    phones or words.  The system is a snapshot of evolving research code.
  164.    There is no documentation other than published research papers.  It is
  165.    configured for the two specific databases and is unlikely to be of use as
  166.    a complete system for other tasks. It is available by anonymous ftp from
  167.       svr-ftp.eng.cam.ac.uk:/misc/recnet-1.3.tar.Z
  168.    Related publications can be found in 
  169.       svr-ftp.eng.cam.ac.uk:/reports/ (see the ABSTRACT file first).
  170.    You will need the relevant CDROMs, 150MByte of free space for TIMIT and
  171.    300MByte for RM. If you use the code, the author would appreciate an
  172.    email message so that he can keep you informed of new releases. Write to
  173.    Tony Robinson, <ajr@eng.cam.ac.uk>, for more information.
  174.  
  175.    CELP 3.2a is available from super.org:/pub/celp_3.2a.tar.Z
  176.    [192.31.192.1] with copies available on
  177.    svr-ftp.eng.cam.ac.uk:/comp.speech/sources/ The code (C, FORTRAN,
  178.    diskio) all has been built and tested on a Sun4 under SunOS4.1.3.  If
  179.    you want to run it somewhere else, then you may have to do a bit of
  180.    work.  (A Solaris 2.x-compatible release is planned soon.) Written by
  181.    Joe Campbell <jpcampb@afterlife.ncsc.mil> of the Department of
  182.    Defense. Distribution facilitated by Craig F. Reese
  183.    <cfreese@super.org>, IDA/Supercomputing Research Center.
  184.  
  185.    The OGI Speech Tools are set of speech data manipulation tools
  186.    developed at the Center for Spoken Language Understanding (CSLU) at
  187.    the Oregon Graduate Institute of Science and Technology (Portland
  188.    Oregon). The tools can be used to compute and display signal
  189.    representations, label speech at different levels (e.g., phonetic,
  190.    phonemic and word), train neural network classifiers, and display the
  191.    output of classification or recognition algorithms time-aligned with
  192.    the speech. The OGI Speech Tools were written in ANSI C.  The OGI
  193.    Speech Tools are available by anonymous ftp from
  194.       speech.cse.ogi.edu:/pub/tools/ 
  195.    as ogitools.v1.0.tar.Z. For more information, write to Johan Schalkwyk
  196.    <tools@cse.ogi.edu>. If you're using the tools, please let Johan know
  197.    by sending him a mail message.
  198.  
  199.    PC Convolution is a educational software package that graphically
  200.    demonstrates the convolution operation.  It runs on IBM PC compatibles
  201.    using DOS 4.0 or later. A demo version is available by anonymous ftp
  202.    from 
  203.       ee.umr.edu:/pub/ [131.151.4.11]
  204.    as pc_conv.*.  University instructors may obtain a free, fully
  205.    operational version by contacting Dr. Kurt Kosbar <kk@ee.umr.edu> at
  206.    117 Electrical Engineering Building, University of Missouri/Rolla,
  207.    Rolla, Missouri, 65401, phone 314-341-4894.
  208.  
  209.    The LOTEC Speech Recognition Package is all you need to build a
  210.    single-speaker, small-vocabulary, low-quality continuous speech
  211.    recognition module, for use as part of a larger system. It accepts
  212.    input in the form of Sun .au format sound files, along with a set
  213.    of word templates in the same format, and outputs a lattice of word 
  214.    hypotheses. LOTEC is available by anonymous ftp from
  215.       ftp.sanpo.t.u-tokyo.ac.jp:/pub/nigel/lotec/ [130.69.134.32]
  216.    as the files lotec.tar.Z or lotec-no-bin.tar.Z. For more
  217.    information, write to Nigel Ward <nigel@sanpo.t.u-tokyo.ac.jp>.
  218.  
  219. Temporal Reasoning:
  220.  
  221.    See also KNOWBEL above.
  222.  
  223.    MATS     -- Metric/Allen Time System
  224.                Contact: Henry Kautz <kautz@research.att.com>
  225.                MATS is a Common Lisp program which solves temporal
  226.                constraint problems.  Input constraints are either
  227.                difference inequalities or Allen-style qualitative constraints.
  228.  
  229.    TMM      -- New implementation of Dean & McDermott's Temporal Map
  230.                Manager system written in Common Lisp.  
  231.                See SIGART Bulletin 4(3), July 1993.
  232.                Contact: carciofi@src.honeywell.com
  233.  
  234.    MTMM     -- Modified version of Dean & McDermott's TMM written in
  235.                MCL.  Available on diskette.
  236.                Contact: Eckehard Gross <gross@gmd.de>
  237.  
  238.    TimeGraph-- Metric and Qualitative temporal reasoning system which
  239.                handles (<, =, >) point relations, bounds on absolute
  240.                calendar/clock times, and bounds on durations. Data entry
  241.                and retrieval is through interval or point relations.
  242.                The system is scalable in the sense that storage
  243.                remains linear in the number of relations added.
  244.                Efficient retrieval is achieved through a simple 
  245.                timepoint numbering scheme and metagraph structure.
  246.                See SIGART Bulletin 4 (3), pp. 21-25, July 1993.
  247.                Contact: Lenhart Schubert (schubert@cs.rochester.edu)
  248.  
  249.    TimeGraph II (TG-II) handles the set of the relations of the Point
  250.    Algebra and of the Pointizable Interval Algebra (also called Simple
  251.    Interval Algebra by P. van Beek). Temporal relations are represented
  252.    through a "timegraph", a graph partitioned into a collection of "time
  253.    chains" which are automatically structured for efficiency. The system
  254.    is scalable, in the sense that the storage tends to remain linear in
  255.    the number of relations asserted. Efficient query handling is achieved
  256.    through a time point numbering scheme and a "metagraph" data
  257.    structure. TG-II is written in Common Lisp.  For a description of the
  258.    theory underlying the system see:
  259.       [1] Alfonso Gerevini and Lenhart Schubert, "Efficient Temporal
  260.       Reasoning through Timegraphs", in Proceedings of IJCAI-93.
  261.       [2] Alfonso Gerevini and Lenhart Schubert, "Temporal Reasoning in 
  262.       TimeGraph I-II", SIGART Bulletin 4(3), July 1993.
  263.       [3] Alfonso Gerevini and Lenhart Schubert, "Efficient Algorithms 
  264.       for Qualitative Reasoning about Time", Artificial Intelligece, 
  265.       to appear. Also available as IRST Technical Report 9307-44, 
  266.       IRST 38050 Povo, TN Italy; or Tech. report 496, Computer Science 
  267.       Department, University of Rochester, Rochester 14627 NY, USA.
  268.    TimeGraph II is available by anonymous ftp from
  269.       cs.rochester.edu:/pub/knowledge-tools/
  270.    as the files tg-ii.readme and tg-ii-1.tar.gz. If you retrieve a copy
  271.    of TimeGraph II by anonymous ftp, please let them know that you've
  272.    retrieved a copy by sending a message to 
  273.       bug-tg2-request@cs.rochester.edu
  274.    For more information, contact Alfonso Gerevini <gerevini@irst.it> or
  275.    Lenhart Schubert <schubert@cs.rochester.edu>.
  276.  
  277.    Tachyon  -- Performs constraint satisfaction for point-based metric
  278.                reasoning.  Qualitative constraints are also handled by
  279.                translation into quantitative ones.  Written in C++. 
  280.                See SIGART Bulletin 4(3), July 1993.
  281.                Contact: Richard Arthur (arthurr@crd.ge.com)
  282.                
  283.    TimeLogic-- The TimeLogic system is an interval-based forward
  284.                chaining inference engine and database manager of
  285.                temporal constraints.  Relational constraints,
  286.                indicating relative order between intervals, are based
  287.                on Allen's interval logic.  The TimeLogic system also
  288.                supports durational constraints, indicating relative
  289.                magnitude between intervals, and reference links, used
  290.                for the explicit or automatic construction of interval
  291.                hierarchies.  Constraints are posed and propagated in
  292.                user-defined contexts with inheritance. Supports relative
  293.                metric constraints but no absolute dates or times.
  294.                Written in Common Lisp.
  295.                Contact: Peggy Meeker (timelogic-request@cs.rochester.edu)
  296.  
  297.    TemPro   -- A temporal constraint system that uses both interval
  298.                algebra and point-based algebra. Written in Common Lisp.
  299.                Contact: J-P Haton <jph@loria.fr> or
  300.                         F. Charpillet <charp@loria.fr>
  301.  
  302.    TIE      -- Temporal Inference Engine.  Written in Common Lisp.
  303.                Contact: E. Tsang (Essex University, UK)
  304.  
  305.    TCNM (Temporal Constraint Network Manager) manages non-disjunctive
  306.    metric constraints on time-points and on durations in an integrated
  307.    way. These constraints allow us express absolute, qualitative and
  308.    metric constraints on time-points and on durations, which are managed
  309.    in an integrated way. In the updating processes, a non-redundant and
  310.    global consistent Temporal Constraint Network is always maintained by
  311.    means of an efficient and complete propagation method, with a O(n**2)
  312.    temporal complexity. Sound and complete retrieval processes have a
  313.    constant cost. Written in Common Lisp.  For more information, contact
  314.    Federico A. Barber <fbarber@dsic.upv.es>.  See also SIGART Bulletin
  315.    4(3), July 1993.
  316.  
  317. Theorem Proving/Automated Reasoning:
  318.  
  319.    Coq is the Calculus of Inductive Constructions. It runs in 
  320.    Caml-Light and is available by anonymous ftp from
  321.       ftp.inria.fr:/INRIA/coq/V5.8.3 (unix version)
  322.       ftp.inria.fr:/INRIA/coq/V5.8.2 (mac version)
  323.    The Mac version is standalone, not requiring Caml-Light. The unix
  324.    version requires Caml-Light, however, which is available from
  325.       ftp.inria.fr:/lang/caml-light
  326.    Documentation is included in the distribution. Questions and comments
  327.    should be directed to the Coq hotline <coq@pauillac.inria.fr>. 
  328.  
  329.    DTP is a general first-order theorem prover incorporating domain-independent
  330.    control of inference (including intelligent backtracking and subgoal
  331.    caching).  Implemented in CLtL2 Common Lisp, it runs in Franz Allegro,
  332.    Lucid, and Macintosh (MCL) Common Lisp.  DTP is available on the Web at
  333.       http://meta.stanford.edu/dtp/
  334.    or by anonymous ftp from
  335.       meta.stanford.edu:/pub/dtp/ [36.8.0.54]
  336.    Contact Don Geddis <Geddis@CS.Stanford.EDU> for more information.
  337.  
  338.    Elf implements the LF Logical Framework (based on the theory of
  339.    dependent types) and gives it a logic programming interpretation in
  340.    order to support search and the implementation of other algorithms (e.g.
  341.    evaluation or compilation in programming languages).  It comes with a
  342.    number of examples from logic and the theory of programming languages
  343.    such as the Church Rosser theorem for the untyped lambda-calculus and
  344.    type soundness for Mini-ML.  It is written in Standard ML and includes
  345.    some support code for editing and interaction in gnu-emacs. It is
  346.    available by anonymous ftp from 
  347.       ftp.cs.cmu.edu:/afs/cs/user/fp/public/
  348.    as the files README (general information), elf-04.tar.Z (Version 0.4
  349.    of Elf, 1 Jul 1993), elf-examples.tar.Z (Version 0.4 of Elf examples,
  350.    unchanged from Version 0.3), and elf-papers/ (DVI files for papers
  351.    related to LF and Elf, including a "tutorial" and a bibliography). For
  352.    more information, contact Frank Pfenning <fp+@cs.cmu.edu>,
  353.    Department of Computer Science, Carnegie Mellon University.
  354.  
  355.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  356.    a portable resolution theorem-prover written in Common Lisp. It is
  357.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  358.    If you take a copy of FRAPPS, please send a short note to Prof.
  359.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  360.  
  361.    Gazer is a sequent calculus based system for first order logic with a
  362.    novel inference rule, gazing, that enables the system to determine
  363.    which of a possibly large number of definitions and lemmas should be
  364.    used at any point in a proof. Available from the authors, Dave
  365.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  366.    <alex@cs.swarthmore.edu>. 
  367.  
  368.    ISABELLE-93. Isabelle is a highly automated generic theorem prover
  369.    written in Standard ML.  New logics are introduced by specifying their
  370.    syntax and rules of inference.  Proof procedures can be expressed
  371.    using tactics and tacticals. Isabelle comes with 8 different logics,
  372.    including LCF, some modal logics, first-order logic, Zermelo-Fraenkel
  373.    set theory, and higher-order logic. Isabelle-93 is not upwardly
  374.    compatible with its predecessor, but comes with advice on converting
  375.    to the new simplifier.  Isabelle-93 is available by anonymous ftp from
  376.    the University of Cambridge,
  377.       ftp.cl.cam.ac.uk:/ml/ [128.232.0.56]
  378.    as Isabelle93.tar.gz. It is also available from the Technical
  379.    University of Munich, 
  380.       ftp.informatik.tu-muenchen.de:/lehrstuhl/nipkow/ [131.159.0.198]
  381.    The distribution includes extensive documentation, including a 71-page
  382.    introduction, an 85-page reference manual, and a 166-page description of
  383.    the various logics supplied with Isabelle. For more information, write
  384.    to Larry.Paulson@cl.cam.ac.uk and Tobias.Nipkow@informatik.tu-muenchen.de.
  385.    An Emacs-Lisp package for Isabelle by David.Aspinall@dcs.ed.ac.uk
  386.    is available from  
  387.       ftp.dcs.ed.ac.uk:/pub/da/isa-mode.tar.gz
  388.    The users mailing list is isabelle-users@cl.cam.ac.uk and is moderated.
  389.  
  390.    KEIM is a collection of software modules, written in Common Lisp with
  391.    CLOS, designed to be used in the production of theorem proving
  392.    systems.  KEIM is intended to be used by those who want to build or
  393.    use deduction systems (such as resolution theorem provers) without
  394.    having to write the entire framework. KEIM is also suitable for
  395.    embedding a reasoning component into another Common Lisp program.
  396.    KEIM offers a range of datatypes implementing a logical language of
  397.    type theory (higher order logic), in which first order logic can be
  398.    embedded.  KEIM's datatypes and algorithms include: types; terms
  399.    (symbols, applications, abstractions), environments (e.g., associating
  400.    symbols with types); unification and substitutions; proofs, including
  401.    resolution and natural deduction style. KEIM also provides
  402.    functionality for the pretty-printing, error handling, formula parsing
  403.    and user interface facilities which form a large part of any theorem
  404.    prover. Implementing with KEIM thus allows the programmer to avoid a
  405.    great deal of drudgery.  KEIM has been tested in Allegro CL 4.1 and
  406.    Lucid CL 4.0 on Sun 4 workstations.  KEIM is available for
  407.    noncommercial use via anonymous FTP from
  408.       js-sfbsun.cs.uni-sb.de:/pub/keim/keim*
  409.    For more information contact Dan Nesmith, Fachbereich Informatik/AG
  410.    Siekmann, Universitaet des Saarlandes, Postfach 1150, D-66041
  411.    Saarbruecken, Germany, or send email to keim@cs.uni-sb.de.  A mailing
  412.    list for KEIM users is also being set up.  Send mail to
  413.    keim-users-request@cs.uni-sb.de to be put on the list.
  414.  
  415.    MVL      -- t.uoregon.edu:/mvl/mvl.tar.Z [128.223.56.46]
  416.                Contact: ginsberg@t.stanford.edu
  417.                Multi-valued logics
  418.  
  419.    Boyer-Moore -- ftp.cli.com:/pub/nqthm/nqthm.tar.Z
  420.                   rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  421.    See also the pub/proof-checker/ subdirectory, which contains Matt
  422.    Kaufmann's proof checking enhancements to nqthm. 
  423.  
  424.    Nqthm-1992 is the Boyer-Moore theorem prover. The 1992 version of the
  425.    theorem prover is upwardly compatible with the previous (1987)
  426.    version. Included in the distribution are thousands of Nqthm-checked
  427.    theorems formulated by Bevier, Boyer, Brock, Bronstein, Cowles,
  428.    Flatau, Hunt, Kaufmann, Kunen, Moore, Nagayama, Russinoff, Shankar,
  429.    Talcott, Wilding, Yu, and others. The release of Nqthm-1992 includes
  430.    three revised chapters of the book `A Computational Logic Handbook',
  431.    including Chapter 4, on the formal logic for which the system is a
  432.    prover, and Chapter 12, the reference guide to user commands.  Nqthm
  433.    runs in Common Lisp, and has been tested in AKCL, CMU CL, Allegro CL,
  434.    Lucid CL, MCL, and Symbolics CL. Nqthm-1992 is available by anonymous
  435.    ftp from
  436.       ftp.cli.com:/pub/nqthm/nqthm-1992/  [192.31.85.129]
  437.    as the file nqthm-1992.tar.Z. See the file README in the same
  438.    directory for instructions on retrieving nqthm.  See also the 
  439.       /pub/pc-nqthm/pc-nqthm-1992/
  440.    directory (files README-pc and pc-nqthm-1992.tar.Z), which contains
  441.    Matt Kaufmann's interactive proof-checking enhancements to Nqthm-1992.
  442.    For more information, contact Robert S. Boyer <boyer@cli.com>, J.
  443.    Strother Moore <moore@cli.com>, or Matt Kaufmann <kaufmann@cli.com>,
  444.    Computational Logic Inc., 1717 West 6th Street, Suite 290, Austin, TX
  445.    78703-4776.  Send mail to nqthm-users-request@cli.com to be added to
  446.    the mailing list.
  447.  
  448.    The Nuprl Proof Development System is available by anonymous ftp
  449.    from ftp.cs.cornell.edu:/pub/n/. Nuprl should run in any Common
  450.    Lisp with CLX. There are also (obsolete) interfaces for Symbolics Lisp
  451.    machines and Suns running the SunView window system. Nuprl has been
  452.    tested with Allegro, Lucid, AKCL. For further information, contact
  453.    Elizabeth Maxwell, <maxwell@cs.cornell.edu>, Nuprl Distribution
  454.    Coordinator, Department of Computer Science, Upson Hall, Cornell
  455.    University, Ithaca, NY 14853.
  456.  
  457.    Otter         -- info.mcs.anl.gov:/pub/Otter/Otter-2.2/otter22.tar.Z
  458.                     anagram.mcs.anl.gov:/pub/Otter/
  459.                     Contact: otter@mcs.anl.gov
  460.                     Resolution-based theorem prover.
  461.  
  462.    RRL       -- herky.cs.uiowa.edu:/public/rrl [128.255.28.100]
  463.                 Rewrite Rule Laboratory
  464.  
  465.    See SEQUEL entry in the Lisp FAQ, part 6. 
  466.  
  467.    SETHEO        -- flop.informatik.tu-muenchen.de:/pub/fki/ [131.159.8.35]
  468.                     Get the files setheo.info and setheo.tar.Z.
  469.                     SETHEO (SEquential THEOrem prover) is an automated
  470.                     theorem prover for formulae of predicate logic. 
  471.                     SETHEO is based on the calculus of ``connection
  472.                     tableaux''. SETHEO runs on Sun SPARCs only.  
  473.                     Contact: setheo@informatik.tu-muenchen.de
  474.                                 
  475.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  476.    efficient proof checker. It is available by anonymous ftp to
  477.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  478.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  479.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  480.    <myra@saul.cis.upenn.edu>.
  481.  
  482. Theorem Proving/Automated Reasoning (Problems):
  483.  
  484.    ATP Problems  -- anagram.mcs.anl.gov:/pub/ATP_Problems/*
  485.                     Collection of ATP problems from Otter, CADE, and JAR.
  486.                     The problems include algebra, analysis, circuits,
  487.                     geometry, logic problems, Pelletier's problem set,
  488.                     program verification, puzzles, set theory, and topology.
  489.  
  490.    The TPTP (Thousands of Problems for Theorem Provers) Problem Library
  491.    is a collection of test problems for automated theorem provers (ATPs),
  492.    using the clausal normal form of 1st order predicate logic.  The goal
  493.    of the TPTP is to provide a firm basis for the testing, evaluation,
  494.    and comparison of ATP systems through a comprehensive library of ATP
  495.    test problems in a general purpose format. The TPTP includes tools to
  496.    convert the problems to existing ATP formats, such as the OTTER, MGTP,
  497.    PTTP, SETHEO, and SPRFN formats.  Each problem includes a list of
  498.    references and other relevant information.  The TPTP also aims to
  499.    supply general guidelines outlining the requirements for ATP system
  500.    evaluation. The TPTP can be obtained by anonymous ftp from either the
  501.    Department of Computer Science, James Cook University, Australia,
  502.       coral.cs.jcu.edu.au:/pub/tptp-library            [137.219.17.4]
  503.    or the Institut fuer Informatik, TU Muenchen, Germany,
  504.       flop.informatik.tu-muenchen.de:/pub/tptp-library [131.159.8.35]
  505.    as the files ReadMe (general information about the library),
  506.         TPTP-v1.1.0.tar.gz (the library itself), and
  507.         TR-v1.0.0.ps.gz (a postscript technical report about the TPTP).
  508.    The TPTP is also accessible through WWW using either of the URLs
  509.       ftp://coral.cs.jcu.edu.au/web/cs/tptp.html
  510.       http://wwwjessen.informatik.tu-muenchen.de/~suttner/tptp.html
  511.    Additions and corrections may be sent to Geoff Sutcliffe
  512.    <geoff@cs.jcu.edu.au> (Fax: +61-77-814029) or Christian Suttner
  513.    <suttner@informatik.tu-muenchen.de> (Fax: +49-89-526502).  If you
  514.    would like to be kept informed of new versions of the TPTP, please
  515.    send email to either of them.
  516.  
  517. Truth Maintenance:
  518.  
  519.    The truth maintenance system and problem solver implementations
  520.    described in the book "Building Problem Solvers" by Ken Forbus and
  521.    Johan de Kleer are available by anonymous ftp from
  522.           multivac.ils.nwu.edu:/pub/BPS/
  523.     parcftp.xerox.com:/pub/bps/ 
  524.    For more information send mail to Johan de Kleer <deKleer@parc.xerox.com>.
  525.    Send bug reports to bug-bps@ils.nwu.edu.
  526.  
  527. Miscellaneous:
  528.  
  529.    University of Toronto:
  530.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  531.  
  532.       Archives of ailist mailing list, defunct as of January 19, 1990
  533.  
  534.    PAIL (Portable AI Lab)
  535.       ftp   -- pobox.cscs.ch:/pub/ai/  [148.187.10.13]
  536.       contact: pail-info@idsia.ch
  537.       authors: Mike Rosner <mike@idsia.ch> 
  538.                Dean Allemang <allemang@lia.di.epfl.ch>
  539.  
  540. ----------------------------------------------------------------
  541. Subject: [6-1] AI Bibliographies available by FTP
  542.  
  543. AI: 
  544.  
  545.    The Computer Science Department at the University of Saarbruecken, Germany,
  546.    maintains a large bibliographic database of articles pertaining to the
  547.    field of Artificial Intelligence. Currently the database contains more
  548.    than 25,000 references, which can be retrieved by electronic mail from
  549.    the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
  550.    subject line "lidosearch help info" to get instructions on using the
  551.    mail server. A variety of queries based on author names, title and
  552.    year of publication are possible. The references can be provided in
  553.    BibTeX or Refer formats. The entire bibliographic database can be
  554.    obtained for a fee by ftp or on tape. Questions may be directed to
  555.    bib-1@cs.uni-sb.de.
  556.  
  557.    A variety of AI-related bibliographies are available by anonymous ftp
  558.    from 
  559.       nexus.yorku.ca:/pub/bibliographies/
  560.  
  561.    Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
  562.    Artificial Intelligence papers and technical reports. Available by
  563.    anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
  564.  
  565.    A large collection of BibTeX bibliographies (290,000+ references) on a
  566.    variety of subjects, including artificial intelligence (29,402
  567.    entries), neural networks (8,111 entries), and object-oriented
  568.    programming (3,493 entries), is available by anonymous ftp from
  569.       ftp.ira.uka.de:/pub/bibliography/  [129.13.10.90]
  570.    and in the mirror sites
  571.       faui80.informatik.uni-erlangen.de:/pub/literatur/Mirror/bibliography/
  572.       ftp.cs.umanitoba.ca:/pub/bibliographies/
  573.    or by WWW from
  574.       ftp://ftp.ira.uka.de/pub/bibliography/index.html 
  575.       http://www.ira.uka.de/ftp/ira/bibliography/index.html
  576.    Some of the bibliographies prohibit commercial use. For more
  577.    information, see the README file, or write to Alf-Christian Achilles
  578.    <bibservadmin@ira.uka.de> or <achilles@ira.uka.de>. 
  579.  
  580.    Glimpse, a searchable interface to the UKA and other
  581.    bibliographies, is accessible as 
  582.       http://glimpse.cs.arizona.edu:1994/bib/
  583.    Write to glimpse@cs.arizone.edu for more information.
  584.  
  585. Fuzzy Logic:
  586.          
  587.    A BibTeX database of references addressing neuro-fuzzy issues can be
  588.    obtained by anonymous ftp from 
  589.       ftp.tu-bs.de:/local/papers/ [134.169.34.15]
  590.    as the (ascii) file fuzzy-nn.bib.
  591.  
  592. Genetic Algorithms:
  593.  
  594.    A bibliography of over 400 Evolutionary Computation references (GA,
  595.    ES, EP, GP) is available by anonymous ftp from 
  596.       magenta.me.fau.edu:/pub/ep-list/bib/
  597.    The file EC-ref.bib.Z is in BibTeX format; EC-ref.ps.Z is a postscript
  598.    version of the bibliography. Please send additions and corrections to
  599.    saravan@amber.me.fau.edu or EP-List@amber.me.fau.edu.
  600.  
  601. Logic Programming, Constraints:
  602.  
  603.    A BibTeX bibliography for Constraint Logic Programming is available
  604.    by anonymous ftp from 
  605.       archive.cis.ohio-state.edu:/pub/clp/
  606.    in the bib/ and papers/ subdirectories.
  607.  
  608. NLP/CL:
  609.  
  610.    For information on a fairly complete bibliography of computational
  611.    linguistics and natural language processing work from the 1980s, send
  612.    mail to clbib@csli.stanford.edu with the subject HELP. 
  613.  
  614.    The CSLI linguistics bibliography contains 3,300 entries in
  615.    bib/tib/refer format. The bibliography is heavily slanted towards
  616.    phonetics and phonology but also includes a fair amount of
  617.    computational morphology, syntax, semantics, and psycholinguistics.
  618.    The bibliography can be used with James Alexander's tib
  619.    bibliography system, which is available from minos.inria.fr
  620.    [128.93.39.5] among other places. The bibliography itself is available
  621.    by anonymous ftp from 
  622.       csli.stanford.edu:/pub/bibliography/
  623.    Contributions are welcome, but should be in tib format.
  624.    For more information, contact Andras Kornai <kornai@csli.stanford.edu>
  625.  
  626. NLG:
  627.  
  628.    Robert Dale's Natural Language Generation (NLG) bibliography is
  629.    available by anonymous ftp from 
  630.       scott.cogsci.ed.ac.uk:/pub/nlg/ [129.215.144.3] 
  631.    Note that it is formatted for A4 paper. Stick in a line 
  632.       .94 .94 scale
  633.    after the %! line to print on 8.5 x 11 paper. For further information,
  634.    write to Robert Dale, University of Edinburgh, Centre for Cognitive
  635.    Science, 2 Buccleuch Place, Edinburgh EH8 9LW Scotland, or
  636.    <R.Dale@edinburgh.ac.uk> or <rdale@microsoft.com>.
  637.  
  638.    Mark Kantrowitz's Natural Language Generation (NLG) bibliography is
  639.    available by anonymous ftp from 
  640.       ftp.cs.cmu.edu:/user/ai/areas/nlp/nlg/bibs/mk/ [128.2.206.173] 
  641.    In addition to the tech report, the BibTeX file containing the
  642.    bibliography is also available.  The bibliography contains more than
  643.    1,200 entries. Additions and corrections should be sent to
  644.    mkant@cs.cmu.edu.
  645.  
  646. Neural Nets, Learning:
  647.  
  648.    A bibliography of over 1000 entries about Self-Organizing Map
  649.    (SOM) and Learning vector Quantization (LVQ) studies is
  650.    available by anonymous ftp from
  651.       cochlea.hut.fi:/pub/ref/
  652.    as the files references.bib.Z (BibTeX file) and references.ps.Z
  653.    (PostScript file). Please send additions and corrections to 
  654.    biblio@cochlea.hut.fi.
  655.  
  656.    An extensive collection of references on Principal Component Analysis
  657.    (PCA) neural networks and learning algorithms is available by
  658.    anonymous ftp from dendrite.hut.fi:/pub/ref/ in LaTeX and PostScript
  659.    formats. The list was compiled by Liu-Yue Wang, a graduate student of
  660.    Erkki Oja, and updated by Juha Karhunen, all from Helsinki University
  661.    of Technology, Finland.  For more information, contact Erkki Oja
  662.    <oja@dendrite.hut.fi>.
  663.  
  664.    A bibliography of PCA algorithms is available by anonymous ftp from
  665.    ftp.ai.mit.edu:/pub/sanger-papers/ as pca.bib. For more information,
  666.    contact Terry Sanger <tds@ai.mit.edu>.
  667.  
  668.    A 36-page bibliography of connectionist models with symbolic
  669.    processing is available by anonymous ftp from Neuroprose
  670.       archive.cis.ohio-state.edu:/pub/neuroprose/ [128.146.8.52]
  671.    as the file sun.nn-sp-bib.ps.Z. For more information, contact
  672.    Ron Sun <rsun@athos.cs.ua.edu>.
  673.  
  674. Nonmonotonic Logic, Belief Revision:
  675.  
  676.    A bibliography on belief revision and nonmonotonic logics with
  677.    about 2,000 items is available by anonymous ftp from
  678.       tarski.phil.indiana.edu:/pub/morado/  [129.79.134.34]
  679.    as nonmono.bib or nonmono.bib.Z. The file is also available by WAIS as
  680.       wais://tarski.phil.indiana.edu/nonmono.bib?
  681.    and by gopher/WWW. Please send additions and corrections to Raymundo
  682.    Morado <morado@phil.indiana.edu>. 
  683.  
  684. Speech: 
  685.  
  686.    A bibliography of papers on Silicon Auditory Models (VLSI
  687.    implementations of auditory representations) is available by anonymous
  688.    ftp from
  689.       hobiecat.pcmp.caltech.edu:/pub/anaprose/lazzaro/sa-biblio.ps.Z
  690.    For more information, write to John Lazzaro <lazzaro@boom.cs.berkeley.edu>
  691.  
  692. ----------------------------------------------------------------
  693. Subject: [6-2] Technical Reports available by FTP
  694.  
  695. This section lists the anonymous ftp sites for technical reports from
  696. several universities and other organizations. Some of the sites
  697. provide only an online catalog of technical reports, while the rest
  698. make the actual reports available online. The email address listed is
  699. that of the appropriate person to contact with questions about
  700. ordering technical reports. 
  701.  
  702. When ftping compressed .Z files, remember to set the transfer type to
  703. binary first, using the command
  704.         ftp> binary
  705.  
  706. Other general locations for technical reports from several
  707. universities include:
  708.    wuarchive.wustl.edu:/doc/techreports/ [128.252.135.4]
  709.    cs-archive.uwaterloo.edu:/cs-archive/  (see Index for an index)
  710.       AKA watdragon.uwaterloo.ca [129.97.140.24]
  711. The uwaterloo archive includes tech reports from the Logic Programming
  712. and Artificial Intelligence Group (LPAIG) of the University of Waterloo.
  713.  
  714. There is also a WAIS server containing tech report abstracts that can be
  715. searched. To use, create the file ~/wais-sources/cs-techreport-abstracts.src 
  716. containing
  717.    (:source
  718.       :version  3
  719.       :ip-address "130.194.74.201"
  720.       :ip-name "daneel.rdt.monash.edu.au"
  721.       :tcp-port 210
  722.       :database-name "cs-techreport-abstracts"
  723.       :cost 0.00
  724.       :cost-unit :free
  725.       :maintainer "wais@daneel.rdt.monash.edu.au")
  726. and invoke your local wais client. To add to it, email abstracts of
  727. your papers to wais@rdt.monash.edu.au in the following format:
  728.    %TI Title
  729.    %AU Author (use multiple %AU lines for multiple authors)
  730.    %PU Published In (citation information)
  731.    %AV Availability (e.g., ftp reports.adm.cs.cmu.edu:/1992/CMU-CS-92-101.ps)
  732.    %OR Organization (see cs-techreport-archives.src for institution codes)
  733.    %LT Local title (e.g., tech report number)
  734.    %DA Date (and, if you want, %MN Month, %YR Year)
  735.    %AB Abstract
  736. If your papers are not available by FTP, you can use a %AV line such as:
  737.    %AV mail harry.bovik@cs.cmu.edu
  738. Further instructions are available from
  739.    daneel.rdt.monash.edu.au:/pub/techreports/reports/README  
  740. [Based on a post by Ashwin Ram.]
  741.  
  742. Also see the Unified Computer Science Technical Report Index
  743.     http://cs.indiana.edu/cstr/search
  744. A list of FTP sites for technical reports and papers can be found in
  745.     http://www.vifp.monash.edu.au/techreports/sitelist.html
  746.  
  747. A list of more than 230 sites publishing CS tech reports may be
  748. obtained by anonymous ftp from
  749.     ftp.rdt.monash.edu.au:/pub/techreports/sites/sites-list-data
  750. To receive notification of new tech report sites, send mail to
  751. compdoc-techreports-request@ftp.cse.ucsc.edu to join the mailing list.
  752.  
  753. An archive of linguistics papers and preprints is available from
  754. linguistics.archive.umich.edu:/linguistics/papers/. Contact John Lawler
  755. (jlawler@umich.edu) or linguistics-archivist@umich.edu for more
  756. information.
  757.  
  758. The Concurrent Engineering Research Center (CERC) at West Virginia
  759. University has placed ASCII versions of the concurrent
  760. engineering-related abstracts (over 500) that were on CERCnet, ASCII
  761. back issues of the Concurrent Engineering Research in Review journal
  762. (now discontinued), and Postscript copies of CERC technical reports in
  763. the gopher server gopher.cerc.wvu.edu.  In addition, many of the CERC
  764. technical reports, including journal articles, symposium papers,
  765. theses, dissertations, and issues of the Concurrent Engineering
  766. Research in Review journal, are available as Postscript versions via
  767. anonymous ftp from 
  768.    babcock.cerc.wvu.edu:/pub/techReports/ [157.182.44.36]
  769. An index to all the reports, including some that are
  770. available only in hardcopy, is contained in the file "CERC-TR-INDEX".
  771. If you need additional information, contact Mary Carriger, CERC Office
  772. of Information Services, at carriger@cerc.wvu.edu.
  773.  
  774. The newsgroup comp.doc.techreports is devoted to distributing lists of
  775. tech reports and their abstracts.
  776.  
  777.    MIT Artificial Intelligence Laboratory:
  778.       ftp   -- publications.ai.mit.edu:/ai-publications/
  779.       email -- publications@ai.mit.edu
  780.       browse -- telnet reading-room.lcs.mit.edu
  781.  
  782.       A full catalog of MIT AI Lab technical reports (and a listing of recent
  783.       updates) may be obtained from the above location, by writing to
  784.       Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
  785.       545 Technology Square, Cambridge, MA 02139, USA, or by calling
  786.       1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
  787.       with a short abstract and their current prices. There is also a charge
  788.       for shipping. Some recent tech reports (since 1991) are available in the
  789.       ai-publications/ subdirectory; older technical reports are NOT
  790.       available by ftp. A bibliography is in the bibliography/ directory.
  791.  
  792.    CMU School of Computer Science:
  793.       ftp   -- reports.adm.cs.cmu.edu
  794.       email -- Technical.Reports@cs.cmu.edu
  795.  
  796.    CMU Software Engineering Institute:
  797.       ftp   --  ftp.sei.cmu.edu:/pub/documents
  798.       email --  bjz@sei.cmu.edu
  799.  
  800.    Yale: 
  801.       ftp   --  dept.cs.yale.edu:/pub/TR/
  802.  
  803.    University of Washington CSE Tech Reports:
  804.       ftp   --  june.cs.washington.edu:/tr  
  805.       email --  tr-request@cs.washington.edu
  806.  
  807.    ================
  808.  
  809.    AT&T Bell Laboratories:
  810.       ftp   -- netlib.att.com:/netlib/research/cstr/
  811.       bib.Z contains short bibliography, including all the technical
  812.       reports contained in this directory.
  813.  
  814.       ftp   -- research.att.com:/dist/ai
  815.  
  816.    Argonne National Laboratory:
  817.       ftp   -- anagram.mcs.anl.gov:/pub/tech_reports
  818.       email -- wright@mcs.anl.gov
  819.  
  820.       Contains MCS Division preprints and technical memoranda,
  821.       available as either .dvi or .ps files. For descriptions of the
  822.       contents, see the subdirectory pub/tech_reports/abstracts; for
  823.       the files themselves see the subdirectory pub/tech_reports/reports.
  824.  
  825.    Boston University:
  826.       ftp   --  cs.bu.edu:/techreports/
  827.       email --  techreports@cs.bu.edu
  828.  
  829.    Brown University:
  830.       ftp   --  wilma.cs.brown.edu:/techreports/
  831.       email --  techreports@cs.brown.edu
  832.  
  833.    Cambridge University: Speech, Vision & Robotics Group
  834.       ftp   --  svr-ftp.eng.cam.ac.uk:/reports/
  835.  
  836.    Columbia University:
  837.       ftp   --  cs.columbia.edu:/pub/reports
  838.       email --  tech-reports@cs.columbia.edu
  839.  
  840.    DEC Cambridge Research Lab:
  841.       ftp   --  crl.dec.com:/pub/DEC/CRL/abstracts/
  842.         crl.dec.com:/pub/DEC/CRL/tech-reports/
  843.  
  844.    DEC Paris Research Lab:
  845.       email --  doc-server@prl.dec.com
  846.                 Put commands in Subject: line of the message.
  847.                 To get a list of articles, use
  848.                         send index articles
  849.                 To get a list of tech reports, use
  850.                         send index reports
  851.  
  852.    DEC WRL:
  853.       email -- wrl-techreports@decwrl.dec.com
  854.                To get a helpfile, send a message with 
  855.                   help
  856.            in the subject line.
  857.  
  858.    DFKI:
  859.       ftp   -- duck.dfki.uni-sb.de:/pub/papers
  860.       email -- Martin Henz (henz@dfki.uni-sb.de)
  861.  
  862.    Duke University:
  863.       ftp   --  cs.duke.edu:/dist/papers/
  864.         cs.duke.edu:/dist/theses/
  865.       email --  techreport@cs.duke.edu  [unknown user, 7/7/93]
  866.  
  867.    Edinburgh:
  868.       A list of available reports can be sent via email. Send requests
  869.       for information about reports from the Center for Cognitive Science 
  870.       to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
  871.       Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk. 
  872.  
  873.    Electrotechnical Laboratory, Japan:
  874.       Reports from the Cooperative Architecture project (half AI, half
  875.       software engineering).
  876.       ftp   -- etlport.etl.go.jp:/pub/kyocho/Papers [192.31.197.99]
  877.                See file Index.English.
  878.       email -- Hideyuki Nakashima <nakashim@etl.go.jp>.
  879.  
  880.    Georgia Tech College of Computing, AI Group:
  881.       ftp   -- ftp.cc.gatech.edu:/pub/ai (130.207.3.245) 
  882.       email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>
  883.  
  884.    HCRC (Human Communication Research Centre):
  885.       ftp   -- scott.cogsci.ed.ac.uk:/pub/HCRC-papers/
  886.       mail  -- Fiona-Anne Malcolm
  887.                Human Communication Research Centre
  888.                2 Buccleuch Place, Edinburgh, UK
  889.  
  890.    Illinois:
  891.       email -- Erna Amerman <erna@uiuc.edu>
  892.  
  893.    Illinois Genetic Algorithms Laboratory (IlliGAL):
  894.       email -- Eric Thompson <library@gal1.ge.uiuc.edu>
  895.       phone -- 217-333-2346 (9AM to 5PM CT, M-F)
  896.       mail  -- Illinois Genetic Algorithms Laboratory
  897.                Department of General Engineering
  898.                117 Transportation Building
  899.                104 South Mathews Avenue
  900.                Urbana, IL 61801-2996
  901.       ftp   -- gal4.ge.uiuc.edu:/pub/papers/IlliGALs/
  902.                Includes the GA bibliography and the Messy GA code in C
  903.                (in /pub/src/) and preprints (in /pub/papers/Publications)
  904.       www   -- http://gal4.ge.uiuc.edu/illigal.home.html
  905.  
  906.    Indiana:
  907.       ftp   -- cogsci.indiana.edu:/pub         [129.79.238.12]
  908.       ftp   -- ftp.cs.indiana.edu:/pub/techreports [129.79.254.191]
  909.  
  910.    INRIA, France:
  911.       ftp   -- ftp.inria.fr:/INRIA/publication/
  912.  
  913.    Institute for Learning Sciences at Northwestern University:
  914.       ftp   --  aristotle.ils.nwu.edu:/pub/papers/
  915.       phone --  708-491-3500
  916.  
  917.    Mechanized Reasoning Group (MRG):
  918.       ftp   --  ftp.mrg.dist.unige.it:/pub/mrg-ftp
  919.       email --  Fausto Giunchiglia <fausto@irst.it>
  920.                 Mechanized Reasoning Group, IRST
  921.                 38050 Povo Trento, Italy
  922.                 Tel: +39 461-314444 (secr.)
  923.                      +39 461-314436 (office)
  924.                 Fax: +39 461-302040 / 314591
  925.  
  926.    National University of Singapore:
  927.       ftp   -- ftp.nus.sg:/pub/NUS/ISCS/techreports
  928.  
  929.    New York University (NYU):
  930.       ftp   --  cs.nyu.edu:/pub/tech-reports
  931.  
  932.    OGI:
  933.       ftp   --  cse.ogi.edu:/pub/tech-reports
  934.       email --  csedept@cse.ogi.edu
  935.  
  936.    Ohio State University, Laboratory for AI Research
  937.       ftp   -- nervous.cis.ohio-state.edu:/pub/papers
  938.       email -- lair-librarian@cis.ohio-state.edu
  939.  
  940.    OSU Neuroprose:
  941.       ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)
  942.  
  943.       This directory contains technical reports as a public service to the
  944.       connectionist and neural network scientific community which has an
  945.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  946.       Includes several bibliographies.
  947.  
  948.    Stanford:
  949.       ftp   -- elib.stanford.edu:/cs
  950.    
  951.       Very spotty collection.
  952.  
  953.    SRI:
  954.       email -- Donna O'Neal, donna@ai.sri.com
  955.  
  956.    SUNY Buffalo:
  957.       ftp   -- ftp.cs.buffalo.edu:/pub/tech-reports/
  958.  
  959.    SUNY at Stony Brook:
  960.       ftp   -- sbcs.sunysb.edu:/pub/TechReports
  961.       email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  962.  
  963.       The /pub/sunysb directory contains the SB-Prolog implementation
  964.       of the Prolog language. Contact warren@sbcs.sunysb.edu for more
  965.       information.
  966.  
  967.    TCGA (The Clearinghouse for Genetic Algorithms):
  968.       email -- Robert Elliott Smith <rob@comec4.mh.ua.edu>
  969.                Department of Engineering of Mechanics
  970.                Room 210 Hardaway Hall
  971.                The University of Alabama
  972.                PO Box 870278
  973.                Tuscaloosa, AL 35487
  974.                205-348-1618, fax 205-348-6419
  975.  
  976.    Thinking Machines:
  977.       ftp   -- ftp.think.com:/think/techreport.list
  978.  
  979.       This file contains a list of Thinking Machines technical reports.
  980.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  981.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  982.       First Street, Cambridge, MA 01241. In addition, the directories
  983.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  984.       simulators. 
  985.  
  986.    Tulane University:
  987.       ftp   -- rex.cs.tulane.edu:/pub/tech/  [129.81.132.1]
  988.  
  989.    University of Alabama:
  990.       ftp   -- aramis.cs.ua.edu:/pub/tech-reports/
  991.  
  992.    University of Arizona:
  993.       ftp   -- cs.arizona.edu:/reports/
  994.       email -- tr_libr@cs.arizona.edu
  995.  
  996.       The directory /japan/kahaner.reports contains reports on AI in
  997.       Japan, among other things, written by Dr. David Kahaner, a
  998.       numerical analyst on sabbatical to the Office of Naval
  999.       Research-Asia (ONR Asia) in Tokyo from NIST. The reports are not
  1000.       written in any sort of official capacity, but are quite interesting. 
  1001.  
  1002.    University of California/Santa Cruz:
  1003.       ftp   -- ftp.cse.ucsc.edu:/pub/bib/
  1004.            ftp.cse.ucsc.edu:/pub/tr/
  1005.       email -- jean@cs.ucsc.edu
  1006.  
  1007.    University of Cambridge Computer Lab:
  1008.       email -- tech-reports@cl.cam.ac.uk
  1009.  
  1010.    University of Colorado:
  1011.       ftp   --  ftp.cs.colorado.edu:/pub/cs/techreports
  1012.  
  1013.    University of Florida:
  1014.       ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  1015.  
  1016.    University of Genoa, Mechanized Reasoning Group:
  1017.       ftp   -- ftp.mrg.dist.unige.it:/pub/mrg-ftp/
  1018.       email -- Fausto Giunchiglia <fausto@irst.it>
  1019.  
  1020.    University of Georgia:
  1021.       ftp   -- ai.uga.edu:/pub/ai.reports/
  1022.  
  1023.    University of Illinois at Urbana:
  1024.       ftp   -- a.cs.uiuc.edu:/pub/dcs
  1025.       email -- e-amerman@a.cs.uiuc.edu 
  1026.  
  1027.    University of Indiana, Center for Research on Concepts and Cognition:
  1028.       ftp   --  cogsci.indiana.edu:/pub/
  1029.       email --  helga@cogsci.indiana.edu
  1030.  
  1031.    University of Kaiserslautern, Germany:
  1032.       ftp   --  ftp.uni-kl.de:/reports_uni-kl/computer_science/
  1033.  
  1034.    University of Kentucky:
  1035.       ftp   --  ftp.ms.uky.edu:/pub/tech-reports/UK/cs/
  1036.  
  1037.    University of Massachusetts at Amherst:
  1038.       email --  techrept@cs.umass.edu
  1039.  
  1040.    University of Melbourne, Australia,
  1041.    Computer Vision and Pattern Recognition Laboratory (CVPRL):
  1042.       ftp   -- krang.vis.mu.oz.au:/pub/articles
  1043.  
  1044.    University of Michigan:
  1045.       ftp   -- ftp.eecs.umich.edu:/techreports
  1046.         
  1047.    University of North Carolina:
  1048.       ftp   -- ftp.cs.unc.edu:/pub/technical-reports/
  1049.  
  1050.    University of Pennsylvania:
  1051.       ftp   -- ftp.cis.upenn.edu:/pub/papers/
  1052.       email -- publications@upenn.edu [email bounced 7/7/93]
  1053.  
  1054.    USC/Information Sciences Institute:
  1055.       email -- Sheila Coyazo <scoyazo@isi.edu> is the contact. [email
  1056.            bounced 7/7/93]
  1057.  
  1058.    University of Toronto:
  1059.       ftp   -- ftp.cs.toronto.edu:/pub/cogrob/   (Cognitive Robotics)
  1060.            ftp.cs.toronto.edu:/pub/reports/
  1061.       email -- tech-reports@cs.toronto.edu
  1062.  
  1063.    University of Virginia:
  1064.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  1065.  
  1066.    University of Western Australia:
  1067.       ftp   -- ciips.ee.uwa.edu.au
  1068.       Centre for Intelligent Information Processing Systems (CIIPS)
  1069.       EE Engineering Department
  1070.  
  1071.    University of Wisconsin:
  1072.       ftp   -- ftp.cs.wisc.edu:/tech-reports
  1073.            ftp.cs.wisc.edu:/machine-learning
  1074.            ftp.cs.wisc.edu:/computer-vision
  1075.       email -- tech-reports-archive@cs.wisc.edu
  1076.  
  1077.  
  1078. Some AI authors have set up repositories of their own papers:
  1079.  
  1080.    Matthew Ginsberg: t.stanford.edu:/u/ftp/papers
  1081.  
  1082. ----------------------------------------------------------------
  1083. Subject: [6-3] Where can I get a machine readable dictionary, thesaurus, and
  1084.                other text corpora?
  1085.  
  1086. Free:
  1087.  
  1088.    /usr/dict/words
  1089.  
  1090.    Roget's 1911 Thesaurus is available by anonymous FTP from the
  1091.    Consortium for Lexical Research 
  1092.       clr.nmsu.edu:/CLR/lexica/roget-1911 [128.123.1.12]
  1093.    It is also available from
  1094.       src.doc.ic.ac.uk:/literary/collections/project_gutenberg/roget11.txt.Z
  1095.    An old Webster's dictionary is in /text/dict/{DICT.Z,DICT.INDEX.Z}.
  1096.    Project Gutenberg also has Roget's 1911 Thesaurus. The Project
  1097.    Gutenberg archive is at mrcnext.cso.uiuc.edu:/pub/etext/. The
  1098.    Project Gutenberg archive collects public domain electronic books. For more
  1099.    information, write to Michael S. Hart, Professor of Electronic Text,
  1100.    Executive Director of Project Gutenberg Etext, Illinois Benedictine
  1101.    College, 5700 College Road, Lisle, IL 60532 or send email to
  1102.    hart@vmd.cso.uiuc.edu. 
  1103.  
  1104.    For people without FTP, Austin Code Works sells floppy disks
  1105.    containing Roget's 1911 Thesaurus for $40.00. This money helps support
  1106.    the production of other useful texts, such as the 1913 Webster's dictionary.
  1107.  
  1108.    The Online Book Initiative maintains a text repository on
  1109.    ftp.std.com (a public access UNIX system, 617-739-WRLD). See the
  1110.    README file on obi.std.com:/obi/. For more information, send email to
  1111.    obi@world.std.com, write to Software Tool & Die, 1330 Beacon Street,
  1112.    Brookline, MA 02146, or call 617-739-0202.
  1113.  
  1114.    The CHILDES project at Carnegie Mellon University has a lot of data of
  1115.    children speaking to adults, as well as the adult written and adult
  1116.    spoken corpora from the CORNELL project.  Contact Brian MacWhinney
  1117.    <brian@andrew.cmu.edu> for more information.
  1118.  
  1119.    The Association for Computational Linguistics (ACL) has a Data
  1120.    Collection Initiative. For more information, contact Donald Walker at
  1121.    Bellcore, walker@flash.bellcore.com.
  1122.  
  1123.    Two lists of common female first names (4967 names) and male first
  1124.    names (2924 names) are available for anonymous ftp from 
  1125.       ftp.cs.cmu.edu:/user/ai/areas/nlp/corpora/names/
  1126.    Read the file README first. Send mail to mkant@cs.cmu.edu for more
  1127.    information. 
  1128.  
  1129.    A list of 110,000 English words (one per line, in ASCII) is
  1130.    available in the PD1:<MSDOS.LINGUISTICS> directory on SIMTEL20 as the
  1131.    files WORDS1.ZIP, WORDS2.ZIP, WORDS3.ZIP, and WORDS4.ZIP. Although the
  1132.    list is in MS-DOS files, it can easily be used on other machines (but
  1133.    first you'll have to unzip the files on a DOS machine). The list
  1134.    includes inflected forms of the words, such as plural nouns and the
  1135.    -s, -ed, and -ing forms of verbs; thus the number of lexical stems in
  1136.    the list is considerably smaller than the total number of word forms.
  1137.    These files are available via FTP from WSMR-SIMTEL20.ARMY.MIL
  1138.    [192.88.110.20].  SIMTEL20 files are mirrored on wuarchive.wustl.edu.
  1139.  
  1140.    The Collins English Dictionary encoded as a Prolog fact base is
  1141.    available from the Oxford Text Archive by anonymous ftp from
  1142.       black.ox.ac.uk:/ota/dicts/1192/  [129.67.1.165]
  1143.    The Oxford Text Archive includes many other texts, dictionaries,
  1144.    thesauri, word lists, and so on, most of which are available for
  1145.    scholarly use and research only. See the files
  1146.       black.ox.ac.uk:/ota/textarchive.form
  1147.       black.ox.ac.uk:/ota/textarchive.info
  1148.       black.ox.ac.uk:/ota/textarchive.list
  1149.       black.ox.ac.uk:/ota/textarchive.sgml
  1150.    for more information, or write to archive@ox.ac.uk, Oxford Text Archive,
  1151.    Oxford University Computing Services, 13 Banbury Road, Oxford OX2
  1152.    6NN, UK, call 44-865-273238 or fax 44-865-273275.
  1153.  
  1154.    Chuck Wooters <wooters@icsi.berkeley.edu> has extracted the most
  1155.    likely pronunciation for each of about 6100 words in the hand-labeled
  1156.    TIMIT database, and made them available by anonymous ftp from
  1157.    ftp.icsi.berkeley.edu:/pub/speech/TIMIT.mostlikely.Z.
  1158.  
  1159.    A list of homophones from general American English is available by
  1160.    anonymous ftp from svr-ftp.eng.cam.ac.uk:/comp.speech/data/ as the file
  1161.    homophones-1.01.txt. To receive the list by email, send mail to
  1162.    Evan.Antworth@sil.org. The list was compiled by Tony Robinson.
  1163.  
  1164.    Sigurd P. Crossland <sig@seuss.vantage.gte.com> has been compiling 
  1165.    a dictionary of English words, including most common American words,
  1166.    abbreviations, hyphenations, and even incorrect spellings. The most
  1167.    recent version is available by anonymous ftp from
  1168.       wocket.vantage.gte.com:/pub/standard_dictionary/dic-0394.tar.gz
  1169.    The tar file includes 31 text files, one for each word-length from 2
  1170.    to 32. The compressed tar file takes up just over 4mb of space, and
  1171.    includes approximately 870,000 words.
  1172.  
  1173.    WordNet is an English lexical reference system based on current
  1174.    psycholinguistic theories of human lexical memory. It organizes nouns,
  1175.    verbs and adjectives into synonym sets corresponding to lexical
  1176.    concepts. The sets are linked by a variety of relations. Besides being
  1177.    of scientific interest, 
  1178.    it makes a handy thesaurus. WordNet is available by anonymous ftp from
  1179.       clarity.princeton.edu:/pub/
  1180.    If you retrieve a copy of wordnet by ftp, please send mail to
  1181.    wordnet@princeton.edu. 
  1182.  
  1183. Commercial:
  1184.  
  1185.    Illumind publishes the Moby Thesaurus (25,000 roots/1.2 million
  1186.    synonyms), Moby Words (560,000 entries), Moby Hyphenator (155,000
  1187.    entries), and the Moby Part-of-Speech (214,000 entries), Moby
  1188.    Pronunciator (167,000 entries with IPA encoding, syllabification, and
  1189.    primary, secondary, and tertiary stress marks) and Moby Language
  1190.    (100,000 word word lists in five major world languages) lexical
  1191.    databases. All databases are supplied in pure ASCII, royalty-free, in
  1192.    both Macintosh and MS-DOS disk formats (also in .Z file formats). Both
  1193.    commercial (to resell derived structures as part of commercial
  1194.    applications) and educational/research licenses are available. Samples
  1195.    of each of the lexical databases are available by anonymous ftp from
  1196.    netcom.com:/pub/grady/Moby_Sampler.tar.Z [192.100.81.100].  For more
  1197.    information, write to Illumind, Attn: Grady Ward, 3449 Martha Court,
  1198.    Arcata, CA 95521, call/fax 707-826-7715, or send email to
  1199.    grady@netcom.com.
  1200.  
  1201.    The Oxford Text Archive has hundreds of online texts in a wide variety
  1202.    of languages, including a few dictionaries (the OED, Collins, etc.).
  1203.    The Lancaster-Oslo-Bergen (LOB), Brown, and London-Lund corpii are also
  1204.    available from them.  For more information, write to Oxford Electronic
  1205.    Publishing, Oxford University Press, 200 Madison Avenue, New York, NY
  1206.    10016, call 212-889-0206, or send mail to archive@vax.oxford.ac.uk.
  1207.    (Their contact information in England is Oxford Text Archive, Oxford
  1208.    University Computing Service, 13 Banbury Road, Oxford OX2 6NN, UK, +44
  1209.    (865) 273238.)
  1210.  
  1211. Mailing Lists:
  1212.  
  1213.    CORPORA is a mailing list for Text Corpora. It welcomes information
  1214.    and questions about text corpora such as availability, aspects of
  1215.    compiling and using corpora, software, tagging, parsing, and
  1216.    bibliography. To be added to the list, send a message to
  1217.    corpora-request@x400.hd.uib.no. Contributions should be sent to 
  1218.    corpora@x400.hd.uib.no.
  1219.  
  1220. Linguistic Data Consortium:
  1221.  
  1222.    The Linguistic Data Consortium was established to broaden the collection
  1223.    and distribution of speech and natural language data bases for the
  1224.    purposes of research and technology development in automatic speech
  1225.    recognition, natural language processing, and other areas where large
  1226.    amounts of linguistic data are needed.  Information about the LDC is
  1227.    available by anonymous ftp from ftp.cis.upenn.edu:/pub/ldc [130.91.6.8].
  1228.    Documents available in this directory include a paper on the background,
  1229.    rationale and goals of the LDC, a brief list of available data bases,
  1230.    and some tables summarizing these corpora. For further information,
  1231.    contact Elizabeth Hodas, <ehodas@walnut.ling.upenn.edu>, Mark Liberman
  1232.    <myl@unagi.cis.upenn.edu>, or Jack Godfrey <jgodfrey@unagi.cis.upenn.edu>.
  1233.  
  1234. ----------------------------------------------------------------
  1235. Subject: [6-4] List of Smalltalk implementations.
  1236.  
  1237.    Little Smalltalk -- Tim Budd's version of Smalltalk
  1238.    cs.orst.edu:/pub/budd/small.v3.tar
  1239.  
  1240.    GNU Smalltalk
  1241.    prep.ai.mit.edu:/pub/gnu/smalltalk-1.1.1.tar.Z  
  1242.  
  1243. ----------------------------------------------------------------
  1244. Subject: [6-5] AI-related CD-ROMs
  1245.  
  1246. Prime Time Freeware for AI:
  1247.  
  1248.    Prime Time Freeware for AI is an annual CD-ROM collection of
  1249.    Artificial Intelligence freeware source code and documentation. Prime
  1250.    Time Freeware for AI in no way modifies the legal restrictions on any
  1251.    package it includes.  Each issue consists of two ISO-9660 CD-ROMs,
  1252.    bound into a 224 page book.
  1253.  
  1254.    The current issue (1-1; July 1994) includes a selection of the
  1255.    contents of the CMU AI Repository (see [5-1]), including most of the
  1256.    AI Programming Languages section and most of the AI Software Packages
  1257.    section. Thus the CD-ROMs contain nearly every free implementation of
  1258.    Lisp, Prolog, Scheme, and Smalltalk, including graphical user
  1259.    interfaces, object-oriented programming extensions, and other software
  1260.    development tools.
  1261.               
  1262.    They also contain the most complete collection of free software in 
  1263.    every area of artificial intelligence research and practice, including 
  1264.    Artificial Life, Expert Systems, Fuzzy Logic, Genetic Algorithms,
  1265.    Knowledge Representation, Machine Learning, Natural Language 
  1266.    Understanding and Generation, Neural Networks, Planning, Reasoning, 
  1267.    Speech Recognition and Synthesis, and Theorem Proving, and much, much more.
  1268.                  
  1269.    All of the more than 1,300 packages are extensively annotated and
  1270.    indexed, with programs for searching the index included on the CDs.
  1271.    Since the CD-ROMs use gzip for compression, this means that Prime
  1272.    Time Freeware for AI contains more than 5,000 megabytes of
  1273.    AI-related software.  
  1274.  
  1275.    Prime Time Freeware for AI is targeted at AI researchers, educators,
  1276.    students, and practitioners.  Prime Time Freeware for AI is
  1277.    particularly useful for programmers who do not have FTP access, but
  1278.    may also be useful as a way of saving disk space and avoiding annoying
  1279.    FTP searches and retrievals.
  1280.                 
  1281.    Prime Time Freeware helped establish the CMU AI Repository, and sales
  1282.    of Prime Time Freeware for AI will continue to help support the
  1283.    expansion and maintenance of the repository. The product sells (list)
  1284.    for $60 US plus applicable sales tax and shipping and handling
  1285.    charges. Payable through Visa, Mastercard, postal money orders in US
  1286.    funds, and checks in US funds drawn on a US bank. Thus Prime Time
  1287.    Freeware for AI offers more than twice the contents of the NCC AI
  1288.    CD-ROM, at half the cost. For more information write to
  1289.  
  1290.        Prime Time Freeware
  1291.        370 Altair Way, Suite 150
  1292.        Sunnyvale, CA  94086  USA
  1293.  
  1294.        Tel: 408-433-9662 
  1295.        Fax: 408-433-0727
  1296.        E-mail: ptf@cfcl.com
  1297.  
  1298. NCC AI CD-ROM:
  1299.  
  1300.    The NCC Artificial Intelligence CD-ROM (Revision 2, 1993) is available
  1301.    from Network Cybernetics Corporation for $129.00 per copy (plus $5
  1302.    shipping domestic, $10 shipping international). If you currently own
  1303.    the first edition of the AI CD-ROM, you can "upgrade" to the Rev.2 CD
  1304.    for $79 + shipping.  The AI CD-ROM is an ISO-9660 format disk usable
  1305.    on any computer system, and contain a variety of public domain,
  1306.    shareware, and other software of special interest to the AI community.
  1307.    The disk contains source code, executable programs, demonstration
  1308.    versions of commercial programs, tutorials and other files for a
  1309.    variety of operating systems. Among the supported operating systems
  1310.    are MS-DOS, OS/2, Mac, Amiga, and Unix. Among the items included are
  1311.    CLIPS v6.0 and NETS, courtesy of COSMIC, the collected source code
  1312.    from AIExpert magazine from the premier issue in June of 1986 to the
  1313.    present, and complete transcriptions of the first annual Loebner Prize
  1314.    competition, which took place at the Boston Computer Museum. It also
  1315.    includes examples many different kinds of neural networks, genetic
  1316.    algorithms, artificial life simulators, natural language software,
  1317.    public domain and shareware compilers for a wide range of languages
  1318.    such as Lisp, Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL,
  1319.    and many others. Complete collections of the Neural Digest, Genetic
  1320.    Algorithms Digest, and Vision List Digest are included. All files on
  1321.    the disk are compressed in ZIP format. Network Cybernetics Corporation
  1322.    intends to release annual revisions to the AI CD-ROM to keep it up to
  1323.    date with current developments in the field. For more information,
  1324.    write to Network Cybernetics Corporation, 4201 Wingren Road, Suite
  1325.    202, Irving, Texas 75062-2763, call 214-650-2002, fax 214-650-1929, or
  1326.    send email to ai-cdrom@ncc.com or steve.rainwater@ncc.com (Steve
  1327.    Rainwater).
  1328.  
  1329. ----------------------------------------------------------------
  1330. Subject: [6-6] World-Wide Web (WWW) Resources
  1331.  
  1332. The World Wide Web (WWW) is a hypermedia document that spans the
  1333. Internet.  It uses the http (HyperText Transfer Protocol) for the
  1334. light-weight exchange of files over the Internet.  NCSA Mosaic is a
  1335. World Wide Web browser developed at the National Center for
  1336. Supercomputing Applications (NCSA). 
  1337.  
  1338. Mosaic's popularity derives, in part, from its ability to communicate
  1339. using more traditional Internet protocols like FTP, Gopher, WAIS, and
  1340. NNTP, in addition to http. Mosaic can display text, hypertext links,
  1341. and inlined graphics directly. When Mosaic encounters a file type it
  1342. can't handle internally, such as Postscript documents, mpeg movies,
  1343. sound files, and JPEG images, it uses an external viewer (or player)
  1344. like Ghostscript to handle the file. Mosaic also includes facilities
  1345. for exploring the Internet. In other words, Mosaic is an multimedia
  1346. interface to the Internet.
  1347.  
  1348. The hypertext documents viewed with Mosaic are written in HTML
  1349. (HyperText Markup Language), which is a subset of SGML (Standard
  1350. Generalized Markup Language).  All that is needed is just a few more
  1351. improvements, such as the ability to format tables and mathematics,
  1352. and a WYSIWYG editor, for HTML to greatly facilitate electronic
  1353. journals and other publications.
  1354.  
  1355. NCSA Mosaic for the X Window System is available by anonymous ftp from  
  1356.    ftp.ncsa.uiuc.edu:/Mosaic/
  1357. as source code and binaries for Sun, SGI, IBM RS/6000, DEC Alpha OSF/1, DEC
  1358. Ultrix, and HP-UX. Questions about NCSA Mosaic should be directed to 
  1359. mosaic-x@ncsa.uiuc.edu (X-Windows version), mosaic-mac@ncsa.uiuc.edu
  1360. (Macintosh), and mosaic-win@ncsa.uiuc.edu (Microsoft Windows).
  1361.  
  1362. If you do not have a WWW client like Mosaic, you can search the WWW by
  1363. telnet to info.cern.ch. There is also an email interface; to use it,
  1364. send mail to listproc@www-0.cern.ch, and use lines like
  1365.    www http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/top.html
  1366. to retrieve the text of a particular URL (in this case, the AI FAQs page).
  1367.  
  1368. The remainder of this section lists WWW resources of interest to AI
  1369. researchers, students, and practitioners. Other URLs are scattered
  1370. throughout the FAQ. If the entry includes an email address, that is
  1371. the email address to which suggestions for additional links should be
  1372. sent. 
  1373.  
  1374. AI-related FAQ Postings:
  1375.  
  1376.    A simple HTML version of the AI FAQ (this FAQ) and several other
  1377.    AI-related FAQs is available as
  1378.       http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/top.html
  1379.    or equivalently,
  1380.       http://www.cs.cmu.edu:8001/afs/cs/project/ai-repository/ai/html/faqs/top.html
  1381.    It is prepared automatically from the original once a week and
  1382.    ftp sites, gopher, and other WWW references in the text are
  1383.    automatically converted to http references. 
  1384.  
  1385. General AI Pages:
  1386.     
  1387.    http://www.cs.ucl.ac.uk/misc/ai/
  1388.    Stephanie Warrick <swarrick@cs.ucl.ac.uk>
  1389.    Includes pointers to a large number of AI, Neural Nets, CogSci, 
  1390.    and Robotics WWW sites.
  1391.  
  1392.    gopher://ukoln.bath.ac.uk:7070/11/Link/Tree/Computing/Artificial_Intelligence
  1393.    BUBL (Bulletin Board for University Libraries) gopher from Glasgow,
  1394.    Strathclyde, and Bath. Pointers to various network resources for AI.
  1395.  
  1396.    http://ai.iit.nrc.ca/ai_top.html
  1397.    [Artificial Intelligence Resources]
  1398.    http://ai.iit.nrc.ca/misc.html
  1399.    [Artificial Intelligence Resources organized by Subject]
  1400.  
  1401.    http://yoda.cis.temple.edu:8080/IIIA/ai.html
  1402.    [Pedagogic resources for Teaching and Learning Introductory AI]
  1403.    ingargiola@cis.temple.edu
  1404.  
  1405.    http://www.comlab.ox.ac.uk/archive/comp/ai.html
  1406.    [World-Wide Web Virtual Library: Artificial Intelligence]
  1407.    Jonathan.Bowen@comlab.ox.ac.uk
  1408.  
  1409. AI-related News Archives:
  1410.  
  1411.    http://www.cs.cmu.edu:8001/Web/Groups/AI/pubs/news/0.html
  1412.    [Archives of all the AI-related newsgroups, maintained as part of
  1413.     the CMU AI Repository.]
  1414.  
  1415.    ftp://ftp.neosoft.com/pub/users/claird/news.lists/newsgroup_archives.html
  1416.    [WWW page containing pointers to newsgroup archives.]
  1417.  
  1418.  
  1419. Agents:
  1420.  
  1421.    http://www.cl.cam.ac.uk/users/rwab1/agents.html
  1422.    Ralph.Becket@cl.cam.ac.uk
  1423.  
  1424.    http://www.cs.bham.ac.uk/~amw/agents/index.html
  1425.    [Interface Agents]
  1426.    Andy Wood <amw@cs.bham.ac.uk>
  1427.  
  1428. Artificial Life:
  1429.  
  1430.    http://alife.santafe.edu/
  1431.  
  1432. ACM SIGART:
  1433.    
  1434.    The Association for Computing Machinery's Special Interest Group
  1435.    for AI's gopher server is
  1436.        gopher://sigart.acm.org:70/
  1437.    The WWW URL is
  1438.        http://sigart.acm.org/
  1439.    Also available by FTP and Telnet (login eis).
  1440.  
  1441. Calls for Papers:
  1442.  
  1443.    http://www.cs.cmu.edu:8001/Web/Groups/scandal/www/conferences.html
  1444.    [Calls for papers for conferences and journals. Indexed.]
  1445.  
  1446. Contests:
  1447.  
  1448.    http://www.usc.edu/dept/robotics/other/auvsarc/auvsarc.html
  1449.    usc.edu:/pub/nn_robotics/other/auvsarc/auvsarc.FAQ.Z
  1450.    [Association for Unmanned Vehicle Systems, International Aerial
  1451.    Robotics Competition FAQ.]
  1452.    FAQ maintained by Jim Montgomery <auvsarc-request@robotics.usc.edu>
  1453.    For more information, write to Robert C. Michelson, the
  1454.    Technical Chairman and President of the AUVS <michelsn@prism.gatech.edu>.
  1455.  
  1456.    http://fuzine.mt.cs.cmu.edu/mlm/loebner94call.html
  1457.    [Loebner Prize Competition]
  1458.    http://fuzine.mt.cs.cmu.edu/mlm/julia.html
  1459.    [Information on Julia, one of the previous entries in the Loebner
  1460.    competition.]
  1461.  
  1462. Data Mining and Knowledge Discovery in Databases:
  1463.  
  1464.    Data Mine
  1465.    http://www.cs.bham.ac.uk/~anp/TheDataMine.html
  1466.    [Bibliographies, On-line papers, Software, and Other Resources]
  1467.    Andy Pryke <anp@cs.bham.ac.uk>
  1468.  
  1469.    Knowledge Discovery Mine
  1470.    http://info.gte.com/~kdd/
  1471.    ftp.gte.com:/pub/kdd/
  1472.    [The Knowledge Discovery Mine includes the KDD FAQ, a catalog of
  1473.    commercial and public domain tools for discovery in data, workshop
  1474.    reports, as well as back issues of the KDD-Nugget mailing list. It
  1475.    also includes a list of AI resources compiled by Chris Matheus
  1476.    <cjm1%scintilla@gte.com>]
  1477.    Gregory Piatetsky-Shapiro <gps@gte.com>
  1478.  
  1479. DAI and Multi-Agent AI:
  1480.  
  1481.    http://www.elec.qmw.ac.uk/dai.html
  1482.    ftp.elec.qmw.ac.uk:/pub/keag/distributed-ai
  1483.    [Multiagent and distributed AI research at Queen Mary & Westfield
  1484.    College in London.] 
  1485.  
  1486.    http://www-lgis.univ-savoie.fr/~stinckwi/sma.html
  1487.  
  1488.    http://www.cs.umbc.edu/agents/
  1489.  
  1490. Expert Systems:
  1491.  
  1492.    http://www-ksl.stanford.edu/knowledge-sharing/agents.html
  1493.    [Interactive expert systems and "agents". Includes nice model of
  1494.    space shuttle engines.]
  1495.  
  1496. Functional Programming:
  1497.  
  1498.    London and South East Centre for High Performance Computing Article Archive 
  1499.    http://www.lpac.qmw.ac.uk/bin/monoFilter?/SEL-HPC/Articles/index.html
  1500.    [monochrome users]
  1501.    http://www.lpac.qmw.ac.uk/SEL-HPC/Articles/index.html
  1502.    [Kitsch colour page]
  1503.    Articles may be added using a series of forms. The archive also
  1504.    provides cross-reference indexes for author, institution, conference,
  1505.    and journal, and can be searched using Perl regular expressions.
  1506.    The underlying BibTeX databases are available for downloading. 
  1507.    J.M.D. Hill <hilly@qmw.ac.uk> or http://www.lpac.ac.uk/SEL-HPC/People/Hilly
  1508.  
  1509. Genetic Art and Movies:
  1510.  
  1511.    Programs which use genetic algorithms to create art, inspired by the
  1512.    work of Karl Sims at Thinking Machines. Votes from human users (folks
  1513.    like you) are used to determine the "fitness" of the pictures in the
  1514.    current generation. The more fit pictures are more likely to be used
  1515.    in the creation of the next generation. After about a dozen or so
  1516.    generations, really pretty pictures result.
  1517.  
  1518.    Interactive Genetic Art II
  1519.       http://mixing.sp.cs.cmu.edu:8001/htbin/mjwgenform
  1520.  
  1521.    Interactive Genetic Movies
  1522.       http://mixing.sp.cs.cmu.edu:8001/htbin/moviegenform
  1523.  
  1524. Genetic Music:
  1525.  
  1526.    Genetically Programmed Music
  1527.       http://nmt.edu/~jefu/notes/notes.html
  1528.    For more info, write to Jeff Putnam <jefu@nmt.edu>.
  1529.  
  1530. IJCAI:
  1531.  
  1532.    International Joint Conference on Artificial Intelligence
  1533.       http://ijcai.org/
  1534.       gopher://ijcai.org:70/1
  1535.       ijcai.org:/pub/ijcai/
  1536.    or by email to info@ijcai.org.
  1537.  
  1538. Knowledge Representation:
  1539.  
  1540.    http://ai.iit.nrc.ca/home_page.html
  1541.    http://info.gte.com/ftp/doc/doc.html
  1542.    http://logic.stanford.edu/KIF
  1543.    http://logic.stanford.edu/knowledge.html
  1544.    http://www-ksl.stanford.edu/knowledge-sharing/README.html
  1545.    http://www.cs.umbc.edu/kqml/
  1546.    http://www.cs.umbc.edu/kse/
  1547.    ftp://ftp.cs.umbc.edu/pub/DARPA/interlingua/kif.ps
  1548.    ftp://ftp.cs.umbc.edu/pub/kqml/
  1549.    [Knowledge Sharing, Knowledge Interchange Format (KIF)]
  1550.  
  1551. Linguistics:
  1552.  
  1553.    http://www.bbk.ac.uk/Departments/AppliedLinguistics/VirtualLibrary.html
  1554.    [Internet resources for applied linguistics, compiled by the Univ.
  1555.    of London's Applied Linguistics Department.]
  1556.    Larry Selinker <l.selinker@app-ling.bbk.ac.uk>
  1557.  
  1558.    http://www.willamette.edu/~tjones/Language-Page.html.
  1559.    [Human-Languages Page. Links to dictionaries and resources for linguists.]
  1560.    Tyler Jones <tjones@willamette.edu>
  1561.  
  1562.    http://www.cog.brown.edu/pointers/linguistics.html
  1563.    [Brown University Linguistics]
  1564.  
  1565.    http://www.lib.virginia.edu/etext/ETC.html
  1566.    [Univ. of Virginia electronic text center.]
  1567.  
  1568.    gopher://marvel.loc.gov/11/global/lit
  1569.    [US Government language and literature page]
  1570.  
  1571. Logic Programming:
  1572.  
  1573.     http://www.comlab.ox.ac.uk/archive/logic-prog.html
  1574.     Jonathan Bowen <Jonathan.Bowen@comlab.ox.ac.uk>
  1575.  
  1576. Machine Learning:
  1577.  
  1578.    http://ai.iit.nrc.ca/home_page.html
  1579.    [Knowledge Systems Laboratory of the National Research Council of
  1580.    Canada's WWW server for AI, with an emphasis on machine learning.]
  1581.    Peter Turney <peter@ai.iit.nrc.ca>
  1582.  
  1583.    http://www.ics.uci.edu/AI/ML/Machine-Learning.html
  1584.    [Machine Learning group of the Department of Information and
  1585.     Computer Science at the University of California/Irvine. Includes
  1586.     UCI's repository of databases for machine learning research,
  1587.     digests of the Machine Learning List, programs (FOCL, Occam, and
  1588.     HYDRA) developed at UCI, and papers by authors from UCI. The
  1589.     Machine Learning List digests are searchable, and the repository
  1590.     should be searchable later this year.] 
  1591.    Tim Hume <hume@ics.uci.edu>
  1592.  
  1593. Natural Language Processing:
  1594.  
  1595.    http://www.uio.no/~mwatz/c-g.writing/
  1596.    [Computer Generated Writing]
  1597.    Marius Watz <mariusw@ifi.uio.no> or http://www.uio.no/~mwatz/
  1598.  
  1599. Neural Networks:
  1600.  
  1601.    http://www.emsl.pnl.gov:2080/docs/cie/neural/neural.homepage.html
  1602.    [Pacific Northwest Laboratory's home page -- very good.]
  1603.    Paul Keller <gg125@pnl.gov>
  1604.  
  1605.    http://http2.sils.umich.edu/Public/nirg/nirg1.html
  1606.    [Neurosciences Internet Resource Guide]
  1607.  
  1608.    http://www.eeb.ele.tue.nl/index.html
  1609.    [Eindhoven Neural Networks home page]
  1610.  
  1611.    http://www.cs.utexas.edu/~nn
  1612.    [University of Texas at Austin Computer Science NN Home Page]
  1613.  
  1614.    http://www.cosy.sbg.ac.at/~rschwaig/rschwaig/projects.html
  1615.  
  1616.    http://www.erg.abdn.ac.uk/projects/neuralweb/ (Neural Web, Univ of Aberdeen)
  1617.    http://www.erg.abdn.ac.uk/projects/neuralweb/digests/ (Neuron Digest)
  1618.  
  1619.    http://www-dsi.ing.unifi.it/neural/home.html
  1620.    [DSI Neural Networks Group, Florence University, Italy]
  1621.  
  1622.    http://diwww.epfl.ch/w3mantra
  1623.    [Centre for Neuro-Mimetic Systems (MANTRA) at EPFL Lausanne (Switzerland)]
  1624.  
  1625.    http://web.bu.edu/CNS/CNS.html
  1626.    [Department of Cognitive and Neural Systems at Boston University]
  1627.  
  1628.    http://www.neuronet.ph.kcl.ac.uk/
  1629.    NEuroNet is the European `Network of Excellence' for Neural
  1630.    Networks, based at King's College in London.
  1631.    Contact: ch@physig.ph.kcl.ac.uk or www@physig.ph.kcl.ac.uk 
  1632.  
  1633.    http://www.ai.univie.ac.at/oefai/nn/nngroup.html
  1634.    [Austrian Research Institute for Artificial Intelligence. Includes
  1635.    a search engine to search 3,500 book and article citations.]
  1636.  
  1637.    The Center for the Neural Basis of Cognition (CNBC) and The Neural
  1638.    Processes in Cognition Training Program (NPC) are joint projects of
  1639.    Carnegie Mellon University and the University of Pittsburgh.
  1640.       http://www.cs.cmu.edu:8001/afs/cs/project/cnbc/CNBC.html
  1641.  
  1642.    http://www.cs.cmu.edu:8001/afs/cs/project/nnspeech/WorldWideWeb/PUBLIC/HomePage.html
  1643.    [Carnegie Mellon's Neural Net Speech Group]
  1644.  
  1645.    http://carol.fwi.uva.nl/~smagt/neuro/index.html
  1646.    [University of Amsterdam Robotics and Neurocomputing]
  1647.  
  1648.    http://physig.ph.kcl.ac.uk/cnn/cnn.html/
  1649.    [Centre for Neural Networks (CNN) at King's College]
  1650.  
  1651.    http://synap.neuro.sfc.keio.ac.jp/
  1652.    [Keio University (Shonon Fujisawa Campus) Neural Computing Center]
  1653.  
  1654.    http://www.yale.edu/HTML/YaleCTAN-Info.html
  1655.    [Center for Theoretical & Applied Neuroscience (CTAN)]
  1656.  
  1657.    http://salk.edu/NeuroWeb/
  1658.    [University of California at San Diego NeuroWeb Home Page]
  1659.  
  1660.    http://www.lpac.ac.uk/SEL-HPC/Articles/NeuralArchive.html
  1661.    [Neural Networks Article Archive]
  1662.    Dimitris Tsaptsinos <D.Tsaptsinos@qmw.ac.uk>
  1663.  
  1664.    http://www.dice.ucl.ac.be/neural-nets/NNgroup.html
  1665.    [UCL NN Group's home page]
  1666.  
  1667.    http://www.dice.ucl.ac.be/neural-nets/NPL/NPL.html
  1668.    [Neural Processing Letters]
  1669.  
  1670.    http://www.cs.cmu.edu:8001/afs/cs/project/cnbc/nips/NIPS.html
  1671.    [NIPS: Neural Information Processing Systems]
  1672.  
  1673.    http://www.hrz.uni-kassel.de/fb17/neuro/
  1674.    [FG Neuronale Netzwerke, Uni Kassel. Most text in german.]
  1675.  
  1676.    Dutch Foundation for Neural Networks (SNN)
  1677.    Collecting URLs for Neural Network Groups; send to snn@mbfys.kun.nl.
  1678.  
  1679. OCR:
  1680.  
  1681.    http://hcslx1.essex.ac.uk/
  1682.    [Handwriting Recognition]
  1683.  
  1684. Robotics:
  1685.  
  1686.    A list of pointers to sources of robotics information on the Internet. 
  1687.       http://cs.indiana.edu/robotics/world.html
  1688.    Includes a HTML version of the comp.robotics FAQ,
  1689.       http://cs.indiana.edu/robotics/copy.html
  1690.    maintained by Jason Almeter <jla@cs.indiana.edu>.
  1691.  
  1692.    The Grad Students Who's Who in Robotics:
  1693.       http://www.sm.luth.se/csee/ra/sm-roa/RoboticsJump.html
  1694.       http://www.sm.luth.se/csee/ra/sm-roa/Robotics/WhoSWho.html
  1695.  
  1696.    http://www.ucs.edu/dept/raiders 
  1697.    [USC's robot demo -- move a real robot arm]
  1698.  
  1699.    http://web.nexor.co.uk/mak/doc/robots/robots.html
  1700.    [Nice robotics page.]
  1701.  
  1702. Speech:
  1703.  
  1704.    http://mambo.ucsc.edu/psl/speech.html
  1705.  
  1706.    Online Speech Synthesizer using the RSYNTH package
  1707.       http://www_tios.cs.utwente.nl/say/  (prefered URL)
  1708.    Axel.Belinfante@cs.utwente.nl
  1709.  
  1710.    AsTeR (Audio System For Technical Readings) is a computing system that
  1711.    orally renders technical documents marked up in LaTeX. An interactive
  1712.    demo is accessible via the URL
  1713.       http://www.cs.cornell.edu/Info/People/raman/aster/demo.html
  1714.    This document presents a collection of math examples rendered in
  1715.    audio by AsTeR and in Postscript by LaTeX/DVIPS from the same original
  1716.    LaTeX source. A version of the demo that uses inline images can be
  1717.    found in the URL
  1718.       http://www.cs.cornell.edu/Info/People/raman/aster/aster-toplevel.html
  1719.    For more information, write to T.V. Raman <raman@crl.dec.com>,
  1720.       http://www.cs.cornell.edu/Info/People/raman/raman.html
  1721.    If you download a copy of his thesis, please send him a short email message.
  1722.  
  1723.    http://ophale.icp.grenet.fr/esca/esca.html
  1724.    [European Speech Communication Association (ESCA)]
  1725.    Christian Benoit, <benoit@icp.grenet.fr> or <esca@icp.grenet.fr>
  1726.  
  1727.    http://www.cs.bham.ac.uk/~jpi/synth/museum.html
  1728.    [Examples of speech synthesis from different systems.]
  1729.    Jon Iles <j.p.iles@cs.bham.ac.uk> or http://www.cs.bham.ac.uk/~jpi/
  1730.  
  1731.    http://alfred1.u.washington.edu:8080/~dillon/PhonResources.html
  1732.    [Archive of resources for studying speech sounds, primarily English.
  1733.    Includes symbols and samples of English phones/phonemes, both
  1734.    American and British; tips, tutorials, basic walk-throughs of
  1735.    waveform analysis; and examples and links to TTS synthesizers,
  1736.    mainly in Europe.]
  1737.    George Dillon <dillon@u.washington.edu>
  1738.  
  1739. Computer Vision:
  1740.  
  1741.    http://www.cs.cmu.edu:8001/afs/cs/project/cil/ftp/html/vision.html
  1742.    [Pretty version with icons.]
  1743.    http://www.cs.cmu.edu:8001/afs/cs/project/cil/ftp/html/txtvision.html
  1744.    [Text-only version.]
  1745.    Mark Maimone <mwm@cmu.edu>
  1746.  
  1747. Various Universities:
  1748.  
  1749.    These Mosaic/WWW pages typically contain information about research
  1750.    projects, on-line technical reports, lists of faculty and students,
  1751.    and other relevant information pertaining to the university.
  1752.  
  1753.    CIRL                 http://wrigley.uoregon.edu/
  1754.  
  1755.    CMU Oz Project:      
  1756.       http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/project/oz/web/oz.html
  1757.       
  1758.       Some of the project's papers are also accessible as
  1759.          ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/oz/ftp/papers/
  1760.       Please read the copyright information in that directory before
  1761.       grabbing any papers.
  1762.  
  1763.    CMU SCS              http://www.cs.cmu.edu:8001/Web/FrontDoor.html
  1764.  
  1765.    DFKI:                http://www.dfki.uni-sb.de/
  1766.  
  1767.    ELIS Speech Lab      http://www.elis.rug.ac.be/ELISgroups/speech/
  1768.    [Includes demos of Eurovocs speech synthesizer.]
  1769.  
  1770.    GATech AI            http://www.gatech.edu/ai/ai.html
  1771.  
  1772.    GATech CogSci        http://www.gatech.edu/cogsci/cogsci.html
  1773.  
  1774.    Glasgow and Strathclyde Universities BUBL: Artificial Intelligence
  1775.    gopher://ukoln.bath.ac.uk:7070/1/Link/Tree/Computing/Artificial_Intelligence
  1776.  
  1777.    Indiana University Cognitive Science Program:
  1778.       http://www.psych.indiana.edu/
  1779.       Bill Wang <wcwang@indiana.edu>
  1780.  
  1781.    Institute for Language Technology and AI:
  1782.       http://itkwww.kub.nl:2080:/itk/itkhome.html
  1783.  
  1784.    ISSCO U Geneva       http://issco_www.unige.ch/
  1785.                         Afzal Ballim <afzal@divsun.unige.ch>
  1786.  
  1787.    JAIR            gopher://p.gp.cs.cmu.edu/
  1788.  
  1789.    Los Alamos (Neural Networks):
  1790.       http://laws.lanl.gov/x1_homepage.html
  1791.       Roger D. Jones <rdj@demos.lanl.gov>
  1792.  
  1793.    OGI                  http://www.cse.ogi.edu
  1794.  
  1795.    MIT AI Lab        http://www.ai.mit.edu/
  1796.  
  1797.    Pacific Northwest Laboratory: (Neural Networks)
  1798.       http://www.emsl.pnl.gov:2080/docs/cie/neural/neural.homepage.html
  1799.       Paul Keller <gg125@pnl.gov>
  1800.  
  1801.    Stanford KSL        http://www-ksl.stanford.edu/
  1802.  
  1803.    UC Davis AI Lab      http://phobos.cs.ucdavis.edu:8001
  1804.    [Includes links to other AI resources.]
  1805.    Kenrick J. Mock <mock@cs.ucdavis.edu>
  1806.  
  1807.    UC Irvine Machine Learning  
  1808.    http://www.ics.uci.edu/AI/ML/Machine-Learning.html
  1809.    [Testbed databases, FOCL, Occam, and Hydra.]
  1810.  
  1811.    UCL                  http://www.cs.ucl.ac.uk/people/ai/
  1812.                         Tim J. Norman <tnorman@cs.ucl.ac.uk>
  1813.                         Includes a pointer to a large number of other
  1814.                         AI, CogSci, and Robotics WWW sites.
  1815.  
  1816.    University of Edinburgh's AI Applications Institute:
  1817.       http://www.aiai.ed.ac.uk/
  1818.       aiai@ed.ac.uk 
  1819.  
  1820.    UMass DAI Lab    http://dis.cs.umass.edu/
  1821.  
  1822.    UMass Robotics       http://piglet.cs.umass.edu:4321/lpr.html
  1823.  
  1824.    University of Leeds Speech Laboratory:
  1825.       URL: http://lethe.leeds.ac.uk/
  1826.       Provides access to the MAchine Readable Spoken English Corpus
  1827.       (MARSEC) data via anonymous ftp and a bulletin board for users
  1828.       of the corpus. 
  1829.  
  1830.    UPenn IRCS:         http://www.cis.upenn.edu/~ircs/homepage.html
  1831.       (NSF Institute for Research in Cognitive Science)
  1832.  
  1833.    Univ. of Stuttgart's Institute for Natural Language Processing:
  1834.       http://www.ims.uni-stuttgart.de/IMS.html
  1835.  
  1836.    Univ. of Vienna:     http://www.ai.univie.ac.at
  1837.       Georg Dorffner <georg@ai.univie.ac.at>
  1838.  
  1839.    U. of Washington AI  http://www.cs.washington.edu/research/projects/ai/www/
  1840.  
  1841.    University of Western Australia, Centre for Intelligent Information
  1842.    Processing Systems (CIIPS), EE Engineering Department
  1843.       http://ciips.ee.uwa.edu.au/
  1844.  
  1845. ----------------------------------------------------------------
  1846. ;;; *EOF*
  1847.  
  1848.