From: mkant+@cs.cmu.edu (Mark Kantrowitz)
Newsgroups: comp.ai,news.answers
Subject: FAQ: Artificial Intelligence FTP Resources 3/3 [Monthly posting]
Summary: FTP Resources for AI
Date: 13 Dec 92 08:03:49 GMT
Article-I.D.: cs.ai-faq-3.text_724233756
Expires: Tue, 26 Jan 1993 08:02:36 GMT
Reply-To: mkant+ai-faq@cs.cmu.edu
Followup-To: poster
Organization: School of Computer Science, Carnegie Mellon University
Supersedes: <ai-faq-3.text_721641745@cs.cmu.edu>

Archive-name: ai-faq/part3
Last-Modified: Thu Oct 15 22:35:01 1992 by Mark Kantrowitz
Version: 1.2

;;; ****************************************************************
;;; Answers to Questions about Artificial Intelligence *************
;;; ****************************************************************
;;; Written by Mark Kantrowitz
;;; Thu Oct 15 22:30:13 1992 by Mark Kantrowitz <mkant@GLINDA.OZ.CS.CMU.EDU>
;;; ai-faq-3.text -- 949 bytes

If you think of questions that are appropriate for this FAQ, or would
like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.

Part 3 (FTP Resources):
  [3-0]  General Information about FTP Resources for AI
  [3-1]  FTP Repositories
  [3-2]  FTP and Other Resources
  [3-3]  AI Bibliographies available by FTP
  [3-4]  AI Technical Reports available by FTP

Search for [#] to get to question number # quickly.

----------------------------------------------------------------
Subject: [3-0]  General Information about FTP Resources for AI

In general, see the Lisp FAQ for Lisp-related software and the Prolog
Resource Guide and the Prolog FAQ for Prolog-related software. If a
Lisp-based or Prolog-based system is listed here, only the ftp site
and directory will be listed; for a more detailed description, see the
Lisp FAQ and the Prolog Resource Guide. For information on obtaining
the Lisp FAQ or the Prolog Resource Guide see [1-0].

----------------------------------------------------------------
Subject: [3-1]  FTP Repositories

   Ada Repository:

      The Ada Repository on wsmr-simtel20.army.mil (mailing list
      ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
      PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
      available as wuarchive.wustl.edu:/mirrors/ada/ai.

   UCLA Artificial Life Depository:

      ftp.cognet.ucla.edu (128.97.50.19):~ftp/pub/alife

      Repository of papers, articles, tech reports, software and other items of
      interest to Artificial Life researchers. It includes an archive of
      past postings to the alife mailing list, alife@cognet.ucla.edu (send
      mail to alife-request@cognet.ucla.edu to be added to the list).

      (Other artificial life information is available from santafe.edu
       in the directory pub/Artificial-Life-III.)

   Consortium for Lexical Research:
      clr.nmsu.edu [128.123.1.12]
      equivalently, lexical.nmsu.edu [128.123.1.12]

      Archive containing a variety of programs and data files related to
      natural language processing research, with a particular focus on
      lexical research.  See the file catalog-short for a quick listing of
      the contents of the archive. Long descriptions are in the info/
      subdirectory. Publicly available materials are in the pub/
      subdirectory. Materials for paid-up members of the Consortium are in
      the members-only/ subdirectory.  Public materials include the Alvey
      Natural Language Tools, Sowa's Conceptual Graph parser implemented in
      YACC by Maurice Pagnucco, a morphological parsing lexicon of English,
      a phonological rule compiler for PC-KIMMO, C source code for the NIST
      SGML parser, PC-KIMMO sources, the 1911 Roget Thesaurus, and a variety
      of word lists (including English, Dutch, and male/female/last names).
      Comments and questions may be directed to lexical@nmsu.edu.

   Fuzzy Logic Repositories:

      ntia.its.bldrdoc.gov:pub/fuzzy contains information concerning fuzzy
      logic, including bibliographies (bib/), product descriptions and demo
      versions (com/), machine readable published papers (lit/),
      miscellaneous information, documents and reports (txt/), and programs,
      code and compilers (prog/). You may download new items into the new/
      subdirectory. If you deposit anything in new/, please inform
      fuzzy@its.bldrdoc.gov. The repository is maintained by Timothy Butler,
      tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also accessible
      through a mail server, rnalib@its.bldrdoc.gov. For help on using the
      server, send mail to the server with the following line in the body
      of the message:
	@@ help
      Other commands available include index, list, find, send, and credits.

      Ostfold Regional College in Norway recently started a ftp site
      for material related to fuzzy logic, ftp.dhhalden.no:fuzzy/.
      Material to be included in the archive (e.g., papers and code)
      may be placed in the upload/ directory. Now holds the files from
      Togai's mail-server, and other files from Timothy Butler's site
      ntia.its.bldrdoc.gov. It also includes some demo programs. Send
      email to Asgeir Osterhus, <asgeiro@dhhalden.no>.  

      Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
      which contains demo versions of some of their software, fuzzy logic
      bibliographies, conference announcements, a short introduction to
      fuzzy logic, copies of the company newsletter, and so on. See the
      entry in the answer to question [1-8] for more information on the
      company. To get started with the fuzzy logic email server, send a
      message with NO SUBJECT LINE to fuzzy-server@til.com, containing just
      the word "help" in the message body.  The server will reply with a set
      of instructions.  Please address any comments, questions or requests
      to either erik@til.com or tanaka@til.com. Most of the contents of the
      TIL server is mirrored at Tim Butler's fuzzy logic ftp repository at
      ntia.its.bldrdoc.gov and at Ostfold ftp repository at ftp.dhhalden.no.

   UC/Irvine AI/Machine Learning Repository:

      ics.uci.edu has a variety of AI-related materials, with a special
      focus on machine learning. The directory /pub/machine-learning-databases
      contains over 80 benchmark data sets for classifier systems (30mb).

      Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
      Off-Site Assistant: David W. Aha (aha@insight.cs.jhu.edu)

   Machine Learning:

      Various programs (e.g., ID3) and publications related to machine
      learning are available by anonymous ftp from the machine
      learning group (under Raymond Mooney) at UT-Austin, at
	 cs.utexas.edu:pub/mooney.  
      Subdirectories include 
	 ml-course	information and homeworks from a graduate course
			in machine learning taught by Dr. Mooney. Homeworks
			include "miniatures" of various machine learning
			systems written in Common Lisp.
	 ml-code	Common Lisp code corresponding to the assignments
			for the course in the ml-course directory.
	 ml-progs	More "research-level" versions of inductive
			classification algorithms and software for automated
			experiments that generation learning curves that
			compare several systems. 
	 papers		Publications producted by the machine learning
			research group.

   Funic Neural FTP Archive Site:
      The Finnish University maintains an archive site containing a
      large collection of neural network papers and public domain
      software gathered from FTP sites in the US. The files are available
      by annonymous ftp from funic.funet.fi:/pub/sci/neural. For
      further information, contact magi@funic.funet.fi (or magi@utu.fi).

   OSU Neuroprose:
      archive.cis.ohio-state.edu:/pub/neuroprose	(128.146.8.52)

      This directory contains technical reports as a public service to the
      connectionist and neural network scientific community which has an
      organized mailing list (for info: connectionists-request@cs.cmu.edu)

   NL Software Registry:

      The Natural Language Software Registry is a catalogue of software
      implementing core natural language processing techniques, whether
      available on a commercial or noncommercial basis. Some of the topics
      listed include speech signal processing, morphological analysis,
      parsers, and knowledge representation systems. The catalogue is
      available by anonymous ftp to tira.uchicago.edu (IP 128.135.96.31), by
      email to registry@tira.uchicago.edu, and by physical mail to NL
      Software Registry, Center for Information and Language Studies, 1100
      East 57th Street, Chicago, IL 60637.


----------------------------------------------------------------
Subject: [3-2]  FTP and Other Resources

In addition to programs available free by anonymous ftp, we've
included some programs which are available by contacting the authors,
and some programs which charge a nominal fee.

   Artificial Life:

      Tierra is an artificial life system for studying the evolution of digital
      organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
      is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
      life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
      doc/, and tierra/.  To be added to either the tierra-announce (official
      announcements only) or tierra-digest (moderated discussion plus
      announcements) mailing lists, send mail to
      tierra-request@life.slhs.udel.edu. Send bug reports to
      tierra-bug@life.slhs.udel.edu.

   Blackboard Architectures:

	GBB (PD Version) -- dime.cs.umass.edu:/gbb

	GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
		  Blackboard system. Runs on Symbolics and SUN.
		  Georgia Tech's Generic Expert System Tool (GEST)
		  Available to academic institutions for classroom use.
			
   Case-based Reasoning:

	CL-Protos   -- cs.utexas.edu:/pub/porter
		       Contact: Dan Dvorak <dvorak@cs.utexas.edu>
				Ray Bareiss <bareiss@ils.nwu.edu>
				Erik Eilerts <eilerts@cs.utexas.edu>
				Bruce W. Porter <porter@cs.utexas.edu>

	MICRO-xxx  -- Contact: waander@cs.umd.edu

   Chess:

      The SAN Kit chess programming C source toolkit provides common routines
      for move notation I/O, move generation, move execution, etc. Only search
      routines and an evaluation function need be added to obtain a working
      chess program. It is available by anonymous ftp from
      valkyries.andrew.cmu.edu [128.2.232.4] in the directory pub/chess/misc
      as the compressed tar file san.tar.Z. Contact Steven J. Edwards,
      sje@xylos.ma30.bull.com for more information.

   Expert Systems:

      FOCL   -- ics.uci.edu:pub/SaranWrap/{README,KR-FOCL-ES.cpt.hqx}
		Contact: pazzani@ics.uci.edu
		Expert System Shell and Machine Learning Program;
		Extends Quinlan's FOIL.

      OPS5   -- ftp.cs.cmu.edu:/afs/cs/user/mkant/Public/Lisp/ops5.tar.Z

      BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
		(BinHexed stuffit archive of Babylon)
		Development environment for expert systems.

      CLIPS is an OPS-like forward chaining production system written in ANSI C
      by NASA. The CLIPS inference engine includes truth maintenance, dynamic
      rule addition, and customizable conflict resolution strategies. CLIPS,
      including the runtime version, is easily embeddable in other
      applications. CLIPS runs on IBM PC compatibles, Macintosh, VAX 11/780,
      Sun 3/260, and HP9000/500.  CLIPS is available from COSMIC at a nominal
      fee for unlimited copies with no royalties.  For more information, email
      service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia, 382
      East Broad Street, Athens, GA 30602, call 404-542-3265, or fax
      404-542-4807. To subscribe to the CLIPS mailing list, send a message to
      the list server listserv@cossack.cosmic.uga.edu (128.192.14.4) with
      message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
      containing information regarding CLIPS can be reached 24 hours a day at
      713-280-3896 or 713-280-3892. Communications information is 300, 1200, or
      2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS help desk
      phone number is 713-280-2233 and email address is
      stbprod@krakatoa.jsc.nasa.gov. The book "Expert Systems:
      Principles and Programming" by Joseph Girrantano and Garey Riley
      comes with an MS-DOS CLIPS interpreter.

   Frame Systems:

	FrameWork   -- ftp.cs.cmu.edu:
		       /afs/cs.cmu.edu/user/mkant/Public/Lisp/framework.lisp

	Theo	    -- Contact: Tom.Mitchell@cs.cmu.edu

	FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu

	KR	    -- Contact: Brad.Myers@cs.cmu.edu

	PARKA	    -- Contact: spector@cs.umd.edu
		       Frames for the CM

	PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 

	FROBS	    -- cs.utah.edu:/pub/frobs.tar.Z
		       Contact: Robert Kessler <kessler@cs.utah.edu>

	PFC	    -- linc.cis.upenn.edu:

	YAK	    -- Contact: Enrico Franconi <franconi@irst.it>

   Fuzzy Logic:

      FLIE    -- ural.ethz.ch:/robo/flie
		 Contact: vestli@ifr.ethz.ch
		 Fuzzy Logic Inference Engine, Institute of Robotics, ETH.

   Game Playing:

      METAGAME is a game-playing workbench for developing and playing
      metagame programs. It includes a generator for symmetric chess-like
      games; definitions of chess, checkers, chinese chess, shogi, lose
      chess, lose checkers, french checkers, and tic tac toe translated into
      symmetric chess-like games; a legal move generator; and a variety of
      player programs, from simple through sophisticated.  The METAGAME
      Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
      ftp from ftp.cl.cam.ac.uk [128.232.0.56] in users/bdp/metagame.tar.Z.
      For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
      University of Cambridge Computer Laboratory.

   ICOT:

      Japan's Institute for New Generation Computer Technology (ICOT) has
      made their software available to the public free of charge.  The
      collection includes a variety of prolog-based programs in symbol
      processing, knowledge representation, reasoning and problem solving,
      natural language processing. All programs are available by anonymous
      ftp from ftp.icot.or.jp.	Note that most of the programs are written
      for the PSI machines, and very few have been ported to Unix-based
      emulators.  For further information, send email to ifs@icot.or.jp, or
      write to ICOT Free Software Desk, Institute for New Generation
      Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
      1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.

   Knowledge Representation:

      KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
		 Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
		 Telos temporal/sorted logic system.

      SB-ONE  -- Contact: kobsa@cs.uni-sb.de
		 KL-ONE family
      KRIS    -- Contact: baader@dfki.uni-kl.de
		 KL-ONE family (Symbolics only)
      BACK    -- Contact: peltason@tubvm.cs.tu-berlin.de
		 KL-ONE family
      CLASSIC -- Contact: dlm@research.att.com
		 KL-ONE family
      MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
		 Modal KL-ONE (contains KRIS as a kernel). 
		 Implemented in Prolog.

      FOL GETFOL -- Contact: fausto@irst.it
		 Weyrauch's FOL system

      SNePS   -- Contact: shapiro@cs.buffalo.edu 
		 Semantic Nets

      COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
		       Logic Programming
      COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
		       Logic Programming
      COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
		       Constraint System for Weighted Constraints over
		       Hierarchically Structured Finite Domains.
      COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
		       Terminological Knowl. Rep. w/Concrete Domains

   Machine Learning:

      COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov

      FOIL     -- cluster.cs.su.oz.au [129.78.8.1] 
	          ~ftp/pub/foil4.sh contains source, a brief manual,
                  and several sample datasets.

   Medical Reasoning:

      TMYCIN -- sumex-aix.stanford.edu:/tmycin	

   Natural Language Processing:

      YACC	-- ftp.cs.cmu.edu:
		   /afs/cs/user/mkant/Public/Lisp/johnson-yacc.lisp
		   Contact: Mark Johnson <mj@cs.brown.edu>
		   Lisp YACC/Parser.

      BABBLER	-- Contact: rsf1@ra.msstate.edu
		   Markov chains/NLP

      PENMAN	-- Contact: hovy@isi.edu
		   Natural Language Generation.

      PC-KIMMO	-- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
		   An implementation of KIMMO morphological analyzer
		   for the IBM PC. 

      The Link Parser is a highly efficient English parser written by Danny
      Sleator and Davy Temperley. It uses a novel grammatical formalism known
      as Link Grammar to represent a robust and diverse collection of
      English-language phenomena. The system is available by anonymous ftp from
      spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
      README file for more information.
      
   Neural Networks:

      Aspirin/MIGRAINES is a neural network simulator available free from the
      MITRE Corporation. It contains a neural network simulation code generator
      which generates high performance C code implementations for
      backpropagation networks. It runs on the following platforms: Apollo,
      Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
      NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
      Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
      i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
      anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
      (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
      cd to this directory in one atomic operation) and UCLA's cognitive
      science collection on ftp.cognet.ucla.edu (128.97.50.3) in the
      directory alexis as the file am6.tar.Z. For more information, contact
      Russell Leighton <leighton@mitre.org>.

      MUME (Multi-Module Neural Computing Environment) is a simulation
      environment for multi-modules neural computing. It provides an object
      oriented facility for the simulation and training of multiple nets
      with various architectures and learning algorithms.  The object
      oriented structure makes simple the addition of new network classes
      and new learning algorithms. _ MUME includes a library of network
      architectures including feedforward, simple recurrent, and
      continuously running recurrent neural networks.  Each architecture is
      supported by a variety of learning algorithms, including backprop,
      weight perturbation, node perturbation, and simulated annealing.  MUME
      can be used for large scale neural network simulations as it provides
      support for learning in multi-net environments. It also provide pre-
      and post-processing facilities.  MUME can be used to include
      non-neural computing modules (decision trees, etc.) in applications. _
      MUME is being developed at the Machine Intelligence Group at Sydney
      University Electrical Engineering. The software is written in 'C' and
      is being used on Sun and DEC workstations. Efforts are underway to
      port it to the Fujitsu VP2200 vector processor using the VCC
      vectorising C compiler. MUME is available to research institutions on
      a media/doc/postage cost arrangement. For further information, write
      to Marwan Jabri, SEDAL, Sydney University Electrical Engineering, NSW
      2006 Australia, call +61-2-692-2240, fax +61-2-660-1228, or send email
      to marwan@sedal.su.oz.au.

      Adaptive Logic Network (ALN)
      Available by anonymous ftp from menaik.cs.ualberta.ca (129.128.4.241)
      in pub/atree2.tar.Z. pub/atree2.zip is the MS-Windows/IBM PC version.
      Documentation is in pub/atree2.ps.Z.  

      BPS
      Neural network simulator. Other files of interest. Executables are
      free; source code for a small fee.
      gmuvax2.gmu.edu:/pub/nn

      CONDELA
      A neural network definition language.
      tut.cis.ohio-state.edu:/pub/condela

      XERION
      A neural network simulator from Drew van Camp at the University
      of Toronto. It provides a library of routines for building networks
      and graphically displaying them. Written in C and uses the X window
      system for graphics. Example simulators include Back Propagation,
      Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
      Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
      Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
      (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
      See the file /pub/xerion.README for more information. To be added to
      the mailing list, send mail to xerion-request@ai.toronto.edu. Bugs
      should be reported to xerion-bugs@ai.toronto.edu. Complaints,
      suggestions or comments may be sent to xerion@ai.toronto.edu.

   Probabilistic Reasoning:

      BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
		  Contact: Russell Almond <almond@stat.washington.edu>
					  <almond@statsci.com>

      IDEAL    -- Contact: srinivas@rpal.rockwell.com
		  Bayesian networks

   Planning:

      NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
		  Contact: nonlin-users-request@cs.umd.edu
			   nonlin-bugs@cs.umd.edu

      ABTWEAK  -- csis.dit.csiro.au:pub/steve
		  Contact: Steven.Woods@csis.dit.csiro.au

      RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
		  Contact: Brad Miller <miller@cs.rochester.edu>

      SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
		  Contact: weld@cs.washington.edu
		  Nonlinear planner.

      IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
		  Contact: idm-users@chelmsford.gsfc.nasa.gov
		  STRIPS-like planning.

      PRODIGY  -- Contact: prodigy@cs.cmu.edu
		  Integrated Planning and Learning System

      SOAR     -- ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/soar/5.2/2/public/
		  Contact: soar-request@cs.cmu.edu
		  Integrated Agent Architecture

      MATS     -- Contact: kautz@research.att.com
		  Temporal constraints

   Qualitative Reasoning:

      QSIM     -- cs.utexas.edu:/pub/qsim
		  Contact: Ben Kuipers <kuipers@cs.utexas.edu>

   Robotics (Planning Testbeds):

      TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z
		  Planning testbed

      The ARS MAGNA abstract robot simular provides an abstract world in
      which a planner controls a mobile robot. This abstract world is more
      realistic than typical blocks worlds, in which micro-world simplifying
      assumptions do not hold. Experiments may be controlled by varying
      global world parameters, such as perceptual noise, as well as building
      specific environments in order to exercise particular planner
      features. The world is also extensible to allow new experimental
      designs that were not thought of originally. The simulator also
      includes a simple graphical user-interface which uses the CLX
      interface to the X window system. ARS MAGNA can be obtained by
      anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the pub/nisp
      directory. Installation instructions are in the file
      Installation.readme. The simulator is written in Nisp, a macro-package
      for Common Lisp. Nisp can be retrieved in the same way as the
      simulator. Version 1.0 of the ARS MAGNA simulator is documented in
      Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
      Robot Simulator". This report is available in the distribution as a
      PostScript file. Comments should be directed to Sean Philip
      Engelson <engelson@cs.yale.edu>.

   Theorem Proving/Automated Reasoning:

      Otter	    -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z

      Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
                  ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
                     [131.159.0.110] 
                  Relevant files include:
                    intro.dvi.Z   "Introduction to Isabelle"
                    ref.dvi.Z     "The Isabelle Reference Manual"
                    logics.dvi.Z  "Isabelle's Object-Logics"
                    92.tar.Z      Isabelle-92 distribution directory
                  Contact: Larry.Paulson@cl.cam.ac.uk
                           Tobias.Nipkow@informatik.tu-muenchen.de

      MVL      -- t.stanford.edu:/mvl/mvl.tar.Z
		  Contact: ginsberg@t.stanford.edu
		  Multi-valued logics

      Boyer-Moore -- cli.com:pub/nqthm/nqthm.tar.Z
		     rascal.ics.utexas.edu:/pub/nqthm	128.83.138.20
		     Contact: kaufman@cli.com

Miscellaneous:

   University of Toronto:
      ftp   -- ftp.cs.toronto.edu:/pub/ailist

      Archives of ailist mailing list, defunct as of January 19, 1990

   PAIL (Portable AI Lab)
      ftp   -- pobox.cscs.ch:/pub/ai/pail-2.1/  [148.187.10.13]
      contact: Mike Rosner and Dean Allemang {dean,mike}@idsia.ch

The Artificial Intelligence CD-ROM (Volume One, 1992) is available
from Network Cybernetics Corporation for $129.00 per copy (plus $5
shipping domestic, $10 shipping international). (Network Cybernetics
Corporation is offering the disc to everyone in the Usenet and Fidonet
realm for a special, discounted price of $59.00 per disc. You must
have a valid Internet or Fidonet address and the order must be prepaid
to qualify. This special offer will be discontinued on January 1,
1993.)  The AI CD-ROM is an ISO-9660 format disk usable on any
computer system, and contain a variety of public domain, shareware,
and other software of special interest to the AI community. The disk
contains source code, executable programs, demonstration versions of
commercial programs, tutorials and other files for a variety of
operating systems. Among the supported operating systems are MS-DOS,
OS/2, Mac, Amiga, and Unix. Among the items included are CLIPS v5.1
and NETS, courtesy of COSMIC, the collected source code from AIExpert
magazine from the premier issue in June of 1986 to the present, and
complete transcriptions of the first annual Loebner Prize competition,
which took place at the Boston Computer Museum. It also includes
examples many different kinds of neural networks, genetic algorithms,
artificial life simulators, natural language software, public domain
and shareware compilers for a wide range of languages such as Lisp,
Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL, and many
others.	 Complete collections of the Neural Digest, Genetic Algorithms
Digest, and Vision List Digest are included. Network Cybernetics
Corporation intends to release annual revisions to the AI CD-ROM to
keep it up to date with current developments in the field. For more
information, write to Network Cybernetics Corporation, 4201 Wingren
Road, Suite 202, Irving, Texas 75062-2763, call 214-650-2002, fax
214-650-1929, or send email to ai-cdrom@ncc.com or
steve.rainwater@ncc.com (Steve Rainwater).

----------------------------------------------------------------
Subject: [3-3]  AI Bibliographies available by FTP

The Computer Science Department at the University of Saarbruecken, Germany,
maintains a large bibliographic database of articles pertaining to the
field of Artificial Intelligence. Currently the database contains more
than 25,000 references, which can be retrieved by electronic mail from
the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
subject line "lidosearch help info" to get instructions on using the
mail server. A variety of queries based on author names, title and
year of publication are possible. The references can be provided in
BibTeX or Refer formats. The entire bibliographic database can be
obtained for a fee by ftp or on tape. Questions may be directed to
bib-1@cs.uni-sb.de.

A variety of AI-related bibliographies are located on nexus.yorku.ca
in the directory /pub/bibliographies.

For information on a fairly complete bibliography of computational
linguistics and natural language processing work from the 1980s, send
mail to clbib@csli.stanford.edu with the subject HELP. 

Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
Artificial Intelligence papers and technical reports. Available by
anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
	 
A BibTeX database of references addressing neuro-fuzzy issues can be
obtained by anonymous ftp from ftp.tu-bs.de (134.169.34.15) in the
directory local/papers as the (ascii) file fuzzy-nn.bib.

----------------------------------------------------------------
Subject: [3-4] Technical Reports available by FTP

This section lists the anonymous ftp sites for technical reports from
several universities and other organizations. Some of the sites
provide only an online catalog of technical reports, while the rest
make the actual reports available online. The email address listed is
that of the appropriate person to contact with questions about
ordering technical reports. 

When ftping compressed .Z files, remember to set the transfer type to
binary first, using the command
	ftp> binary

Another general location for technical reports from several
universities is available as wuarchive.wustl.edu:/doc/techreports/.

The newsgroup comp.doc.techreports is devoted to distributing lists of
tech reports and their abstracts.

   MIT Artificial Intelligence Laboratory:
      ftp   -- ftp.ai.mit.edu:pub/publications/
      email -- publications@ai.mit.edu

      A full catalog of MIT AI Lab technical reports (and a listing of recent
      updates) may be obtained from the above location, by writing to
      Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
      545 Technology Square, Cambridge, MA 02139, USA, or by calling
      1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
      with a short abstract and their current prices. There is also a charge
      for shipping.

      The only technical report currently available online is Sandiway
      Fong's 1991 PhD thesis, ``The Computational Properties of
      Principle-Based Grammatical Theories,'' which may be found in the
      directory pub/sandiway/.

   CMU School of Computer Science:
      ftp   -- reports.adm.cs.cmu.edu
      email -- Technical.Reports@cs.cmu.edu

   CMU Software Engineering Institute:
      ftp   --	ftp.sei.cmu.edu:/pub/documents
      email --	bjz@sei.cmu.edu

   Yale: 
      ftp   --	dept.cs.yale.edu:/pub/TR/

   University of Washington CSE Tech Reports:
      ftp   --	june.cs.washington.edu:/tr  
      email --	tr-request@cs.washington.edu

   ================

   AT&T Bell Laboratories:
      ftp   -- research.att.com:/netlib/research/cstr

      bib.Z contains short bibliography, including all the technical
      reports contained in this directory.

      ftp   -- research.att.com:/dist/ai

   Boston University:
      ftp   --	cs.bu.edu:techreports/
      email --	techreports@cs.bu.edu

   Brown University:
      ftp   --	wilma.cs.brown.edu:techreports/
      email --	techreports@cs.brown.edu

   Columbia University:
      ftp   --	cs.columbia.edu:/pub/reports
      email --	tech-reports@cs.columbia.edu

   DEC Cambridge Research Lab:
      ftp   --	crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}

   DFKI:
      ftp   -- duck.dfki.uni-sb.de:/pub/papers
      email -- Martin Henz (henz@dfki.uni-sb.de)

   Duke University:
      ftp   --	cs.duke.edu:/dist/{papers,theses}
      email --	techreport@cs.duke.edu

   Edinburgh:
      A list of available reports can be sent via email. Send requests
      for information about reports from the Center for Cognitive Science 
      to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
      Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk. 

   Georgia Tech College of Computing, AI Group:
      ftp   -- ftp.cc.gatech.edu:pub/ai (130.207.3.245) 
      email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>

   Illinois:
      email -- Erna Amerman <erna@uiuc.edu>

   Indiana:
      ftp   -- cogsci.indiana.edu:pub         [129.79.238.12]
      ftp   -- cs.indiana.edu:pub/techreports [129.79.254.191]

   Institute for Learning Sciences at Northwestern University:
      ftp   --	ftp.ils.nwu.edu:/pub/papers/

   New York University (NYU):
      ftp   --	cs.nyu.edu:/pub/tech-reports

   OGI:
      ftp   --	cse.ogi.edu:/pub/tech-reports
      email --	csedept@cse.ogi.edu

   Ohio State University, Laboratory for AI Research
      ftp   -- nervous.cis.ohio-state.edu:/pub/papers
      email -- lair-librarian@cis.ohio-state.edu

   OSU Neuroprose:
      ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)

      This directory contains technical reports as a public service to the
      connectionist and neural network scientific community which has an
      organized mailing list (for info: connectionists-request@cs.cmu.edu)

   Stanford:
      ftp   -- elib.stanford.edu:/cs
   
      Very spotty collection.

   SUNY at Stony Brook:
      ftp   -- sbcs.sunysb.edu:/pub/TechReports
      email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu

      The /pub/sunysb directory contains the SB-Prolog implementation
      of the Prolog language. Contact warren@sbcs.sunysb.edu for more
      information.

   Thinking Machines:
      ftp   -- ftp.think.com:think/techreport.list

      This file contains a list of Thinking Machines technical reports.
      Orders may be placed by email (limit 5) to t-rex@think.com, or by US
      Mail to Thinking Machines Corporation, Attn: Technical reports, 245
      First Street, Cambridge, MA 01241. In addition, the directories
      cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
      simulators. 

   University of Arizona:
      ftp   -- cs.arizona.edu:reports/
      email -- tr_libr@cs.arizona.edu

      The directory /japan/kahaner.reports contains reports on AI in
      Japan, among other things.

   University of California/Santa Cruz:
      ftp   -- ftp.cse.ucsc.edu:/pub/{bib,tr}
      email -- jean@cs.ucsc.edu

   University of Colorado:
      ftp   --	ftp.cs.colorado.edu:/pub/cs/techreports

   University of Florida:
      ftp   -- bikini.cis.ufl.edu:/cis/tech-reports

   University of Illinois at Urbana:
      ftp   -- a.cs.uiuc.edu:/pub/dcs
      email -- erna@a.cs.uiuc.edu

   University of Indiana, Center for Research on Concepts and Cognition:
      ftp   --	cogsci.indiana.edu:pub/
      email --	helga@cogsci.indiana.edu

   University of Kentucky:
      ftp   --	ftp.ms.uky.edu:ftp/pub/tech-reports/UK/cs/

   University of Massachusetts at Amherst:
      email --	techrept@cs.umass.edu

   University of Michigan:
      ftp   -- z.eecs.umich.edu:/techreports
	
   University of North Carolina:
      ftp   -- ftp.cs.unc.edu:/pub/technical-reports/

   University of Pennsylvania:
      email -- publications@upenn.edu

   USC/Information Sciences Institute:
      email -- Sheila Coyazo <scoyazo@isi.edu> is the contact.

   University of Toronto:
      ftp   -- ftp.cs.toronto.edu:/pub/reports
      email -- tech-reports@cs.toronto.edu

   University of Virginia:
      ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs

   University of Wisconsin:
      ftp   -- ftp.cs.wisc.edu:/tech-reports
      email -- tech-reports-archive@cs.wisc.edu


Some AI authors have set up repositories of their own papers:

   Matthew Ginsberg: t.stanford.edu:/u/ftp/papers

----------------------------------------------------------------

;;; *EOF*
Newsgroups: comp.ai