LAWS@SRI-AI.ARPA (07/30/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI>
AIList Digest Tuesday, 30 Jul 1985 Volume 3 : Issue 101
Today's Topics:
Conferences - Knowledge Engineering/Expert Systems &
2nd ACM Northeast Regional Conference &
3rd Conference on Logic Programming
----------------------------------------------------------------------
Date: Mon, 22 Jul 85 16:52:19 cdt
From: porter@anl-mcs (Porter)
Subject: Workshop on Knowledge Engineering/Expert Systems
Below is the tentative program for the Workshop on Knowledge
Engineering/Expert Systems, At Lake Arrowhead, California,
September 4-6, 1985. For information regarding invitations
contact the General Chairman, Sig Porter (porter@anl-mcs
Merdan Group, Inc./PO Box 17098/San Diego, CA 92117).
Workshop on
Knowledge Engineering/Expert Systems
Tentative Program
(July 22, 1985)
Greg Kearsley, Courseware, Program Chairman
Wednesday, September 4, 1985, Afternoon
Knowledge Acquisition
Carlton B. Solloway, JPL, Chair
Knowledge Acquisition: Building the Oleophilic Advisor
Gloria Reiss, Rockwell International Corp
Automating Knowledge Acquisition: Eliminating Your Job
Jim Kornell, General Research Corp
Knowledge Engineering and the New Arcana
Lee Duke, Ames Dryden Flight Research Facility
Autonomous Vehicle Planning System: Development and Knowledge
Acquisition
David Tseng, Hughes Aircraft Co. AI Center
Building a Weather Forecasting Expert System From Examples
Charles Riese, Radian Corp
Thursday, September 5, 1985
Knowledge Representation/Tutoring
Paul Harmon, Harmon Associates, Chair
Achieving A General Intelligent Tutor Through a Flexible and
Extendible Knowledge Representation
Glen Silverstein, Lockheed Missiles and Space Corporation
Building Knowledge Representation Structures Via Intelligent
Authoring Systems
Bret Wallach, Advanced Processing Laboratories
Representation and Acquisition of Knowledge in Medical Expert
Systems
Klaus-Peter Adlassnig, University of Calif Berkeley
Intelligent Simulations for Navy Training
Jim Hollan, Institute for Cognitive Science, UCSD
Inference Strategies
Penny Nii, Stanford, Chair
Universal Weak Method
John Laird, Xerox PARC
High Level Control of Inferencing
Peter Hirsch, IBM
The Role of Frame Based Representation in Reasoning
Richard Fikes, Intellicorp
Using Logic as a basis of a Problem Solving Expert
Richard Weyhrauch, Stanford University
Friday, September 6, 1985
Knowledge System Programming Environments
Bruce Bullock, Teknowledge Federal Systems, Chair
Overview of STROBE
Read Smith, Schlumberger-Doll Research
Perspective on KEE
Mike Williams, Intellicorp
Directions for Future Environments
Mike Fehling, Teknowledge
------------------------------
Date: Fri, 26 Jul 85 18:05:33 edt
From: Alan Gunderson <asg0%gte-labs.csnet@csnet-relay.arpa>
Subject: Extended Deadline-2nd ACM Northeast Regional Conference
CALL FOR PAPERS
*** DEADLINE EXTENDED ***
SECOND ANNUAL ACM NORTHEAST REGIONAL CONFERENCE
Integrating the Information Workplace:
the Key to Productivity
28-30 October 1985
Sheraton-Tara Hotel
Framingham, Mass.
and
The Computer Museum
Boston, Mass.
The conference sessions are grouped into tracks corresponding to major areas
of interest in the computer field. Papers are solicited for the Conference's
Artificial Intelligence Track. The Track's program will emphasize "real
world" approaches and applications of A. I.
Topics of interest include:
___________________________
Natural Language
Man-Machine Interface
A. I. Tools and Environments
A. I. Hardware
Expert Systems
Due to publication delays of the Call for Papers,
the paper deadline has been extended to: September 1, 1985
Please send three copies of your paper to:
Dr. David S. Prerau
Track Chairman
Artificial Intelligence Track
ACM Northeast Regional Conference
GTE Laboratories Inc.
40 Sylvan Road
Waltham MA 02254
For additional information on the Conference, write:
ACM Northeast Regional Conference
P.O. Box 499
Sharon MA 02067
------------------------------
Date: Mon, 29 Jul 85 19:05:39 -0200
From: Ehud Shapiro <udi%wisdom.bitnet@WISCVM.ARPA>
Subject: call for papers - Logic Programming
CALL FOR PAPERS
Third International Conference on Logic Programming
Imperial College of Science and Technology, London, UK
July 14-18, 1986
In cooperation with:
Association for Computing Machinery
British Computer Society
IEEE Computer Society
Japan Society for Software Science and Technology
The conference will consider all aspects of logic programming,
including, but not limited to:
Theory and foundations
Architectures and Implementations
Methodology
Programming Languages and Environments
Applications
Relations to other computation models, programming
languages, and programming methodologies.
Of special interest are papers related to parallel processing,
papers discussing novel applications and applications that address the
unique character of logic programming, and papers
which constitute a contribution
to computer science at large.
Papers can be submitted under two categories, short --
up to 2000 words, and long -- up to 6000 words. Submissions will be
considered on the basis of appropriateness, clarity, originality,
significance, and overall quality.
Authors should send eight copies of their manuscript, plus an
extra copy of the abstract, to:
Ehud Shapiro
ICLP Program Chairman
The Weizmann Institute of Science
Rehovot 76100, Israel.
Deadline for submission of papers is December 1, 1985.
Authors will be notified of acceptance or rejection
by February 28, 1986.
Camera ready copies are due April 1st, 1986.
General Chairman
Keith Clark
Imperial College of Science and Technology
180 Queen's Gate
London SW7 2BZ, United Kingdom
Local Arrangements and Exhibition Chairman
Richard Ennals
Imperial College of Science and Technology
180 Queen's Gate
London SW7 2BZ, United Kingdom
Program Committee
Martin van Caneghem, University of Marseille, France
Veronica Dahl, Simon Fraser University, Canada
Maarten van Emden, University of Waterloo, Canada
Kazuhiro Fuchi, ICOT, Japan
Koichi Furukawa, ICOT, Japan
Ake Hanssen, Uppsala University, Sweden
Kenneth M. Kahn, Xerox PARC, USA
Peter Koves, Logicware Inc., Canada
Giorgio Levi, University of Pisa, Italy
John Lloyd, University of Melbourne, Australia
Frank G. McCabe, Imperial College, UK
Jack Minker, Maryland University, USA
Fernando Pereira, SRI International, USA
Luis M. Pereira, University of Lisbon, Portugal
Antonio Porto, University of Lisbon, Portugal
Ehud Shapiro, Chairman, Weizmann Institute, Israel
------------------------------
End of AIList Digest
********************