home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / ai / 3162 < prev    next >
Encoding:
Internet Message Format  |  1992-08-20  |  53.7 KB

  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  2. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  3. Newsgroups: comp.ai
  4. Subject: Proposed FAQ for comp.ai
  5. Message-ID: <BtApE7.KLC.1@cs.cmu.edu>
  6. Date: 20 Aug 92 18:44:29 GMT
  7. Article-I.D.: cs.BtApE7.KLC.1
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Reply-To: mkant+ai-faq@cs.cmu.edu
  10. Followup-To: mkant+ai-faq@cs.cmu.edu
  11. Organization: School of Computer Science, Carnegie Mellon
  12. Lines: 1391
  13. Nntp-Posting-Host: glinda.oz.cs.cmu.edu
  14.  
  15. This post contains a prototype for a FAQ (Frequently Asked Questions)
  16. monthly posting for the newsgroup comp.ai. Please send your comments,
  17. criticisms, and additions to me at mkant+ai-faq@cs.cmu.edu. If I don't
  18. receive too many negative reactions to it, I'll set it up to be
  19. automatically posted once a month.
  20.  
  21. Items I'd like to add to question [8] but for which I don't currently
  22. have complete information: 
  23.     o  Sources for online copies of the Roget's 1911 thesaurus.
  24.     o  Sources for online copies of Project Gutenberg's public domain
  25.        thesaurus. 
  26.  
  27. --mark
  28.  
  29.  
  30. Subject: FAQ: Questions about Artificial Intelligence [Monthly posting]
  31. Newsgroups: comp.ai,news.answers
  32. Summary: Frequently asked questions about AI
  33. Distribution: world
  34. Followup-To: poster
  35. Reply-To: mkant+ai-faq@cs.cmu.edu
  36. Approved: news-answers-request@MIT.Edu
  37.  
  38. Archive-name: ai-faq
  39. Last-Modified: Thu Aug 20 03:38:59 1992 by Mark Kantrowitz
  40. Version: 1.0
  41.  
  42. ;;; ****************************************************************
  43. ;;; Answers to Questions about Artificial Intelligence *************
  44. ;;; ****************************************************************
  45. ;;; Written by Mark Kantrowitz
  46. ;;; ai-faq.text -- 53912 bytes
  47.  
  48. If you think of questions that are appropriate for this FAQ, or would
  49. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  50.  
  51. Topics Covered:
  52.  
  53.   [0]  What is the purpose of this newsgroup?
  54.   [1]  Bibliography of introductory texts, overviews and references
  55.   [2]  AI-related Associations
  56.   [3]  AI-related Mailing Lists
  57.   [4]  FTP and Other Resources
  58.   [5]  AI Technical Reports available by FTP
  59.   [6]  What are the rules for the game of "Life"?
  60.   [7]  What AI competitions exist?
  61.   [8]  Where can I get a machine readable dictionary, thesaurus, and
  62.        other text corpora?
  63.   [9]  List of Prolog and Smalltalk implementations.
  64.  
  65. Search for [#] to get to question number # quickly.
  66.  
  67.  
  68. Introduction:
  69.  
  70. Certain questions and topics come up frequently in the various network
  71. discussion groups devoted to and related to Artificial Intelligence
  72. (AI).  This file/article is an attempt to gather these questions and
  73. their answers into a convenient reference for AI researchers. It is
  74. posted on a monthly basis. The hope is that this will cut down on the
  75. user time and network bandwidth used to post, read and respond to the
  76. same questions over and over, as well as providing education by
  77. answering questions some readers may not even have thought to ask.
  78.  
  79. The latest version of this file is available via anonymous FTP from CMU:
  80.  
  81.    To obtain the file from CMU, connect by anonymous ftp to any CMU CS
  82.    machine (e.g., ftp.cs.cmu.edu [128.2.206.173]), using username
  83.    "anonymous" and password "name@host". The file ai-faq.text
  84.    is located in the directory
  85.        /afs/cs.cmu.edu/user/mkant/Public/AI/
  86.    [Note: You must cd to this directory in one atomic operation, as
  87.    some of the superior directories on the path are protected from
  88.    access by anonymous ftp.] If your site runs the Andrew File System,
  89.    you can just cp the file directly without bothering with FTP.
  90.  
  91. ----------------------------------------------------------------
  92. Subject: [0] What is the purpose of this newsgroup?
  93.  
  94. The newsgroup comp.ai exists for general discussion of topics related
  95. to Artificial Intelligence. For example, possible topics can
  96. include (but are not necessarily limited to):
  97.    announcements of AI books and products
  98.    discussion of AI programs and tools
  99.    questions about AI techniques
  100.    problems implementing an AI technique
  101. Postings should be of general interest to the AI community. See also
  102. question [3].
  103.  
  104. We've tried to minimize the overlap with the FAQ postings to the
  105. comp.lang.lisp and comp.ai.neural-nets newsgroups, so if you don't find
  106. what you're looking for here, we suggest you try the FAQs for those
  107. newsgroups.
  108.  
  109. ----------------------------------------------------------------
  110. Subject: [1] Bibliography of introductory texts, overviews and references
  111.  
  112. This section provides a bibliography of good introductory texts and
  113. overviews of AI and specific subfields of AI:
  114.  
  115. 1.  AI in general (Introductions, Overviews)
  116.  
  117.     Elaine Rich & Kevin Knight, "Artificial Intelligence", 2nd edition,
  118.     McGraw-Hill, New York, 1991. ISBN 0-07-052263-4
  119.  
  120.     Shapiro, Stuart C. (ed), "Encyclopedia of Artificial Intelligence", 
  121.     John Wiley & Sons, New York, 1987.
  122.  
  123.     Alan Bundy, editor, "Catalogue of Artificial Intelligence
  124.     Techniques", 3rd Edition, Springer Verlag, 1990, ISBN 0-387-52959-4. 
  125.  
  126.     Older general introductions:
  127.  
  128.     Patrick Henry Winston, "Artificial Intelligence", 2nd Edition,
  129.     Addison-Wesley, Reading, MA, 1984.
  130.  
  131.     Nils J. Nilsson, "Principles of Artificial Intelligence", Tioga
  132.     Publishing Company, Palo Alto, CA, 1980.
  133.  
  134.     Eugene Charniak and Drew V. McDermott, "Introduction to Artificial
  135.     Intelligence", Addison-Wesley, Reading, MA, 1985.
  136.  
  137. 2.  Natural Language Processing (NLP)
  138.  
  139.     General:
  140.  
  141.     Gazdar, G. and Mellish, C., "Natural Language Processing in Lisp:
  142.     An Introduction to Computational Linguistics", Addison-Wesley,
  143.     Reading, Massachusetts, 1989. (There are three different editions
  144.     of the book, one for Lisp, one for Prolog, and one for Poplog.)
  145.  
  146.     Grosz, B.J., Sparck-Jones, K., and Webber, B.L., "Readings in
  147.     Natural Language Processing", Morgan Kaufmann Publishers, Los
  148.     Altos, CA, 1986.
  149.  
  150.     Robert C. Berwick, "Computational Linguistics", MIT Press, 
  151.     Cambridge, MA, 1989, ISBN 0262-02266-4.
  152.  
  153.     Brady, Michael, and Berwick, Robert C., "Computational Models
  154.     of Discourse", MIT Press, Cambridge, MA, 1983.
  155.  
  156.     Klaus K. Obermeier, "Natural Language Processing Technologies
  157.     in Artificial Intelligence: The Science and Industry Perspective",
  158.     John Wiley & Sons, New York, 1989.
  159.  
  160.     Terry Winograd, "Language as a Cognitive Process", Addison-Wesley,
  161.     Reading, MA, 1983.
  162.  
  163.     Parsing:
  164.  
  165.     Tomita, M. (Editor), "Current Issues in Parsing Technology", 
  166.     Kluwer Academic Publishers, Norwell, MA, 1991.
  167.  
  168.     Tomita, M., "An Efficient Context-Free Parsing Algorithm",
  169.     Computational Linguistics 13:31-46, 1987.
  170.  
  171.     Probabilistic Parsing:
  172.  
  173.     Wright, J., "LR Parsing of Probabilistic Grammars with Input
  174.     Uncertainty for Speech Recognition", Computer Speech and Language
  175.     4:297-323, 1990. 
  176.  
  177.     Ted Briscoe and John Carroll, "Generalised Probabilistic LR Parsing of
  178.     Natural Language (Corpora) with Unification-based Grammars",
  179.     University of Cambridge Computer Laboratory, Technical Report Number
  180.     224, 1991.
  181.  
  182.     Natural Language Understanding:
  183.  
  184.     Allen, James F., "Natural Language Understanding", The
  185.     Benjamin/Cummings Publishing Company, Menlo Park, California,
  186.     (Addison-Wesley Publishing Company, Reading, Massachusetts),
  187.     1988, ISBN 0-8053-0330-8. 
  188.  
  189.     Natural Language Generation:
  190.  
  191.     McKeown, Kathleen R. and Swartout, William R., "Language
  192.     Generation and Explanation", in Zock, M. and Sabah, G.,
  193.     editors, Advances in Natural Language Generation, Volume 1, Pages
  194.     1-51, Ablex Publishing Company, Norwood, NJ, 1988. (Overview of
  195.     the state of the art in natural language generation.)
  196.  
  197. 3.  Planning
  198.  
  199.     Intros, Overviews, Paper Collections:
  200.  
  201.     John Allen, James Hendler and Austin Tate, editors,
  202.     "Readings in Planning", Morgan-Kaufmann Publishers, 1990.
  203.  
  204.     James Hendler, Austin Tate and Mark Drummond, "AI Planning: 
  205.     Systems and Techniques", AI Magazine, May, 1990. (Review article.)
  206.  
  207.         Georgeff, M. P., "Planning," in Annual Review of Computer Science,
  208.         Annual Reviews Inc., pages 359-400, 1987.
  209.  
  210.     STRIPS:
  211.  
  212.     Fikes, R.E. and Nilsson, N.J., "STRIPS: A new approach to the
  213.     application of theorem proving to problem solving", Artificial
  214.     Intelligence 2:189-208, 1971. 
  215.  
  216.     ABSTRIPS:
  217.  
  218.     Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces,"
  219.     Artificial Intelligence, 5:115-135, 1974.
  220.  
  221.     Conjunctive Goals:
  222.  
  223.     Chapman, D., "Planning for Conjunctive Goals", Artificial Intelligence
  224.     32:333-377, 1987.
  225.  
  226.     NOAH:
  227.  
  228.     Sacerdoti, E., "A Structure for Plans and Behavior", Artificial
  229.     Intelligence, pages 1-65, American Elsevier, New York, 1977.
  230.  
  231.     Sacerdoti, E. D., "The Nonlinear Nature of Plans," Proc. of the Fourth
  232.     Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975, 206-214.
  233.  
  234.     Reactive Planning:
  235.  
  236.     Agre P.E. and Chapman, D., "Pengi: An Implementation of a Theory of
  237.     Activity", in Proceedings of the Sixth National Conference on
  238.     Aritificial Intelligence, Seattle, WA, July 1987.
  239.  
  240.     Georgeoff, M.P. and Lansky, A.L., "Reactive Reasoning and
  241.     Planning", in Proceedings of the Sixth National Conference on
  242.     Artificial Intelligence, Seattle, WA, pages 677-682, July 1987.
  243.  
  244.     Simmons, R.G., "A theory of debugging plans and interpretations", in
  245.     Proceedings of the Seventh National Conference on Artificial
  246.     Intelligence (AAAI-88), Morgan Kaufmann Publishers, Palo Alto,
  247.     CA, pages 94-99, 1988. 
  248.  
  249.     Case-based Planning:
  250.  
  251.     Hammond, K., "Case-based Planning: Viewing Planning as a Memory Task",
  252.     Academic Press, Cambridge, MA, 1989.
  253.  
  254.     Miscellaneous:
  255.  
  256.     Stefik, M.J., "Planning with Constraints", Artificial Intelligence
  257.     15:111-140 and 16:141-170, 1981.
  258.  
  259.     Wilkins, D.E., "Domain-Independent Planning: Representation and Plan
  260.     Generation", Artificial Intelligence 22:269-301, 1984.
  261.  
  262. 4.  Connectionism and Neural Nets
  263.  
  264.     Geoffrey E. Hinton, "Connectionist Learning Procedures",
  265.     Technical Report CMU-CS-87-115 (version 2), Carnegie Mellon
  266.     University, Pittsburgh, PA, December 1987. Also appears in Artificial
  267.     Intelligence 40(1-3):185-234, September 1989.
  268.  
  269.     Kevin Knight, "A gentle introduction to subsymbolic
  270.     computation: Connectionism for the AI researcher". Technical Report
  271.     CMU-CS-89-150, Carnegie Mellon University, School of Computer Science,
  272.     Pittsburgh, PA, May 30, 1989.
  273.  
  274.     Rumelhart, D.E., Hinton G.E. and Williams R.J., "Learning internal
  275.     representations", in D.E. Rumelhart and J.L. McClelland,
  276.     editors, Parallel Distributed Processing: Explorations in the
  277.     Microstructure of Cognition (Vol 1: Foundations), Cambridge,
  278.     MA, MIT Press/Bradford Books, 1986.
  279.  
  280.     J.A. Feldman and D.H. Ballard, "Connectionist models and their
  281.     properties", Cognitive Science, 6(3):205-254, 1982.
  282.  
  283. 5.  Machine Learning
  284.  
  285.     General:
  286.  
  287.     J. G. Carbonell, editor, "Machine Learning: Paradigms and Methods", MIT
  288.     Press, Cambridge, MA 1990.
  289.  
  290.     Decision Trees:
  291.  
  292.     Quinlan, J.R., "Induction of Decision Trees", Machine Learning
  293.     1:81-106, 1986.  
  294.  
  295.     Quinlan, J.R., "C4.5: Programs for Machine Learning", Morgan Kaufmann
  296.     Publishers, 1992. For a slight additional charge, the book comes with
  297.     software.
  298.  
  299.     Probabilistic Clustering:
  300.  
  301.     Fisher, D.H., "Knowledge Acquisition Via Incremental Conceptual
  302.     Clustering", Machine Learning 2:139-172, 1987. (Probabilistic
  303.     clustering methods.) 
  304.  
  305.     Clancey, W.J., "Classification Problem Solving", Proceedings of the
  306.     National Conference on Aritificial Intelligence, 49-55, Los Altos, CA,
  307.     Morgan Kaufmann. 1984.
  308.  
  309.     Version Spaces:
  310.  
  311.     Tom M. Mitchell, "Generalization as Search", Artificial Intelligence
  312.     18:203-226, 1982.
  313.  
  314.     Machine Discovery:
  315.  
  316.     Langley, P., Simon, H.A. and Bradshaw, G.L., "Heuristics for
  317.     Empirical Discovery", in L. Bolc, editor, Computational Models
  318.     of Learning, Springer-Verlag, 1987. 
  319.  
  320.     Chunking:
  321.  
  322.     Laird J.E., Rosenbloom, P.S. and Newell, A., "Chunking in SOAR: The
  323.     Anatomy of a General Learning Mechanism", Machine Learning
  324.     1:1-46, 1986. 
  325.  
  326.     Explanation-Based Learning:
  327.  
  328.     Mitchell, Tom M., Keller, R. M., and Kedar-Cabelli, S. T., 
  329.     "Explanation-based learning: A unified view", Machine Learning
  330.     1:47-80, 1986.
  331.  
  332.     Derivational Analogy:
  333.  
  334.     Carbonell, J. G., "Derivational analogy: A theory of
  335.     reconstructive problem solving and expertise acquisition." In R.S.
  336.     Michalski, Jaime G. Carbonell, and Tom M. Mitchell, editors, Machine
  337.     Learning: An Artificial Intelligence Approach, Morgan Kaufmann
  338.     Publishers, San Mateo, CA, 1986.
  339.  
  340.     Theoretical Results:
  341.  
  342.     Haussler, D., "Quantifying Inductive Bias: AI Learning
  343.     Algorithms and Valiant's Learning Framework", Artificial Intelligence,
  344.     36:177-221, 1988.
  345.  
  346. 6.  Case-Based Reasoning
  347.  
  348.     Roger C. Schank, "Dynamic Memory: A Theory of Reminding and
  349.     Learning in Computers and People", Cambridge University Press, New
  350.     York, NY, 1982.
  351.  
  352.     Roger C. Schank and C. Riesbeck, "Inside Case-Based Reasoning",
  353.     Lawrence Erlbaum Associates, Hillsdale, NJ, 1989.
  354.  
  355.     Craig Stanfill and David Waltz, "Toward Memory-Based
  356.     Reasoning", Communications of the ACM, 29(12):1213-1228,
  357.     December 1986. (Memory-based reasoning.)  
  358.  
  359. 7.  Genetic Algorithms
  360.  
  361.     L. B. Booker, D.E. Goldberg and J.H. Holland, "Classifier Systems and
  362.     Genetic Algorithms", Artificial Intelligence 40(1-3):235-282,
  363.     September 1989. 
  364.  
  365.     See also the July 1992 issue of Scientific American.
  366.  
  367. 8.  Production Systems and Match Algorithms
  368.  
  369.     OPS5:
  370.     Charles L. Forgy, "OPS5 User's Manual", Technical Report
  371.     CMU-CS-81-135, Carnegie Mellon University, School of Computer
  372.     Science, Pittsburgh, PA 1981. 
  373.  
  374.     RETE:
  375.     Charles L. Forgy, "RETE: A fast algorithm for the many
  376.     pattern/many object pattern match problem", Artificial
  377.     Intelligence 19(1):17-37, September 1982.  
  378.  
  379.     TREAT:
  380.     Daniel P. Miranker, "TREAT: A better match algorithm for AI
  381.     production systems". In Proceedings of the Sixth National
  382.     Conference on Artificial Intelligence (AAAI-87), pages 42-47,
  383.     August 1987. 
  384.  
  385.     MatchBox:
  386.     Mark Perlin, "The match box algorithm for parallel production
  387.     system match", Technical Report CMU-CS-89-163, Carnegie Mellon
  388.     University, School of Computer Science, Pittsburgh,
  389.     Pennsylvania, May 1989. 
  390.  
  391.     DRETE: 
  392.     Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE
  393.     on CUPID for OPS5 matching", in Proceedings of the Eleventh
  394.     International Joint Conference on Artificial Intelligence (IJCAI-89),
  395.     pages 84-90, Detroit MI, August 1989, Morgan Kaufmann Publishers.
  396.  
  397. 9. Integrated AI Architectures
  398.  
  399.     Kurt VanLehn, editor, "Architectures for Intelligence",
  400.     Lawrence Erlbaum Associates, Hillsdale, NJ, 1991.
  401.  
  402.     SOAR: 
  403.     John E. Laird, Allen Newell, and Paul S. Rosenbloom, "SOAR: An
  404.     Architecture for General Intelligence", Artificial
  405.     Intelligence, 33(1):1-64, 1987. 
  406.  
  407.     PRODIGY: 
  408.     Steven Minton, Jaime G. Carbonell, Craig A. Knoblock,
  409.     Daniel R. Kuokka, Oren Etzioni, and Yolanda Gil. 
  410.     "Explanation-based learning: A problem solving perspective".
  411.     Technical Report CMU-CS-89-103, Carnegie Mellon University,
  412.     School of Computer Science, Pittsburgh, PA, 1989.
  413.  
  414.     THEO:
  415.     Tom M. Mitchell, J. Allen, P. Chalasani, J. Cheng, Oren Etzioni,
  416.     Marc Ringuette, and Jeffrey Schlimmer, "THEO: A Framework for
  417.     Self-Improving Systems", in Kurt VanLehn, editor, Architectures for
  418.     Intelligence, Lawrence Erlbaum Associates, Hillsdale, NJ, 1991.
  419.  
  420.     Subsumption Architectures:
  421.     Brooks, R., "A Robust Layered Control System for a Mobile Robot",
  422.     IEEE Journal of Robotics and Automation, RA-2, pages 14-23, April 1986.
  423.  
  424. 10. Knowledge Representation
  425.  
  426.     Brachman, R.J. and Levesque, H.J., editors, "Readings in Knowledge
  427.     Representation", Morgan Kaufmann Publishers, 1985.
  428.  
  429. 11. Fuzzy Logic
  430.  
  431.     Zadeh, L.A., "Fuzzy Sets," Information and Control, 8, 338-353, 1965.
  432.  
  433.     Klir, George J. and Folger, Tina A., "Fuzzy Sets, Uncertainty, and
  434.     Information", Englewood Cliffs,  NJ: Prentice Hall, 1988. 
  435.  
  436.     Zimmermann, Hans J., "Fuzzy Set Theory and its Applications",
  437.     Boston, MA, Kluwer-Nijhoff Publishing, 1985. 
  438.  
  439.     Didier Dubois, Henri Prade, and Ronald R. Yager, editors,
  440.     "Readings in Fuzzy Systems", Morgan Kaufmann Publishers, 1992.
  441.  
  442. 12. Artificial Life
  443.  
  444.     The best source for information is the proceedings of the
  445.     Artificial Life conferences. The proceedings were edited by
  446.     Christopher G. Langton and published by Addison-Wesley.
  447.  
  448.     There is also a book on Artificial Life by Steven Levy, the
  449.     author of the book Hackers.
  450.  
  451. 13. Miscellaneous (Search, Logic, TMS)
  452.  
  453.     Hans J. Berliner, "The B* Tree Search Algorithm: A Best-First Proof
  454.     Procedure", Artificial Intelligence, 12(1):23-40, May 1979.
  455.  
  456.     Pearl, J., "Heuristics: Intelligent Search Strategies for Computer
  457.     Problem Solving", Addison-Wesley, 1984.
  458.  
  459.     Genesereth, M.R. and Nilsson, N.J., "Logical Foundations of Artificial
  460.     Intelligence", Morgan Kaufmann Publishers, Los Altos, CA, 1987.
  461.  
  462.     Doyle, J., "Truth Maintenance Systems", Artificial Intelligence,
  463.     12:231-272, 1979.
  464.  
  465.     Kirkpatrick, S. Gelatt, CD, and Vecci, MP, "Optimization by Simulated
  466.     Annealing", Science 220(4589):671-680.
  467.  
  468.  
  469. Morgan Kaufmann Publisher's order number is 800-745-7323 (415-578-9911)
  470. and their email address is morgan@unix.sri.com. Their "Readings in X"
  471. series is a good source of information on various AI topics.
  472.  
  473.  
  474. Videotapes:
  475.  
  476.    The 4th episode of the PBS series "The Machine That Changed the World" is
  477.    a good introduction to AI. It is available for $90 from Films for the
  478.    Humanities, 1-800-257-5126.
  479.  
  480.    Morgan Kaufmann also has a good set of tapes of AI-related lectures, but
  481.    it runs on the expensive side.
  482.  
  483.  
  484. AI-related magazines include:
  485.  
  486.     AI EXPERT
  487.     Miller Freeman, Inc., 600 Harrison Street, San Francisco, CA 94107.
  488.     Subscriptions: 1-800-274-2534 or 303-447-9330
  489.     $42/year (12 issues), $6 extra in Canada and Mexico, 
  490.     $15 extra (surface mail) or $40 (air mail) for overseas.
  491.  
  492.     PC AI
  493.     3310 West Bell Road, Suite 119, Phoenix, AZ 85023.
  494.     Subscriptions: 602-971-1869, fax 602-971-2321.
  495.     $28/year (6 issues); $54 for two years; $78 for three years.
  496.     $9 extra in Canada and Mexico, $25 extra (air mail) for all
  497.     other countries. 
  498.  
  499. ----------------------------------------------------------------
  500. Subject: [2]  AI-related Associations and Journals
  501.  
  502. Associations:
  503.  
  504.    AMERICAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE (AAAI)
  505.    AAAI, 445 Burgess Drive, Menlo Park, CA 94025.
  506.    415-328-3123, info@aaai.org
  507.    Membership includes AI Magazine:
  508.    $40 regular, $20 student (US/Canadian)
  509.    $65 regular, $45 student (Foreign)
  510.  
  511.    ASSOCIATION FOR COMPUTING MACHINERY (ACM)
  512.    ACM, 1515 Broadway, New York, NY 10036.
  513.    Member Services, 11 West 42nd Street, New York, NY 10036.
  514.    212-869-7440. Fax 212-944-1318. Email: acmhelp@acmvm.bitnet.
  515.    $75 regular, $22 student (includes Communications of the ACM)
  516.    $15 ($8 students) extra for SIGART membership (gets Sigart Bulletin)
  517.    $12 ($7 students) extra for Lisp Pointers.
  518.    $15 ($10 students) extra for Computing Surveys
  519.    $34 ($29 students) extra for Computing Reviews
  520.  
  521.    INTERNATIONAL ASSOCIATION OF KNOWLEDGE ENGINEERS (IAKE)
  522.    IAKE, 11820 Parklawn Drive, Suite 302, Rockville, MD 20852.
  523.    301-231-7826
  524.    $65 regular, $30 students.
  525.  
  526.    ASSOCIATION FOR COMPUTATIONAL LINGUISTICS
  527.    c/o Dr. Donald E. Walker
  528.    Bellcore, MRE 2A379
  529.    445 South Street, Box 1910
  530.    Morristown, NJ 07960-1910
  531.    201-829-4312
  532.    walker@flash.bellcore.com
  533.    $25 regular, $15 student (includes Computational Linguistics)
  534.    Add $10 for first class mail to US, Canada, or Mexico, and $20 elsewhere.
  535.  
  536.    INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS (IEEE)
  537.    IEEE Service Center, 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855.
  538.    1-800-678-IEEE
  539.    IEEE membership is $95 regular ($23 students)
  540.    For membership in the IEEE Computer Society, add $22.
  541.    $20 for IEEE Expert (expert systems)
  542.    $12 for Transactions on Neural Networks
  543.    $12 for Transactions on Systems, Man and Cybernetics
  544.    $15 for Transactions on Robotics and Automation
  545.    $19 for Transactions on Knowledge and Data Engineering
  546.    $24 for Transactions on Pattern Analysis and Machine Intelligence
  547.  
  548.  
  549. Journals:
  550.  
  551.    JOURNAL OF COMPUTATIONAL INTELLIGENCE
  552.    Basil Blackwell Publishers, Journal Subscription Department, 
  553.    3 Cambridge Centre, Cambridge, MA 02142.
  554.    Individual subscriptions are $85 in North America and $100 in the rest of
  555.    the world. Institutional subscriptions are $175 and $190, respectively. 
  556.  
  557.    ARTIFICIAL INTELLIGENCE REVIEW (Survey and Tutorial Journal)
  558.    Kluwer Academic Publishers,
  559.    101 Philip Drive, Norwell, MA 02061, 617-871-6600, fax 617-871-6528.
  560.    PO Box 358, Accord Station, Hingham, MA 02018-0358. 
  561.    Email: kluwer@world.std.com
  562.    The institutional subscription rate is $130 per volume (4 issues).
  563.  
  564.    ARTIFICIAL INTELLIGENCE
  565.    $80 individuals (must be a member of one of the major AI societies). 
  566.    To order in the US, write to AAAI, AI Journal, 445 Burgess Drive, Menlo
  567.    Park, CA 94025-3496, or to Elsevier Science Publishing, 655 Avenue of
  568.    the Americas, New York, NY 10017, 212-633-3827. Outside the US,
  569.    contact Elsevier Science Publishers, Attn: Ursula van Dijk, PO Box 103,
  570.    1000 AC Amsterdam, The Netherlands, or call +31-20-5862-608.
  571.  
  572.    COGNITIVE SCIENCE
  573.    Ablex Publishing Company,
  574.    355 Chestnut Street, Norwood, NJ 07648
  575.    201-767-8450, fax 201-767-6717
  576.    $50 individual, $125 institution.
  577.  
  578. ----------------------------------------------------------------
  579. Subject: [3] Mailing Lists
  580.  
  581. To be added or deleted to any of the following lists, send mail to the
  582. -request version of the list. This sends mail to the list maintainer,
  583. instead of annoying the membership of the entire mailing list. To
  584. subscribe to one of the BITNET listserv forums, send mail there which
  585. contains a line of the form
  586.     SUB <forum-name> <your-full-name>
  587. as the first and only line in the body of the message.
  588.  
  589. For Lisp-related mailing lists, see part 4 of the FAQ for the
  590. newsgroup comp.lang.lisp.
  591.  
  592.  
  593. AI-Related Newsgroups:
  594.  
  595.    comp.ai            Artificial Intelligence
  596.    comp.ai.edu            AI and Education
  597.    comp.ai.neural-nets        Neural Nets
  598.    comp.ai.nlang-know-rep    Natural Language and Knowledge Representation
  599.    comp.theory.cell-automata    Cellular Automata
  600.    comp.simulation        Simulation
  601.    sci.math.symbolic        Symbolic Math
  602.    comp.ai.philosophy        Philosophical Foundations of AI
  603.    comp.ai.shells        Expert System Shells
  604.    comp.ai.vision        Vision Research
  605.  
  606.    comp.lang.lisp        Common Lisp
  607.    comp.lang.clos        Common Lisp Object System
  608.    comp.lang.scheme        Scheme
  609.    comp.lang.lisp.mcl        Macintosh Common Lisp
  610.    comp.lang.lisp.franz        Franz Lisp
  611.    comp.lang.lisp.x        XLisp
  612.    comp.lang.prolog             Prolog
  613.    comp.lang.smalltalk          Smalltalk
  614.  
  615.    aicom mcvax!swivax!otten@uunet.uu.net    International Usenet AI news
  616.  
  617.  
  618. AI Research in a particular country:
  619.  
  620.    British AI            alvey jws%ib.rl.ac.uk@nsfnet-relay.ac.uk
  621.    Japanese AI            fj-ai%etl.jp@relay.cs.net
  622.    German AI            mod-ki%unido.irb@unido.bitnet
  623.    Mexican AI            IAMEX-L on listserv@tecmtyvm.mty.itesm.mx
  624.  
  625.    The IAMEX-L list is administrated by the AI Invetigation Center in
  626.    Instituto Tecnologico y de Estudios Superiores de Monterrey (ITESM)
  627.    in Monterrey, N.L. To be added to that list, please contact:
  628.         pl500368@tecmtyvm.bitnet (Juana Maria Gomez Puertos)
  629.         pl157961@tecmtyvm.bitnet (Fernando Careaga Sanchez)
  630.  
  631.    The newsgroup de.sci.ki.discussion is the German equivalent of comp.ai.
  632.    The newsgroup de.sci.ki.announce is for announcements about AI. The
  633.    newsgroup de.sci.ki.mod-ki is moderated by Hans-Werner Hein
  634.    <hein@damon.irf.uni-dortmund.de>.
  635.  
  636.  
  637. AI applications to Human-Computer interface design:
  638.    AI-CHI <wiley!ai-chi@lll-lcc.llnl.gov>        
  639.  
  640.    All requests to be added to or deleted from this list, problems, questions,
  641.    etc., should be sent to wiley!ai-chi-request@LLL-LCC.LLNL.GOV.
  642.  
  643.  
  644. AI in Education: 
  645.    ai-ed@sun.com (was ai-ed@sumex-aim.stanford.edu)
  646.  
  647.    Includes ICAI (intelligent computer aided instruction) and 
  648.    ITS (intelligent tutoring systems).
  649.  
  650.    All requests to be added to or deleted from this list, problems, questions,
  651.    etc., should be sent to ai-ed-request@sun.com.
  652.  
  653.  
  654. Artificial Intelligence and Law:
  655.    ail-l@austin.onu.edu
  656.  
  657.    To subscribe to AIL-L you should send a message to the internet address
  658.         listserv@austin.onu.edu
  659.    The body of the message should consist of:
  660.         subscribe AIL-L <your full name>
  661.  
  662.  
  663. AI in Medicine: 
  664.    ai-medicine@vuse.vanderbilt.edu
  665.  
  666.    Focus is on computer-based medical decision support.
  667.  
  668.    All requests to be added to or deleted from this list, problems, questions,
  669.    etc., should be sent to ai-medicine-request@vuse.vanderbilt.edu
  670.  
  671.  
  672. Cellular Automata:
  673.    cellular-automata@think.com  (aka ca@think.com)
  674.  
  675.    Gatewayed to the newsgroup comp.theory.cell-automata.
  676.  
  677.    Archived messages may be found at ftp.think.com in the files:
  678.       mail/ca.archive*
  679.  
  680.    All other requests to be added to or deleted from this list, problems,
  681.    questions, etc., should be sent to cellular-automata-request@think.com.
  682.  
  683.  
  684. Classification and clustering:
  685.    class-l%sbccvm.bitnet@cunyvm.cuny.edu
  686.  
  687.    To subscribe to CLASS-L you should send a message to the internet address
  688.         listserv%sbccvm.bitnet@cunyvm.cuny.edu
  689.    The body of the message should consist of:
  690.         subscribe CLASS-L <your full name>
  691.    To have your name removed from the CLASS-L subscriber list, send:
  692.         signoff CLASS-L
  693.  
  694.  
  695. Connectionism and Neural Networks:
  696.  
  697.    Connectionism:
  698.       connectionists@cs.cmu.edu
  699.  
  700.       All requests to be added to or deleted from this list, problems,
  701.       questions, etc., should be sent to connectionists-request@cs.cmu.edu.
  702.  
  703.    Neural Networks (moderated):
  704.       Neuron@hplabs.hp.com (formerly neuron%csl.ti.com@relay.cs.net)
  705.  
  706.       All requests to be added to or deleted from this list, problems,
  707.       questions, etc., should be sent to neuron-request@HPLABS.HP.COM.
  708.  
  709.       Neuron Digest archives are kept in the OSU Neuroprose collection
  710.       and in hplpm.hlp.hp.com:/pub/Neuron-Digest
  711.  
  712.    Users of the Rochester Connectionist Simulator:
  713.       simulator-users@cs.rochester.edu
  714.       simulator-bugs@cs.rochester.edu
  715.  
  716.       All requests to be added to or deleted from this list, problems,
  717.       questions, etc., should be sent to simulator-request@cs.rochester.edu.
  718.  
  719.       The simulator is available in cs.rochester.edu:/pub/simulator
  720.  
  721. Expert Systems in Agriculture:
  722.    ag-exp-l%ndsuvm1.bitnet@cunyvm.cuny.edu        
  723.  
  724.    To subscribe to ag-exp-l you should send a message to the internet address
  725.         listserv%ndsuvm1.bitnet@cunyvm.cuny.edu        
  726.    The body of the message should consist of:
  727.         subscribe AG-EXP-L <your full name>
  728.  
  729.  
  730. Use of computers in the Fine Arts:
  731.    fineart%ecs.umass.edu@relay.cs.net
  732.  
  733.    The FINEART Forum is dedicated to International collaboration between
  734.    artists and scientists.  It is subsidized by the International Society for
  735.    the Arts, Science, and Technology (ISAST), 2020 Milvia, Berkeley, CA 94704.
  736.  
  737.    The purpose of this bulletin board is to disseminate information regarding
  738.    the use of computers in the Fine Arts. One of the general areas of
  739.    interest is Art & AI.
  740.  
  741.  
  742. Genetic Algorithms:
  743.  
  744.     GA-List@AIC.NRL.NAVY.MIL
  745.  
  746.     Send subscription requests to the -request form of the list 
  747.     or to gref@aic.nrl.navy.mil.
  748.  
  749.  
  750. Logic Programming, Prolog:
  751.  
  752.    Prolog and Logic Programming:
  753.       prolog@sushi.stanford.edu (general)
  754.       prolog-hackers@sushi.stanford.edu (nitty gritty)
  755.  
  756.       All requests to be added to or deleted from this list, problems,
  757.       questions, etc., should be sent to prolog-request@sushi.stanford.edu
  758.  
  759.    Concurrent Logic Programming:
  760.       clp.x@xerox.com
  761.  
  762.       All requests to be added to or deleted from this list, problems,
  763.       questions, etc., should be sent to clp-request.x@xerox.com or to
  764.       Jacob Levy <jlevy.pa@xerox.com>.
  765.  
  766.  
  767. Machine Learning:
  768.  
  769.    ml@ics.uci.edu
  770.  
  771.    The Machine Learning List is moderated.  Contributions should be
  772.    relevant to the scientific study of machine learning. Mail requests
  773.    to be added or deleted to ml-request@ics.uci.edu.  
  774.  
  775.    Back issues may be FTP'd from ics.uci.edu in pub/ml-list/V<X>/<N> or
  776.    N.Z where X and N are the volume and number of the issue; ID:
  777.    anonymous PASSWORD: <your mail address>
  778.  
  779.  
  780. Natural Language Processing:
  781.  
  782.    Information Retrieval:
  783.       irlist <ir-l%uccvma.bitnet@vm1.nodak.edu>
  784.  
  785.       To subscribe send the following command to LISTSERV@UCCVMA.BITNET:
  786.      SUB IR-L your_full_name
  787.       where "your_full_name" is your real name, not your login Id.
  788.       Non-BitNet users can join by sending the above command as the only
  789.       line in the text/body of a message to
  790.       LISTSERV%UCCVMA.BITNET@VM1.NODAK.EDU. 
  791.  
  792.       Moderator: IRLUR%UCCMVSA.BITNET@VM1.NODAK.EDU
  793.  
  794.    Natural Language and Knowledge Representation (moderated):
  795.       nl-kr@cs.rpi.edu (formerly nl-kr@cs.rochester.edu)
  796.       Gatewayed to the newsgroup comp.ai.nlang-know-rep.
  797.  
  798.       BITNET subscribers: we now have a LISTSERVer for nl-kr.
  799.     You may send submissions to NL-KR@RPIECS
  800.     and any listserv-style administrative requests to LISTSERV@RPIECS.
  801.  
  802.       Back issues are available from host archive.cs.rpi.edu [128.213.10.18]
  803.       in the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests
  804.       will not be promptly satisfied.  If you can't reach `cs.rpi.edu' you
  805.       may want to use `turing.cs.rpi.edu' instead.
  806.  
  807.       All requests to be added to or deleted from this list, problems,
  808.       questions, etc., should be sent to nl-kr-request@cs.rpi.edu.
  809.  
  810.    Natural Language Generation:
  811.       siggen@cs.rpi.edu
  812.  
  813.    Speech production and perception:
  814.       foNETiks <r34334%uqam.bitnet@cunyvm.cuny.edu>
  815.  
  816.       Focus is on speech production, speech perception, speech disorders,
  817.       automatic speech recognition and speech synthesis.  
  818.  
  819.       All requests to be added to or deleted from this list, problems,
  820.       questions, etc., should be sent to the coordinator, 
  821.       Eric Keller <r34334%UQAM.BITNET@CUNYVM.CUNY.EDU>.
  822.  
  823.    Speech Interfaces:
  824.  
  825.       Electronic Communal Temporal Lobe (or ECTL) is a moderated mailing list
  826.       for speech interface enthusiats. To subscribe, send a message with your
  827.       name, institution, department, daytime phone and an email address to
  828.       ectl-request@snowhite.cis.uoguelph.ca. If you have trouble with this mail
  829.       address, call David Leip at (519) 824-4120 ext.3709.
  830.  
  831.    Translation and Interpretation of Natural Language:
  832.       lantra-l%finhutc.bitnet@cunyvm.cuny.edu
  833.  
  834.       To add or remove yourself from the list, send a message to
  835.       listserv%finhutc.bitnet@cunyvm.cuny.edu.  The Sender of the message
  836.       you send must be the name (E-mail address) you want to add or remove
  837.       from the list.  The text body of the message should be:
  838.      SUBSCRIBE LANTRA-L your_full_name
  839.       or:
  840.      SIGNOFF LANTRA-L
  841.       where your_full_name is your normal name, not your E-mail address.
  842.  
  843.  
  844. Neural Networks:
  845.    See Connectionism.
  846.  
  847.  
  848. Simulation:
  849.    simulation@ufl.edu
  850.    Gatewayed to the newsgroup comp.simulation.
  851.  
  852.    All requests to be added to or deleted from this list, problems, questions,
  853.    etc., should be sent to simulation-request@ufl.edu.
  854.  
  855.  
  856. Symbolic Math:
  857.    Symbolic Math <leff%smu.uucp@UUNET.UU.NET>
  858.    Gatewayed to the newsgroup sci.math.symbolic.
  859.  
  860.    Mailing list covering symbolic math algorithms, applications and problems
  861.    relating to the various symbolic math languages.
  862.  
  863.    Mail to be forwarded to the list should be sent to
  864.    leff%smu.uucp@uunet.uu.net (ARPANET/MilNet) or sci.math.symbolic (USENET).
  865.    Requests to be included on the list should be sent to
  866.    leff%smu.uucp@uunet.uu.net.
  867.  
  868.  
  869. AI Vision Research:
  870.  
  871.    vision-list@ads.com
  872.    All requests to be added to or deleted from this list, problems, questions,
  873.    etc., should be sent to vision-list-request@ads.com.
  874.  
  875.    cvnet%yorkvm1.bitnet@cunyvm.cuny.edu        
  876.    Color and vision research.
  877.  
  878. ----------------------------------------------------------------
  879. Subject: [4] FTP and Other Resources
  880.  
  881. See the Lisp FAQ for Lisp-related software.
  882.  
  883.    Ada Repository:
  884.  
  885.       The Ada Repository on wsmr-simtel20.army.mil (mailing list
  886.       ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  887.       PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  888.       available as wuarchive.wustl.edu:/mirrors/ada/ai.
  889.  
  890.    ICOT:
  891.  
  892.       Japan's Institute for New Generation Computer Technology (ICOT) has
  893.       made their software available to the public free of charge.  The
  894.       collection includes a variety of prolog-based programs in symbol
  895.       processing, knowledge representation, reasoning and problem solving,
  896.       natural language processing. All programs are available by anonymous
  897.       ftp from ftp.icot.or.jp.  For further information, send email to
  898.       ifs@icot.or.jp, or write to ICOT Free Software Desk, Institute for New
  899.       Generation Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28,
  900.       Mita 1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-3456-1618.
  901.  
  902.    NL Software Registry:
  903.  
  904.       The Natural Language Software Registry is a catalogue of software
  905.       implementing core natural language processing techniques, whether
  906.       available on a commercial or noncommercial basis. Some of the topics
  907.       listed include speech signal processing, morphological analysis,
  908.       parsers, and knowledge representation systems. The catalogue is
  909.       available by anonymous ftp to tira.uchicago.edu (IP 128.135.96.31), by
  910.       email to registry@tira.uchicago.edu, and by physical mail to NL
  911.       Software Registry, Center for Information and Language Studies, 1100
  912.       East 57th Street, Chicago, IL 60637.
  913.  
  914.    Prolog Repository:
  915.  
  916.       Established by Jocelyn Paine in 1987. Contributions and queries may be
  917.       sent to popx%vax.ox.ac.uk@oxmail.ox.ac.uk.
  918.  
  919.    UC/Irvine AI Repository:
  920.  
  921.       ics.uci.edu has a variety of AI-related materials, with a special
  922.       focus on machine learning. The directory /pub/machine-learning-databases
  923.       contains benchmark databases for classifier systems.
  924.  
  925.    UCLA Artificial Life Depository:
  926.  
  927.       ftp.cognet.ucla.edu (128.97.50.19):~ftp/pub/alife
  928.  
  929.       Repository of papers, articles, tech reports, software and other items of
  930.       interest to Artificial Life researchers. It includes an archive of
  931.       past postings to the alife mailing list, alife@cognet.ucla.edu (send
  932.       mail to alife-request@cognet.ucla.edu to be added to the list).
  933.  
  934.       (Other artificial life information is available from santafe.edu
  935.        in the directory pub/Artificial-Life-III.)
  936.  
  937.    Stanford University (SUMEX-AIM):
  938.       aim.stanford.edu:/pub/ai{1,2,3}.bib
  939.          Large BibTeX bibliography of Artificial Intelligence papers and 
  940.      technical reports.
  941.  
  942.    University of Toronto:
  943.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  944.  
  945.       Archives of ailist mailing list, defunct as of January 19, 1990
  946.  
  947.    OSU Neuroprose:
  948.       archive.cis.ohio-state.edu:/pub/neuroprose    (128.146.8.52)
  949.  
  950.       This directory contains technical reports as a public service to the
  951.       connectionist and neural network scientific community which has an
  952.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  953.  
  954. Other AI-related systems, some of which are available free by anonymous
  955. ftp and others for a nominal fee, include:
  956.  
  957.       CLIPS is an OPS-like forward chaining production system written in ANSI C
  958.       by NASA. The CLIPS inference engine includes truth maintenance, dynamic
  959.       rule addition, and customizable conflict resolution strategies. CLIPS,
  960.       including the runtime version, is easily embeddable in other
  961.       applications. CLIPS runs on IBM PC compatibles, Macintosh, VAX 11/780,
  962.       Sun 3/260, and HP9000/500.  CLIPS is available from COSMIC at a nominal
  963.       fee for unlimited copies with no royalties.  For more information, email
  964.       service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia, 382
  965.       East Broad Street, Athens, GA 30602, call 404-542-3265, or fax
  966.       404-542-4807. To subscribe to the CLIPS mailing list, send a message to
  967.       the list server listserv@cossack.cosmic.uga.edu (128.192.14.4) with
  968.       message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
  969.       containing information regarding CLIPS can be reached 24 hours a day at
  970.       713-280-3896 or 713-280-3892. Communications information is 300, 1200, or
  971.       2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS help desk
  972.       phone number is 713-280-2233 and email address is
  973.       stbprod@krakatoa.jsc.nasa.gov. 
  974.  
  975.       Tierra is an artificial life system for studying the evolution of digital
  976.       organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
  977.       is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
  978.       life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
  979.       doc/, and tierra/.  To be added to either the tierra-announce (official
  980.       announcements only) or tierra-digest (moderated discussion plus
  981.       announcements) mailing lists, send mail to
  982.       tierra-request@life.slhs.udel.edu. Send bug reports to
  983.       tierra-bug@life.slhs.udel.edu.
  984.  
  985.       Aspirin/MIGRAINES is a neural network simulator available free from the
  986.       MITRE Corporation. It contains a neural network simulation code generator
  987.       which generates high performance C code implementations for
  988.       backpropagation networks. It runs on the following platforms: Apollo,
  989.       Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  990.       NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  991.       Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  992.       i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  993.       anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  994.       (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  995.       cd to this directory in one atomic operation) and UCLA's cognitive
  996.       science collection on ftp.cognet.ucla.edu (128.97.50.3) in the
  997.       directory alexis as the file am5.tar.Z. For more information, contact
  998.       Russell Leighton <leighton@mitre.org>.
  999.  
  1000.       CLP(R) is a constraint logic programming language with real-arithmetic
  1001.       constraints.  The implementation contains a built-in constraint solver
  1002.       which deals with linear arithmetic and contains a mechanism for delaying
  1003.       nonlinear constraints until they become linear.  Since CLP(R) subsumes
  1004.       PROLOG, the system is also usable as a general-purpose logic programming
  1005.       language.  It icnludes facilities for meta-programming with constraints.
  1006.       The system consists of a compiler, byte-code emulator, and constraint
  1007.       solver. CLP(R) is written entirely in C and runs on Suns, Vaxen,
  1008.       MIPS-based machines (Decstations, Silicon Graphics), IBM RS6000s and
  1009.       PS2s.  It is available free from IBM for academic and research purposes
  1010.       only. For more information, write to Joxan Jaffar, H1-D48, IBM Thomas J.
  1011.       Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598, or send
  1012.       email to joxan@watson.ibm.com or joxan@yktvmh.bitnet.
  1013.  
  1014.       The Link Parser is a highly efficient English parser written by Danny
  1015.       Sleator and Davy Temperley. It uses a novel grammatical formalism known
  1016.       as Link Grammar to represent a robust and diverse collection of
  1017.       English-language phenomena. The system is available by anonymous ftp from
  1018.       spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
  1019.       README file for more information.
  1020.  
  1021.       Adaptive Logic Network (ALN)
  1022.       Available by anonymous ftp from menaik.cs.ualberta.ca (129.128.4.241)
  1023.       in pub/atree2.tar.Z. pub/atree2.zip is the MS-Windows/IBM PC version.
  1024.       Documentation is in pub/atree2.ps.Z.  
  1025.  
  1026.       PC-KIMMO
  1027.       An implementation of KIMMO morphological analyzer for the IBM PC.
  1028.       msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  1029.  
  1030.       BPS
  1031.       Neural network simulator. Other files of interest. Executables are
  1032.       free; source code for a small fee.
  1033.       gmuvax2.gmu.edu:/pub/nn
  1034.  
  1035.       CONDELA
  1036.       A neural network definition language.
  1037.       tut.cis.ohio-state.edu:/pub/condela
  1038.  
  1039. The Artificial Intelligence CD-ROM (Volume One, 1992) is being produced
  1040. by Network Cybernetics Corporation. The AI CD-ROM will contain a variety
  1041. of public domain, shareware, and other software of special interest to
  1042. the AI community. The disk will contain source code, executable programs,
  1043. demonstration versions of commercial programs, tutorials and other files
  1044. for a variety of operating systems.  Among the supported operating
  1045. systems are MS-DOS, OS/2, Mac, Amiga, and Unix.  The CD-ROM itself will
  1046. be an ISO-9660 format disk usable on any computer system.  The final
  1047. pricing for the CD-ROM has not been set but will be less than $100
  1048. retail.  The CD-ROM is scheduled to go into replication in mid to late
  1049. July and should be available in August. Among the items included are
  1050. CLIPS v5.1 and NETS, courtesy of COSMIC, the collected source code from
  1051. AIExpert magazine from the premier issue in June of 1986 to the present,
  1052. and complete transcriptions of the first annual Loebner Prize
  1053. competition, which took place at the Boston Computer Museum. It also
  1054. includes examples many different kinds of neural networks, genetic
  1055. algorithms, artificial life simulators, natural language software, public
  1056. domain and shareware compilers for a wide range of languages such as
  1057. Lisp, Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL, and many
  1058. others. For more information, write to Network Cybernetics Corporation,
  1059. 2821 Vassar Drive, Irving, TX 75062, or send email to
  1060. aicdrom@ocitor.fidonet.org or steve.rainwater@ocitor.fidonet.org (Steve
  1061. Rainwater).
  1062.  
  1063. ----------------------------------------------------------------
  1064. Subject: [5] Technical Reports available by FTP
  1065.  
  1066. This section lists the anonymous ftp sites for technical reports from
  1067. several universities and other organizations. Some of the sites
  1068. provide only an online catalog of technical reports, while the rest
  1069. make the actual reports available online. The email address listed is
  1070. that of the appropriate person to contact with questions about
  1071. ordering technical reports. 
  1072.  
  1073. When ftping compressed .Z files, remember to set the transfer type to
  1074. binary first, using the command
  1075.     ftp> binary
  1076.  
  1077. Another general location for technical reports from several
  1078. universities is available as wuarchive.wustl.edu:/doc/techreports/.
  1079.  
  1080. The Computer Science Department at the University of Saarbruecken, Germany,
  1081. maintains a large bibliographic database of articles pertaining to the
  1082. field of Artificial Intelligence. Currently the database contains more
  1083. than 25,000 references, which can be retrieved by electronic mail from
  1084. the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
  1085. subject line "lidosearch help info" to get instructions on using the
  1086. mail server. A variety of queries based on author names, title and
  1087. year of publication are possible. The references can be provided in
  1088. BibTeX or Refer formats. The entire bibliographic database can be
  1089. obtained for a fee by ftp or on tape. Questions may be directed to
  1090. bib-1@cs.uni-sb.de.
  1091.  
  1092. For information on a fairly complete bibliography of computational
  1093. linguistics and natural language processing work from the 1980s, send
  1094. mail to clbib@csli.stanford.edu with the subject HELP. 
  1095.  
  1096. The newsgroup comp.doc.techreports is devoted to distributing lists of
  1097. tech reports and their abstracts.
  1098.  
  1099.    MIT Artificial Intelligence Laboratory:
  1100.       ftp   -- ftp.ai.mit.edu:pub/publications/
  1101.       email -- publications@ai.mit.edu
  1102.  
  1103.       A full catalog of MIT AI Lab technical reports (and a listing of recent
  1104.       updates) may be obtained from the above location, by writing to
  1105.       Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
  1106.       545 Technology Square, Cambridge, MA 02139, USA, or by calling
  1107.       1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
  1108.       with a short abstract and their current prices. There is also a charge
  1109.       for shipping.
  1110.  
  1111.       The only technical report currently available online is Sandiway
  1112.       Fong's 1991 PhD thesis, ``The Computational Properties of
  1113.       Principle-Based Grammatical Theories,'' which may be found in the
  1114.       directory pub/sandiway/.
  1115.  
  1116.    CMU School of Computer Science:
  1117.       ftp   -- reports.adm.cs.cmu.edu
  1118.       email -- Technical.Reports@cs.cmu.edu
  1119.  
  1120.    CMU Software Engineering Institute:
  1121.       ftp   --  ftp.sei.cmu.edu:/pub/documents
  1122.       email --  bjz@sei.cmu.edu
  1123.  
  1124.    Yale: 
  1125.       ftp   --  dept.cs.yale.edu:/pub/TR/
  1126.  
  1127.    University of Washington CSE Tech Reports:
  1128.       ftp   --  june.cs.washington.edu:/tr  
  1129.       email --  tr-request@cs.washington.edu
  1130.  
  1131.    ================
  1132.  
  1133.    AT&T Bell Laboratories:
  1134.       ftp   -- research.att.com:/netlib/research/cstr
  1135.  
  1136.       bib.Z contains short bibliography, including all the technical
  1137.       reports contained in this directory.
  1138.  
  1139.    Boston University:
  1140.       ftp   --  cs.bu.edu:techreports/
  1141.       email --  techreports@cs.bu.edu
  1142.  
  1143.    Brown University:
  1144.       ftp   --  wilma.cs.brown.edu:techreports/
  1145.       email --     techreports@cs.brown.edu
  1146.  
  1147.    Columbia University:
  1148.       ftp   --  cs.columbia.edu:/pub/reports
  1149.       email --  tech-reports@cs.columbia.edu
  1150.  
  1151.    DEC Cambridge Research Lab:
  1152.       ftp   --  crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}
  1153.  
  1154.    DFKI:
  1155.       ftp   -- duck.dfki.uni-sb.de:/pub/papers
  1156.       email -- Martin Henz (henz@dfki.uni-sb.de)
  1157.  
  1158.    Duke University:
  1159.       ftp   --  cs.duke.edu:/dist/{papers,theses}
  1160.       email --  techreport@cs.duke.edu
  1161.  
  1162.    Edinburgh:
  1163.       A list of available reports can be sent via email. Send requests
  1164.       for information about reports from the Center for Cognitive Science 
  1165.       to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
  1166.       Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk.  
  1167.  
  1168.    Georgia Tech College of Computing, AI Group:
  1169.       ftp   -- ftp.cc.gatech.edu:pub/ai (130.207.3.245) 
  1170.       email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>
  1171.  
  1172.    Illinois:
  1173.       email -- Erna Amerman <erna@uiuc.edu>
  1174.  
  1175.    Institute for Learning Sciences at Northwestern University:
  1176.       ftp   --  ftp.ils.nwu.edu:/pub/papers/
  1177.  
  1178.    New York University (NYU):
  1179.       ftp   --  cs.nyu.edu:/pub/tech-reports
  1180.  
  1181.    OGI:
  1182.       ftp   --  cse.ogi.edu:/pub/tech-reports
  1183.       email --  csedept@cse.ogi.edu
  1184.  
  1185.    OSU Neuroprose:
  1186.       ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)
  1187.  
  1188.       This directory contains technical reports as a public service to the
  1189.       connectionist and neural network scientific community which has an
  1190.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  1191.  
  1192.    SUNY at Stony Brook:
  1193.       ftp   -- sbcs.sunysb.edu:/pub/TechReports
  1194.       email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  1195.  
  1196.       The /pub/sunysb directory contains the SB-Prolog implementation
  1197.       of the Prolog language. Contact warren@sbcs.sunysb.edu for more
  1198.       information.
  1199.  
  1200.    Thinking Machines:
  1201.       ftp   -- ftp.think.com:think/techreport.list
  1202.  
  1203.       This file contains a list of Thinking Machines technical reports.
  1204.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  1205.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  1206.       First Street, Cambridge, MA 01241. In addition, the directories
  1207.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  1208.       simulators. 
  1209.  
  1210.    University of Arizona:
  1211.       ftp   -- cs.arizona.edu:reports/
  1212.       email -- tr_libr@cs.arizona.edu
  1213.  
  1214.       The directory /japan/kahaner.reports contains reports on AI in
  1215.       Japan, among other things.
  1216.  
  1217.    University of California/Santa Cruz:
  1218.       ftp   -- ftp.cse.ucsc.edu:/pub/{bib,tr}
  1219.       email -- jean@cs.ucsc.edu
  1220.  
  1221.    University of Colorado:
  1222.       ftp   --  ftp.cs.colorado.edu:/pub/cs/techreports
  1223.  
  1224.    University of Florida:
  1225.       ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  1226.  
  1227.    University of Illinois at Urbana:
  1228.       ftp   -- a.cs.uiuc.edu:/pub/dcs
  1229.       email -- erna@a.cs.uiuc.edu
  1230.  
  1231.    University of Indiana, Center for Research on Concepts and Cognition:
  1232.       ftp   --  cogsci.indiana.edu:pub/
  1233.       email --  helga@cogsci.indiana.edu
  1234.  
  1235.    University of Massachusetts at Amherst:
  1236.       email --  techrept@cs.umass.edu
  1237.  
  1238.    University of Michigan:
  1239.       ftp   -- z.eecs.umich.edu:/techreports
  1240.     
  1241.    University of North Carolina:
  1242.       ftp   -- ftp.cs.unc.edu:/pub/technical-reports/
  1243.  
  1244.    University of Pennsylvania:
  1245.       email -- publications@upenn.edu
  1246.  
  1247.    USC/Information Sciences Institute:
  1248.       email -- Sheila Coyazo <scoyazo@isi.edu> is the contact.
  1249.  
  1250.    University of Toronto:
  1251.       ftp   -- ftp.cs.toronto.edu:/pub/reports
  1252.       email -- tech-reports@cs.toronto.edu
  1253.  
  1254.    University of Virginia:
  1255.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  1256.  
  1257.    University of Wisconsin:
  1258.       ftp   -- ftp.cs.wisc.edu:/tech-reports
  1259.       email -- tech-reports-archive@cs.wisc.edu
  1260.  
  1261. ----------------------------------------------------------------
  1262. Subject: [6]  What are the rules for the game of "Life"?
  1263.  
  1264. Cellular Automata, of which Life is an example, were suggested by
  1265. Stanislaw Ulam in the 1940s, and first formalized by von Neumann.
  1266. Conway's "Game of Life" was popularized in Martin Gardner's
  1267. mathematical games column in the October 1970 and February 1971 issues
  1268. of Scientific American.  (Shorter notes on life are alse given in the
  1269. column in each month from October 1970 to April 1971, and well as
  1270. November 1971, January 1972, and December 1972.)
  1271.  
  1272. The rules for the game of life are quite simple. The game board is a
  1273. rectangular cell array, with each cell either empty or filled. At each
  1274. tick of the clock, we generate the next generation by the following rules:
  1275.  
  1276.     if a cell is empty, fill it if 3 of its neighbors are filled
  1277.     (otherwise leave it empty)
  1278.  
  1279.     if a cell is filled, it
  1280.         dies of loneliness if it has 1 or fewer neighbors
  1281.         continues to live if it has 2 or 3 neighbors
  1282.         dies of overcrowding if it has more than 3 neighbors
  1283.  
  1284. Neighbors include the cells on the diagonals. Some implementations use
  1285. a torus-based array (edges joined top-to-bottom and left-to-right) for
  1286. computing neighbors. 
  1287.  
  1288. For example, a row of 3 filled cells will become a column of 3 filled
  1289. cells in the next generation. The R pentomino is an interesting
  1290. pattern: 
  1291.       xx
  1292.      xx
  1293.       x
  1294. Try it with other patterns of 5 cells initially occupied. If you
  1295. record the ages of cells, and map the ages to colors, you can get a
  1296. variety of beautiful images.
  1297.  
  1298. When implementing Life, be sure to maintain separate arrays for the
  1299. old and new generation. Updating the array in place will not work
  1300. correctly. 
  1301. ----------------------------------------------------------------
  1302. Subject: [7]  What AI competitions exist?
  1303.  
  1304. The Loebner Prize, based on a fund of over $100,000 established by New
  1305. York businessman Hugh G. Loebner, is awarded annually for the computer
  1306. program that best emulates natural human behavior. During the
  1307. contest, a panel of independent judges attempts to determine whether
  1308. the responses on a computer terminal are being produced by a computer
  1309. or a person, along the lines of the Turing Test. The designers of the
  1310. best program each year win a cash award and a medal. If a program
  1311. passes the test in all its particulars, then the entire fund will be
  1312. paid to the program's designer and the fund abolished. For further
  1313. information about the Loebner Prize, write Dr. Robert Epstein,
  1314. Executive Director, Cambridge Center for Behavioral Studies, 11
  1315. Waterhouse Street, Cambridge, MA 02138, or call 617-491-9020.
  1316.  
  1317. ----------------------------------------------------------------
  1318. Subject: [8]  Where can I get a machine readable dictionary, thesaurus, and
  1319.               other text corpora?
  1320.  
  1321. Free:
  1322.  
  1323.    The Open Book Initiative maintains a text repository on world.std.com
  1324.    (a public access UNIX system, 617-739-WRLD). For more information,
  1325.    send email to obi@world.std.com, write to Software Tool & Die, 1330
  1326.    Beacon Street, Brookline, MA 02146, or call 617-739-0202.
  1327.  
  1328.    The CHILDES project at Carnegie Mellon University has a lot of data of
  1329.    children speaking to adults, as well as the adult written and adult
  1330.    spoken corpora from the CORNELL project.  Contact Brian MacWhinney
  1331.    <brian@andrew.cmu.edu> for more information.
  1332.  
  1333.    The Association for Computational Linguistics (ACL) has a Data
  1334.    Collection Initiative. For more information, contact Donald Walker at
  1335.    Bellcore, walker@flash.bellcore.com.
  1336.  
  1337.    Two lists of common female first names (4967 names) and male first
  1338.    names (2924 names) are available for anonymous ftp from ftp.cs.cmu.edu
  1339.    in the directory /afs/cs.cmu.edu/user/mkant/Public/Corpii/Names/. Read
  1340.    the file README first. [Note that you must cd to this directory in one
  1341.    atomic operation, as superior directories are protected during an
  1342.    anonymous ftp.] Send mail to mkant@cs.cmu.edu for more information.
  1343.  
  1344. Commercial:
  1345.  
  1346.    Illumind publishes the Moby Thesaurus (25,000 roots/1.2 million
  1347.    synonyms), Moby Words (560,000 entries), Moby Hyphenator (155,000
  1348.    entries), and the Moby Part-of-Speech (214,000 entries) and Moby
  1349.    Pronunciator (167,000 entries) lexical databases. All databases are
  1350.    supplied in pure ASCII, royalty-free, in both Macintosh and MS-DOS
  1351.    disk formats (also in .Z file formats). Both commercial (to resell
  1352.    derived structures as part of commercial applications) and
  1353.    educational/research licenses are available. For more information,
  1354.    write to Illumind, Grady Ward, compiler, 571 Belden Street, Suite A,
  1355.    Monterey, CA 93940, call 408-373-1491, or send email to grady@btr.com.
  1356.  
  1357.    The Oxford Text Archive has hundreds of online texts in a wide variety
  1358.    of languages, including a few dictionaries (the OED, Collins, etc.).
  1359.    The Lancaster-Oslo-Bergen (LOB), Brown, and London-Lund corpii are also
  1360.    available from them.  For more information, write to Oxford Electronic
  1361.    Publishing, Oxford University Press, 200 Madison Avenue, New York, NY
  1362.    10016, call 212-889-0206, or send mail to archive@vax.oxford.ac.uk.
  1363.    (Their contact information in England is Oxford Text Archive, Oxford
  1364.    University Computing Service, 13 Banbury Road, Oxford OX2 6NN, UK, +44
  1365.    (865) 273238.)
  1366.  
  1367. ----------------------------------------------------------------
  1368. Subject: [9]  List of Prolog and Smalltalk implementations.
  1369.  
  1370. The following list of free Prolog implementations excludes those listed
  1371. in the comp.lang.lisp FAQ (i.e., Prolog interpreters written in Lisp).
  1372.  
  1373.    Open Prolog     
  1374.    nexus.yorku.ca:/pub/prolog/ (Macintosh)
  1375.  
  1376.    PD Prolog 19    
  1377.    wuarchive.wustl.edu:/mirrors/msdos/prolog/ (IBM PC)
  1378.  
  1379.    ROLOG           
  1380.    cs.uiuc.edu:/pub/ROLOG
  1381.    Parallel PROLOG compiler with a reduce-OR process model.
  1382.  
  1383.    SB-Prolog       
  1384.    cs.arizona.edu:/sbprolog
  1385.    sbcs.sunysb.edu:/pub/sbprolog
  1386.    Runs on Sun4, Pyramid-98x, DEC3100, SGI Iris, Amiga, and MS-DOS machines.
  1387.    Send email to warren@sbcs.sunysb.edu if questions.  SB-Hilog runs in
  1388.    SB-Prolog and Quintus Prolog and is available on
  1389.    sbcs.sunysb.edu:/pub/hilog/
  1390.  
  1391.    XWIP            
  1392.    export.lcs.mit.edu:/contrib/xwip.tar.Z 
  1393.    X Window interface for PROLOG.
  1394.  
  1395.  
  1396. Smalltalk implementations:
  1397.  
  1398.    Little Smalltalk -- Tim Budd's version of Smalltalk
  1399.    cs.orst.edu: /pub/budd/small.v3.tar
  1400.  
  1401.    GNU Smalltalk
  1402.    prep.ai.mit.edu:/pub/gnu/smalltalk-1.1.1.tar.Z  
  1403.  
  1404. ----------------------------------------------------------------
  1405. ;;; *EOF*
  1406.