Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 129
AIList Digest Tuesday, 27 May 1986 Volume 4 : Issue 129
Today's Topics:
Conferences - Workshop in High Level Tools &
Society for Philosophy and Psychology Annual Meeting &
Principles of Database Systems &
AAAI Automatic Programming Workshop
----------------------------------------------------------------------
Date: 19 May 86 16:20:51 GMT
From: cbosgd!apr!osu-eddie!welch@ucbvax.berkeley.edu (Arun Welch)
Subject: Conference - Workshop in High Level Tools
Call for Participation
WORKSHOP ON
HIGH LEVEL TOOLS FOR KNOWLEDGE BASED SYSTEMS
Sponsored by
The American Association for Artificial Intelligence (AAAI)
Laboratory for Artificial Intelligence Research
The Ohio State University (OSU-LAIR)
Defense Advanced Research Projects Agency (DARPA)
Columbus, Ohio
October 7-8, 1986
It has become increasingly clear to builders of knowledge based systems that no
single representational formalism or control construct is optimal for encoding
the wide variety of types of problem solving that commonly arise and are of
practical significance. The structures specific to diagnosis appear ill
adapted for use in design and planning tasks, and those for prediction seem
unsuitable for intelligent data retrieval. Thus there appears to be a need for
task-specific constructs at levels of organization above those of rules,
frames, and predicate calculus, and their associated control structures. In
addition to problem solving, there is a similar move for higher-level tools for
knowledge acquisition and explanation.
The objective of this workshop is to bring together theoreticians and builders
of knowledge based systems in order to explore the prospects for tools for
specifying structures at these higher levels. Presentations are invited on all
aspects of high level tools for knowledge-based systems, including (but not
restricted to) these topics:
- The powers and limitations of existing knowledge engineering tools
and techniques.
- Delineating the "natural kinds" of knowledge based problem solving
that can provide the basis for task specific tools.
- Matching AI techniques to tasks.
- Design proposals for high level knowledge engineering tools.
- Integrating task-specific tools into "toolboxes" for building systems
that perform complex problem solving tasks.
Four copies of an extended ABSTRACT (up to 8 pages, double-spaced) should be
sent to the workshop chairman before July 1, 1986. Acceptance notices will be
mailed by August 1. Revised abstracts should be returned to the chairman by
September 1, 1986, so that they may be bound together for distribution at the
workshop.
Workshop Chairman: Organizing Committee:
B. Chandrasekaran, William J. Clancey, Stanford University
OSU-LAIR Lee Erman, Teknowledge Inc.
Richard Fikes, Intellicorp
John Josephson, OSU-LAIR
Allen Sears, DARPA
For information and local arrangements, contact:
Charlie Huff Bev Mullet
(614) 422-0054 (614) 422-0248
EMail: Huff@Ohio-State.ARPA EMail: Mullet-B@Ohio-State.ARPA
Huff-C@Ohio-State.CSNET
{ihnp4,cbosgd}!osu-eddie!huff
Department of Computer and Information Science
The Ohio State University
2036 Neil Avenue
Columbus, OH 43210
------------------------------
Date: Thu, 22 May 86 00:15 EDT
From: Tim Finin <Tim%upenn.csnet@CSNET-RELAY.ARPA>
Subject: Conference - Society for Philosophy and Psychology Annual Meeting
Forwarded From: Scott Weinstein <Weinstein@UPenn> on Wed 21 May 1986 at 6:45
Program of the SOCIETY FOR PHILOSOPHY AND PSYCHOLOGY Annual Meeting
June 5 - 8, Johns Hopkins University, Baltimore, Md.
THURSDAY 1-3:30 pm.
TUTORIAL on Recent Work in Linguistics, Part I
Syntax: D. Lightfoot; Semantics: R. Jackendoff; Phonology: A. Prince
3:40-6 pm. (Concurrent Paper Sessions)
Empirical Investigations of Realism:
R. McCauley, T. McKay; A. Gopnik/ L. Forguson, L. McCune
Computation and Inference: C. Peacock, F. Eagen; M. Winston, L. Shelton
8-10:30 pm.
SYMPOSIUM on Machine Learning: C. Glymour, S. Weinstein, T. Mitchell; S. Harnad
FRIDAY 9-11:30 am.
SYMPOSIUM on Inferring Normal from Pathological Function
A. Caramazza, D. Caplan, T. Bever; B. von Eckardt
1-3:30 pm.
TUTORIAL on Recent Work in Lingustics II:
Language Acquisition: B. Landau; Neurolinguistics: E. Zuriff; Computer
Processing of Natural Language: M. Liberman
3:40-6 pm. (Concurrent Paper Sessions)
Perception: C. Hardin, G. Graham; P. Manfredi, J. Poland
Cognitive Ethology: C. Ristau, W. Bechtel; C. Hayes; R. Millikan
8-10:30 pm. SPECIAL INVITED SESSION on Consciousness and the Bicameral Mind:
Resolving the Problem of Dualism: J. Jaynes; D. Dennett, A. C. Catania
SATURDAY 9-11:30 am.
SYMPOSIUM on Connectionist Models and Neural Networks
T. Sejnowsky, P. Smolensky, D. Lloyd; P. Churchland
1-3:15 pm. (Concurrent Paper Sessions)
Emotions: R. Kraut, E. Lepore; L. Kopelman, K. Emmett
Induction, Formality and the Chinese Room:
P. Thagard, J. Bender; R. Double, R. Elugardo
3:25-5:45 pm.
SYMPOSIUM on Self Deception: R. Audi, K. Gergen, G. Rey; P. McLaughlin
8:30 pm. Presidential Address: F. Dretske
SUNDAY 9-11:30 am.
SYMPOSIUM on Intentionality and Information Theory
K. Sayre, D. Perlis, B. Loewer; R. van Gulick
**********************************************************************
REGISTRATION: G. Hatfield, Philosophy, Johns Hopkins U., Baltimore MD 21218
MEMBERSHIP: P. Kitcher, Philosophy, U. Minnessota, Minneapolis MN 55455
UUCP: princeton!mind!harnad
------------------------------
Date: Fri, 23 May 86 11:06:22 pdt
From: Moshe Vardi <vardi@diablo>
Subject: Conference - Principles of Database Systems
CALL FOR PAPERS
Sixth ACM SIGACT-SIGMOD-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS
San Diego, California, March 23-25, 1987
The conference will cover new developments in both the
theoretical and practical aspects of database and
knowledge-base systems. Papers are solicited which describe
original and novel research about the theory, design,
specification, or implementation of database and knowledge-
base systems.
Some suggested, although not exclusive, topics of interest
are: architecture, concurrency control, database and expert
systems, database machines, data models, data structures for
physical implementation, deductive databases, dependency
theory, distributed systems, incomplete information, user
interfaces, knowledge and data management, performance
evaluation, physical and logical design, query languages,
recursive rules, spatial and temporal data, statistical
databases, and transaction management.
You are invited to submit ten copies of a detailed abstract
(not a complete paper) to the program chairman:
Moshe Y. Vardi
IBM Research K55/801
650 Harry Rd.
San Jose, CA 95120-6099, USA
(408) 927-1784
vardi@ibm.com
Submissions will be evaluated on the basis of significance,
originality, and overall quality. Each abstract should 1)
contain enough information to enable the program committee
to identify the main contribution of the work; 2) explain
the importance of the work - its novelty and its practical
or theoretical relevance to database and knowledge-base sys-
tems; and 3) include comparisons with and references to
relevant literature. Abstracts should be no longer than ten
double-spaced pages. Deviations from these guidelines may
affect the program committee's evaluation of the paper.
The program committee consists of Umesh Dayal, Tomasz Imiel-
inski, Paris Kanellakis, Hank Korth, Per-Ake Larson,
Yehoshua Sagiv, Kari-Jouko Raiha, Moshe Vardi, and Mihalis
Yannakakis.
The deadline for submission of abstracts is October 10,
1986. Authors will be notified of acceptance or rejection
by December 8, 1986 (authors who supply an electronic
address might be notified earlier). The accepted papers,
typed on special forms, will be due at the above address by
January 9, 1987. All authors of accepted papers will be
expected to sign copyright release forms. Proceedings will
be distributed at the conference, and will be subsequently
available for purchase through ACM.
General Chairman: Local Arrangements:
Ashok K. Chandra Victor Vianu
IBM Research Center Dept. of Computer Science
P.O.Box 218 Univ. of California
Yorktown Heights, NY 10598 La Jolla, CA 92093
(914) 945-1752 (619) 452-6227
ashok%yktvmx@ibm.com vianu@sdcsvax.ucsd.edu
------------------------------
Date: Fri, 23 May 86 15:04:16 edt
From: als@mitre-bedford.ARPA (Alice L. Schafer)
Subject: Conference - AAAI Automatic Programming Workshop
The Scientific Workshop on Automatic Programming will be held
under the auspices of the AAAI conference in Philadelphia.
The purpose of this workshop is to gather the active researchers
in this field in order to share insights gained through implementation
and experimentation. Issues to be addressed include:
. What are the resistant problems in Automatic Programming?
. Are there metrics for comparing the conventional software
development approach to an APS?
. What should, and should not, be contained in a specification?
. What interaction is desired between the user and an APS?
. Are there basic building blocks that typify an APS?
The workshop will be held on Thursday August 14th, and will last
approximately three hours. The current plan is that one and a half hours will
be occupied by brief (seven minutes) presentations of current work, followed
by a panel discussion with active audience participation, moderated by
Tom Cheatham of Harvard. Due to the size of the available rooms, we
may have to limit the audience to researchers who have experience with
some aspect of the APS problem.
If you wish to present your current work or be on the panel you should
send us a 200-800 word abstract. The decision on who will participate will
be based on these abstracts. If you wish to participate as a member of the
audience instead, send us a short note containing a description of your work
or references to pertinent papers you have written. If we need to limit the
audience we will base our decisions on these responses.
Please post a printed copy of this notice at your workplace.
Organized by:
Alice Schafer Richard Brown Richard Piazza
(617) 271-2363 (617) 271-7559 (617) 271-2363
als@mitre-bedford.arpa rhb@mitre-bedford.arpa rlp@mitre-bedford.arpa
of the Knowledge-Based Automatic Programming Project (ISFI)
The MITRE Corporation
Mail Stop A-045
Burlington Road
Bedford, MA 01730
------------------------------
End of AIList Digest
********************
