Aucbvax.6030
fa.arpa-bboard
utzoo!decvax!ucbvax!WALKER@SRI-AI
Tue Feb  2 00:22:57 1982
ACL 1982 CALL FOR PAPERS
From: Don Walker <WALKER AT SRI-AI>
****************************PLEASE POST**************************************

       CALL FOR PAPERS -- ASSOCIATION FOR COMPUTATIONAL LINGUISTICS

The 20th annual meeting of the Association for Computational Linguistics will
be held 16-18 June 1982, at the University of Toronto, Toronto, Ontario,
Canada.

Papers for the meeting are solicited on linguistically and computationally
significant topics, including but not limited to the following:

 o  Syntax, parsing, and language generation.

 o  Computational semantics, including logic, reference, anaphora, and
    metaphor.

 o  Discourse analysis and speech acts.

 o  Representation of knowledge, deduction, and planning as related
    to language understanding or production.

 o  Speech analysis and synthesis.

 o  Machine translation, machine-aided translation, and automated
    dictionaries.

 o  Mathematical and theoretical foundations of computational linguistics.

 o  Linguistic theories and their computational applications.

 o  Software tools for computational linguistics.

An author wishing to present a paper should submit six copies of a five to
eight page summary, double spaced, by 1 February 1982 to: Madeleine Bates,
Bolt Beranek and Newman Inc., 10 Moulton Street, Cambridge, Massachusetts,
02238, USA [phone: (617)497-3634; ARPANET: bates@bbnd].

It is important that the summary identify the new ideas and clearly
indicate to what extent the work is complete and to what extent it has been
implemented.  It should contain sufficient information to allow the
program committee to determine the scope of the work and its relation
to relevant literature.

All submissions will be read by the program committee: Madeleine Bates,
Bolt Beranek and Newman, Chair; Jonathan Allen, MIT; Robert Berwick, MIT;
Barbara Grosz, SRI International; Chris Riesbeck, Yale; Stuart Shapiro,
SUNY Buffalo.

Authors will be notified of the acceptance of their papers by 8 March
1982.  Full length versions of accepted papers received by 19 April
1982 will be included in the Proceedings of the Conference.

Local arrangements are being handled by Ray Perrault, Department of
Computer Science, University of Toronto, Toronto, Canada M5S 1A7 [phone:
(416)284-3194; ARPANET: rperrault@bbna].

For other information regarding the ACL and the annual meeting, contact
Don Walker, Artificial Intelligence Center, SRI International, Menlo Park,
California 94025, USA [phone: (415)859-3071; ARPANET: walker@sri-ai].

****************************PLEASE POST**************************************

-------


Date: 16 Dec 1981 at 0211-CST
From: awd at UTEXAS-11
Subject: Molecular modeling on micros or minis
To: arpanet-bboards at ai
cc: awd


       I am looking for infomation on work other groups hve done
on molecular modeling on small systems. My application involves brain
receptors for morphine and enkephalins. We want to show three space models
on a graphic display of some sort (preferably in color) of the molecules
involved. I am interested in any software that may be available commercially
that is directly applicable, or software that may be in the public domain.
Databases of molecules for use by such systems are also, of course, of great
interest to me.

       -thanks in advance
-------
-------

Date: 14 Dec 1981 0935-PST
From: COHEN at USC-ECL
Subject: Positions available at JPL
To: arpanet-bboards at MIT-AI

                         Jet Propulsion Laboratory
                      Automated Problem Solving Group



JPL has an AI group actively  engaged in building rule-based systems.   Work
is under way in the following research and application areas:

    A planner for automatic action-sequence generation that explicitly models
    time.

    A plausible  inference  system  for  automatic  diagnosis  of  spacecraft
    malfunctions.

We are also initiating research in  modelling command and control systems  and
war-gaming.


A general  purpose planner/scheduler,  called  DEVISER, has  been  implemented
which extends the work of Sacerdoti and  Tate by providing each action with  a
computable duration and a start time "window".  The plans are tailored  around
scheduled external events which  are beyond the control  of the actor.   Goals
may be grouped into "packets". Each packet  may have a window and a  duration,
specifying when and for how long  the goal conditions must hold.  The  primary
application is  a "Spaceworld",  in which  an autonomous  unmanned  spacecraft
photographs objects in deep space and transmits the data to Earth.  The output
of the program is a partially ordered network of activities, which may include
not  only   actions   but  also   scheduled   events,  events   triggered   by
circumstances,and inferences.


Research in plausible  inference at JPL  has resulted in  a generalization  of
previous theories of  evidence, and  includes the  Dempster/Shafer theory.   A
formal computer representation of a  predicate logic system is being  designed
now.  The goal is the implemention of an automatic diagnostic system that will
more closely model human  diagnostic reasoning than  previous AI systems.   It
will do so in several ways; first, by using degrees of certainty and doubt  to
guide search in the  malfunction space; second, by  both forward and  backward
chaining; third, by  dynamic system resetting,  on the basis  of evidence,  of
"relevance" factors that link antecedent  to consequent in implications.   The
method of operation will be "hypothesize  and test"; i.e., form hypotheses  on
possible causes of  observed symptoms,  and test against  observation for  the
consequences of those hypotheses.

We are seeking Ph. D. level computer scientists to work in all of these areas.
Demonstrated experience  in building  problem  solving systems  is  desirable.
This work is being  done in InterLisp on  a PDP-10, but we  hope to move to  a
Lisp-machine environment in the coming year.

If you would like more information on this effort, please contact

       Leonard Friedman
       JPL, Bldg.  278
       4800 Oak Grove Dr.
       Pasadena CA, 91109.
       ARPAnet: FRIEDMAN@USC-ECL

-------


Date: 7 Dec 1981 06:45:02-PST
From: Cory.cc-treas at Berkeley
To: C70:ARPANET-BBOARDS@MIT-AI
Subject: Computer Literacy in Education

       The University of California at Berkeley is preparing its next
five year plan for Computing on the Campus. I am a representative to
the Committee which is in charge of doing it. As part of then new plan,
we are considering the issue of Computer Literacy (i.e. What is it?
How should one implement such a course and/or requirement, if at all?
etc.) and I would like to hear from other educational institutions
concerning how you have done it or avoided doing it. Thank you to all
respondents in advance.

               Erik E. Fair
               Cory:cc-treas@Berkeley
               Representative to the
               Academic Senate Committee On Computing

Date: 4 December 1981 14:03-EST
From: Giuseppe Attardi <BEPPE AT MIT-AI>
Subject:   Call for Papers
To: ARPANET-BBOARDS at MIT-AI

-------------------------------------------------------------------------------
           European Conference on Interactive Computing Systems
                            - ECICS 82 -
-------------------------------------------------------------------------------

When:               September 1-3, 1982
Where:              Stresa, Italy
Sponsors:           ACM Italian Chapter, AICA, AFCET, INRIA, SSI, AISB, BCS, GI
Program Chairman:   Erik Sandewall, Sweden

Papers are invited on all aspects of the design, methods, techniques and
applications of interactive computing systems.

Deadline for submission:        April 1st, 1982
Notification of acceptance:     July 15th, 1982

For the full Call for Papers, see the file "BEPPE; ECICS CALL" on MIT-AI or
send mail to BEPPE@MIT-AI.

Date: 28 Nov 1981 2036-EST
From: SUBRAMANIAN at CMU-20C
Subject: [SUBRAMANIAN at CMU-20C: Info. on Debuggers]
To: arpanet-bboards at MIT-AI
cc: Subramanian at CMU-20C


I am looking for papers/reports  on Debuggers  for Multiprocessor systems,
in particular, the ones for the MultiMicroprocessor systems that have been
built. If you have any pointers  to the relevant  documents, please   send
me mail.
If you have written  application programs to run on Multiprocessor systems
and have used debuggers  provided by those  systems, I would  like to hear
your  comments on their  useful/necessary features ( or the lack of them )
which are  distinct  from Uniprocessor  debuggers. Of  particular interest
is the details on additional hardware (if any) that was incorporated  into
the system to provide those features.
I need the above information quite urgently. Please reply at your earliest
convenience.
                                              Thank you,
                                              Indira Subramanian
                                              (Elec. Engg. Grad)
-------

Date: 20 Nov 1981 1149-PST
From: Digicomp Research Corporation <DGCOM USC-ISIC AT>
Subject: York Modula Compiler
To: arpanet-bboards at MIT-AI

We have need of finding and using the York Modula compiler.  From our
understanding, it only runs on a particular kind of PDP-11.  Is there
anyone out there who can provide information on the compiler, where it
might be found, if it can be had, and where it can be run?  Thanks.

DGCOM@ISIC
-------

Date: 19 Nov 1981 1604-PST
From: Aaai-Office at SUMEX-AIM
Subject: Call for Papers
To:   ARPANET-BBoards at MIT-AI


                          CALL FOR PAPERS
                               for
                              AAAI-82
        The National Conference on Artificial Intelligence
 Sponsored by the American Association for Artificial Intelligence
                      August 18 - 20, 1982 at

                      The University of Pittsburgh and
                      Carnegie-Mellon University
                      Pittsburgh, Pennsylvania
       (With a two-day Tutorial Program, August 16 and 17, 1982.)

                          TOPICS

KNOWLEDGE REPRESENTATION                          THEORETICAL FOUNDATIONS
COGNITIVE MODELING                                VISION
KNOWLEDGE ACQUISITION                             ROBOTICS
PROBLEM SOLVING AND SEARCH                        THEOREM PROVING
PROGRAM SYNTHESIS AND UNDERSTANDING               NATURAL LANGUAGE
A.I. LANGUAGES AND SOFTWARE                       APPLICATIONS SYSTEMS
SPECIALIZED ARCHITECTURES FOR A.I.                GAME PLAYING

To submit a paper:
1.  By April 15, 1982 send four copies of a SHORT PAPER (1,000 to 2,000
words) to:

       David Waltz
       AAAI Program Chairman
       Coordinated Science Laboratory
       University of Illinois
       1101 West Springfield
       Urbana, Illinois 61801
Papers received after April 15, 1982 will be returned unopened.

2.  Carefully choose and clearly indicate at the bottom of the first
page of your paper one and only one of the conference topics above.  Your
paper will be reviewed by referees in that topic area.

3.  In an effort to broaden participation, no more than one paper may
be submitted by any author (including multiple-authored papers).

4.  Authors will be notified by May 15, 1982 of acceptance or rejection.

5.  To allow authors to publish their full papers elsewhere, if desired,
the proceedings will contain revised SHORT PAPERS not to exceed four(4)
model pages in length.  Alternatively, authors of accepted papers may
submit full length papers for publication in the proceedings at a page
charge of $100.00 for each page over four(4).  In either case,
camera-ready copy must be received by June 15, 1982.

-----------------------------------------------------------------
gopher://quux.org/ conversion by John Goerzen <[email protected]>
of http://communication.ucsd.edu/A-News/


This Usenet Oldnews Archive
article may be copied and distributed freely, provided:

1. There is no money collected for the text(s) of the articles.

2. The following notice remains appended to each copy:

The Usenet Oldnews Archive: Compilation Copyright (C) 1981, 1996
Bruce Jones, Henry Spencer, David Wiseman.