Subject: AIList Digest V5 #151

From: [email-masked]@vtcs1
Date: Fri, 19 Jun 87 03:10:33 edt

Date: Wed 17 Jun 1987 23:58-PDT
From: AIList Moderator Kenneth Laws <[email-masked]>
Subject: AIList Digest   V5 #151
To: [email-masked]
Reply-to: [email-masked]
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467

AIList Digest           Thursday, 18 Jun 1987     Volume 5 : Issue 151

Today's Topics:
  Seminars - Mechanization of Programmer's Knowledge (MCC) &
    Partial Order Programming (MCC) &
    AI at Vanderbilt & Comparative Induction (NASA Ames) &
    Default Reasoning and Stereotypes in User Modelling (UPenn),
  Conference - Last Call for AAAI-87 Volunteers &
    CADE-9: Automated Deduction &
    Office Knowledge &
    Second Eurographics Workshop on Intelligent CAD Systems

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

Date: Mon 15 Jun 87 14:12:25-CDT
From: Ellie Huck <[email-masked]>
Subject: Seminar - Mechanization of Programmer's Knowledge (MCC)

Please join the AI group for the following speaker:

            ON THE MECHANIZATION OF PROGRAMMER'S KNOWLEDGE

                        Henryk Jan Komorowski
                          Harvard University

                           June 17 - 10:00
                       MCC Balcones Auditorium

What do programmers with experience in writing programs  know  and how
can this knowledge be mechanized so it can be used by a computer? This
talk  presents an informal  overview of the  foundations of mechanical
support  for  software design.  The   goal of the  mechanization is to
provide  an intelligent assistant for the  programmer that can uncover
flaws in the design rather than automatically generate programs.  What
programmer  knows  is  divided   into  knowledge of  data  structures,
recursive schemata, assimilation rules, and the process of designing a
program which is similar to extension  of a theory. A prototype system
now  implemented    provides  salient  advice,  despite    its limited
knowledge-base.

June 17 - 10:00
MCC Balcones Auditorium

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

Date: Mon 15 Jun 87 14:50:06-CDT
From: Ellie Huck <[email-masked]>
Subject: Seminar - Partial Order Programming (MCC)

Please join the AI Group for the following speaker:

                         PARTIAL ORDER PROGRAMMING
                              D. Stott Parker
                      UCLA Computer Science Department

                           June 19 - 10:00
                       MCC Balcones Auditorium

We introduce a declarative programming paradigm that describes
computation with partial orders.  A partial order program corresponds
to a collection of constraints

                            u  >=  C(u)

where >= is a partial order on a domain of `objects' and `values',
u is an object, and C(u) is an object or a value.

Semantics of such a program consist of assignments of values to the
objects u that satisfy the inequalities.  When C is a monotone and
continuous function, fixpoint semantics of the program may be
obtained easily and naturally.

The partial order programming paradigm has interesting properties:

(1)  It generalizes various computational paradigms (logic,
     functional, object-oriented, and others) in a clean way.

(2)  It takes thorough advantage of known results for continuous
     functionals on partial orders, providing a clear semantics
     for the paradigm.

(3)  It presents a framework that may be more generally acceptable
     for dealing with `cognitive' computation problems, including
     natural language processing and knowledge representation.

(4)  It coincides with recent work on relaxation solution of a
     variety of problems including consistent labelling, path
     problems, and linear algebraic systems.

June 19 - 10:00
MCC Balcones Auditorium

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

Date: Tue, 16 Jun 87 15:15:50 PDT
From: [email-masked]
Subject: Seminars - AI at Vanderbilt & Comparative Induction (NASA
         Ames)

                   NASA, Ames Research Center
                   Intelligent Systems Forum

                        TWO SPEAKERS:

                   Dr. Arthur J. Brodersen
                Center for Intelligent Systems
                    Vanderbilt University

         Expert Systems Research at Vanderbilt University

Abstract:
The current research activities at the Center for Intelligent Systems
at Vanderbilt University will be discussed.   The current research
activities include knowledge-based systems for test technologies,
intelligent tutorial systems for simulation tools, training systems,
knowledge retrieval systems, and diagnositic and repair systems.

                        David Hartzband
                 Digital Equipment Corporation
   Chief Scientist, Artificial Intelligence Technology Group
                             and
             Visiting Scholar, Stanford University

         Comparative Induction Methods for Problem Solving and
                       (Some) Learning}

Date:     Thursday, June 18, 1987
Time:     2:00 to 4:30 PM
Location: Bldg. 245, Space Science Auditorium
Inquires: David Jared, (415) 694-6525,  [email-masked]

VISITORS ARE WELCOME: Register and obtain vehicle pass at Ames Visitor
Reception Building (N-253) or the Security Station near Gate 18.  Do not
use the Navy Main Gate.

Non-citizens (except Permanent Residents) must have prior approval from the
Director's Office one week in advance.  Submit requests to the point of
contact indicated above.  Non-citizens must register at the Visitor
Reception Building.  Permanent Residents are required to show Alien
Registration Card at the time of registration.

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

Date: 15 Jun 87 12:15:25 EDT
From: [email-masked]
Subject: Seminar - Default Reasoning and Stereotypes in User
         Modelling (UPenn)

                        SPECIAL SEMINAR

SPEAKER:  Timothy Finin
          Computer and Information Science
          University of Pennsylvania, Philadelphia, PA

WHEN:     Thursday, June 18, 1987, 10:00 am

WHERE:    Doherty Hall 3313

TOPIC:    DEFAULT REASONING AND STEREOTYPES IN USER MODELLING

This talk discusses the application of various kinds of default reasoning in
systems which must maintain a model of its users.  In particular, we
describe a general architecture of a domain independent system for building
and maintaining long term models of individual users. The user modelling
system is intended to provide a well defined set of services for an
application system which is interacting with various users and has a need to
build and maintain models of them.  As the application system interacts with
a user, it can acquire knowledge of him and pass that knowledge on to the
user model maintenance system for incorporation.  We describe a prototype
general user modelling system (hereafter called GUMS1 which we have
implemented in Prolog.  This system satisfies some of the desirable
characteristics we discuss.

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

Date: 16 Jun 87 20:18:07 GMT
From: [email-masked]
Subject: Conference - Last call for AAAI-87 volunteers

Due to some last minute cancellations we have a few
openings for volunteers for AAAI-87.

Please see the original posting below for more information.
If interested, please respond immediately.

ANNOUNCEMENT:
Student Volunteers Needed for
Artificial Intelligence Conference
AAAI-87

AAAI-87 (American Association on Artificial Intelligence) will
be held July 13-17, 1987 in beautiful Seattle, Washington.
Student volunteers are needed to help with local arrangements
and staffing of the conference.  To be eligible for a Volunteer
position, an individual must be an undergraduate or graduate
student in any field at any college or university.

This is an excellent opportunity for students to participate in
the conference.   Volunteers receive FREE registration at AAAI-87,
conference proceedings, "STAFF" T-shirt, and are invited to the
volunteer party. More importantly, by participating as a volunteer,
you become more involved and meet students and researchers with
similar interests.

Volunteer responsibilities are varied, including conference
preparation, registration, staffing of sessions and tutorials
and organizational tasks.  Each volunteer will be assigned
twelve (12) hours.

If you are interested in participating in AAAI-87 as a Student
Volunteer, apply by sending the following information:

Name
Electronic Mail Address
USMail Address
Telephone Number(s)
Dates Available
Student Affiliation
Advisor's Name

to:

[email-masked]

 or

Richard Feifer
UCLA
Center for the Study of Evaluation
145 Moore Hall
Los Angeles, California  90024

Thanks, and I hope you join us this year!

Richard Feifer
Student Volunteer Coordinator
AAAI-87 Staff

- Richard

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

Date: Mon, 15 Jun 87 20:07:49 cdt
From: [email-masked] (Rick L. Stevens)
Subject: Conference - CADE-9: Automated Deduction

                Preliminary Announcement and Call for Papers

         9th International Conference on Automated
                         Deduction

                      May 23-26, 1988

CADE-9 will be held at  Argonne  National  Laboratory  (near
Chicago)  in  celebration  of  the  25th  anniversary of the
discovery of the resolution principle at Argonne in the sum-
mer of 1963.  Papers are invited in the following or related
fields:

Theorem Proving                  Logic Programming
Unification                      Deductive Databases
Term Rewriting                   ATP for Non-Standard Logics
Program Verification             Inference Systems

The Program Committee includes:

Peter Andrews                            Hans-Jorgen Ohlbach
W.W. Bledsoe                             Ross Overbeek
Alan Bundy                               William Pase
Seif Haridi                              Jorg Siekmann
Larry Henschen                           Jim Williams
Jean-Louis Laissez                       Mark Stickel
Dallas Lankford
Ewing Lusk
Michael MacRobbie

Papers should be sent to arrive before November  23rd,  1987
to

        Ewing Lusk and Ross Overbeek, chairmen
        CADE-9
        Mathematics and Computer Science Division
        Argonne National Laboratory
        Argonne, IL 60439

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

Date: Mon, 15 Jun 87 17:17:53 edt
From: [email-masked] (Robert B. Allen)
Subject: Conference - Office Knowledge

            Office Knowledge: Representation, Management and Utilization
                                University of Toronto
                             IFIP WG8.4 Workshop Program

                For information contact: Fred Lochovsky, [email-masked]

                              Monday, August 17th, 1987
          8:00-9:00 Registration
          9:00-9:15 Workshop Opening Remarks
          9:15-10:45 Session: Invited Talk
             Objects and Things.   D. Tsichritzis,  Universite  de  Geneve,
               Switzerland
          11:15-12:45 Session: Supporting Organizational Activities
             Ubik: A System for Conceptual and Organizational  Development.
               P. de Jong, MIT, U.S.A.
             KNOOM - KNowledge  Oriented  Office  Model  Representation  of
               Knowledge  in  the  Office.   M. Hofmann, Universitaet Wien,
               Austria
             OTM: A Language  for  Representing  Concurrent  Office  Tasks.
               J. Hogg, University of Toronto, Canada
          2:00-3:30 Session: Invited Talk
             Representing  Office  Work   with   Goals   and   Constraints.
               W.B. Croft, University of Massachusetts, U.S.A.
          4:00-5:30   Session: Representing,   Querying   and    Generating
                              Office Objects
             Time  Management  in  the  Office-net  System.    R. Maiocchi,
               R. Zicari,   Politecnico   di   Milano,   Italy,  M. Fugini,
               Universita di Brescia, Italy
             Towards  a  Graphic  Query  Interface  for  Complex   Objects.
               G. Lausen, Universitaet Mannheim, West Germany, A. Oberweis,
               Technische Hochschule Darmstadt, West Germany
             Knowledge Representation and Utilization in  Automatic  Office
               Form  Generation.   K. Watabe, K. Tsuruoka, NEC Corporation,
               Japan
          5:30-6:30 Reception
          6:30-7:30 Demonstration
             Meta-Data for Automating the Management of Office Information.
               R.E.A. Mason, A. Benjamin, J.R. Tessier, Online People Inc.,
               Canada
          _________________________________________________________________
                             Tuesday, August 18th, 1987
          9:00-10:30 Session: Invited Talk
             Organizational Semantics.  C. Hewitt, MIT, U.S.A.
          11:00-12:30 Session: Problem Solving
             An   Office   Environment   to   Support   Problem    Solving.
               P.W.G. Bots,   H.G. Sol,  Delft  University  of  Technology,
               Netherlands
             Generic   Knowledge   in   Office   Activities.    A.A. Araya,
               M.J. Stefik, Xerox PARC, U.S.A.
             EXPERTNET: An Approach to Resource Sharing  on  a  Network  of
               Workstations.    A. Allam,  Northern  Telecom  Canada  Ltd.,
               Canada, G.M. White, University of Ottawa, Canada
          2:00-3:30 Session: Text and Pictures
             Semantics and Conceptual Modelling of  Documents.   F. Barbic,
               S. Daneluzzi,    F. Garzotto,    S. Mainetti,    P. Paolini,
               Politecnico di Milano, Italy
             Knowledge-Based Text Processing in  Office  Environments:  The
               Text   Condensation  System  TOPIC.   U. Hahn,  Universitaet
               Passau, West Germany, U. Reimer, Universitaet Konstanz, West
               Germany
             Knowledge  Base  for  Storage  and  Retrieval   of   Pictures.
               B. Beetz, SEL Research Center, West Germany
          4:00-5:30 Session: Poster Session
             Artificial Intelligence and Organizational  Design:  Prospects
               of  Integrating  Two  Perspectives.   U. Frank, Universitaet
               Mannheim, West Germany
             Intermediate  Knowledge  Representation  for  Extended  Office
               Systems.  E.S. Cordingley, University of Surrey, England
             Intelligent  Interfaces  for   Office   Information   Systems.
               B.C. Desai,   Concordia   University,   Canada,  C. Frasson,
               J. Vaucher, Universite de Montreal, Canada
             Managing  Office  Knowledge  through  Conceptual   Structures.
               G. Berg-Cross, Advanced Decision Systems, U.S.A.
             Picture Management on Optical Disks: A Practical  Approach  on
               Micro-computers.   S. Miranda,  N. Le  Thanh,  A.C. Salgado,
               E. Borelli-Vittori, Universite de Nice, France
             Managing    Replicas    in    Distributed    Telephone/Address
               Directories.   H.M. Gladney,  IBM  Almaden  Research Center,
               U.S.A.
          7:30 Banquet
          _________________________________________________________________
                            Wednesday, August 19th, 1987
          9:00-10:30 Session: Invited Talk
             NICK:  Intelligent  Computer   Supported   Cooperative   Work.
               C. Ellis, MCC, U.S.A.
          11:00-12:30 Session: Office Communication
             Solving the Connection  Problem.   M.S. Mazer,  University  of
               Toronto, Canada
             Viewing  Communication  as  a  Problem  Solving  Activity:  An
               Enrichment   Towards  Supporting  Cooperative  Office  Work.
               C.C. Woo, F.H. Lochovsky, University of Toronto, Canada
             CHAOS: A Knowledge-Based System for Conversing Inside Offices.
               F. De    Cindio,    C. Simone,   R. Vassallo,   A. Zanaboni,
               Universita di Milano, Italy
          2:00-3:30 IFIP WG8.4 Business Meeting

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

Date: Mon, 15 Jun 87 17:29:16 +0200
From: [email-masked] (Tetsuo Tomiyama)
Reply-to: [email-masked]
Subject: Conference - Second Eurographics Workshop on Intelligent CAD
         Systems

                         Call For Papers

     SECOND EUROGRAPHICS WORKSHOP ON INTELLIGENT CAD SYSTEMS

                    -Implementational Issues-

               APRIL 12-15, 1988, THE NETHERLANDS

                          Organized by
  CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE (CWI), AMSTERDAM

                          Sponsored by
                          EUROGRAPHICS

AIM AND SCOPE

     This  is  the  second  workshop  of  a   series   of   three
     Eurographics workshops on Intelligent CAD Systems which have
     the following main topics;
          - 1st, 1987: Theoretical and methodological aspects.
          - 2nd, 1988: Implementational issues.
          - 3rd, 1989: Practical experiences and evaluation.
     Since applying knowledge engineering to  CAD  systems  seems
     very  promising  to  solve  the problems of conventional CAD
     systems,  it  has  drawn  attention  from   not   only   CAD
     researchers  but  also  AI  researchers.  The first workshop
     which was held on April 21-24,  1987,  in  the  Netherlands,
     aimed  at discussing the results and problems in this highly
     interesting field.  We have realized that ad hoc  approaches
     will  eventually  result  in  increased  complexity  of  CAD
     applications and that we need a robust theoretical basis for
     development.

     This  second  workshop  in  1988  is  planned   to   discuss
     implementational  issues  and to clarify problems associated
     with developing  intelligent  CAD  systems  based  on  those
     theoretical and methodological considerations.  The scope of
     the workshop includes, but is not limited to;
          1) Role   of  theories  to  implement  intelligent  CAD
             systems.
          2) Implementations  of  theories  for  intelligent  CAD
             systems.
          3) Architecture of intelligent CAD systems.
          4) Techniques and tools to  implement  intelligent  CAD
             systems.
          5) Acquisition and maintenance of design knowledge.
          6) Innovative  and   large-scale   implementations   of
             intelligent CAD systems.
          7) Problems and  future  tasks  in  implementations  of
             intelligent CAD systems.
     We  are  especially  interested  in  reports   telling   how
     theoretical work influenced implementations.

SCHEDULE FOR THE SECOND WORKSHOP

     November 1, 1987: Deadline   for   extended   abstracts  and
                       position papers.
     December 1987: Notification of acceptance for presentation.
     February 1988: Acceptance of participation.
     April 12-15, 1988: Workshop (Full papers are submitted  just
                        before the workshop).
     May 1988: Deadline for final manuscripts for publication.

SERIES SCHEDULE

     Approximately 15 reviewed papers will be presented  in  this
     second  workshop.   Participants will be limited to about 50
     based on invitation.  Intended authors and participants  are
     invited  to  submit  extended  abstracts or position papers.
     The results of  this  series  of  three  workshops  will  be
     published  by Springer-Verlag as Eurographics Seminar Books.
     The report  on  the  first  workshop  held  in  April  1987,
     "Intelligent  CAD  Systems 1: Theoretical and Methodological
     Aspects," will be published in August 1987.

     This series of workshop is being organized under cooperation
     with  IFIP  Working  Group  5.2 Workshops on Intelligent CAD
     Systems but with different scopes.

ORGANIZATION

Co-Chairmen
     P.J.W. ten Hagen (CWI, NL)
     T. Tomiyama (The University of Tokyo, J)
Technical Secretary
     P.J. Veerkamp (CWI, NL)
Workshop Secretary
     E. Both (CWI, NL)
Program Committee
     A.M. Agogino (University of California, Berkeley, USA)
     V. Akman (CWI, NL)
     F. Arbab (University of Southern California, USA)
     P. Bernus (Hungarian Academy of Sciences, H)
     A. Bijl (University of Edinburgh, UK)
     J. Encarnacao (TH Darmstadt, D)
     S.J. Fenves (Carnegie Mellon University, USA)
     D. Gossard (MIT, USA)
     F. Kimura (The University of Tokyo, J)
     T. Kjellberg (Royal Institute of Technology, S)
     G.A. Kramer (Schlumberger Palo Alto Research, USA)
     M. Mac an Airchinnigh (University of Dublin, IRL)
     K. MacCallum (University of Strathclyde, UK)
     S. Murthy (IBM Thomas J. Watson Research, USA)
     F.J. Schramel (Philips, NL)
     D. Sriram (MIT, USA)
     W. Strasser (Universitaet Tuebingen, D)
     T. Takala (Technical University of Helsinki, SF)
     F. Tolman (TNO, NL)

INFORMATION

     Please submit 5 copies of an extended abstract or a position
     paper  up  to  1,000  words  (figures  and references do not
     count) on A4 sheets before November 1, 1987, to: (Submission
     by electric mail is accepted)
          Ms. Elisabeth Both
          Centre for Mathematics and Computer Science
          Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
          Telephone: (overseas) +31-20-592-4171
          (from the Netherlands) 020-592-4171
          Telex: 12571 mactr nl
          Electric Mail: [email-masked] (Internet, Bitnet),
                         ...!mcvax!pauljan (Usenet)

     The extended abstract or position paper should  contain  the
     following information:
        - Name, Address (Postal, Phone, Telex, E-mail), Keywords,
          References.
        - Statements on how you define "design" and  "intelligent
          CAD systems."

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

End of AIList Digest
********************