hector@ai.toronto.edu (Hector Levesque) (09/02/88)
CALL FOR PAPERS
KR '89
FIRST INTERNATIONAL CONFERENCE ON
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
Royal York Hotel
Toronto, Ontario, CANADA
May 15-18, 1989
Sponsored by the Canadian Society for Computational Studies of Intelligence;
with support from AAAI, IJCAI, the Canadian Institute for Advanced
Research, and the Information Technology Research Centre of Ontario;
in cooperation with AISB and ACM SIGART
The idea of explicit representations of knowledge, manipulated by
general-purpose inference algorithms, underlies much of the work in artificial
intelligence, from natural language to expert systems. A growing number of
researchers are interested in the principles governing systems based on this
idea. This conference will bring together these researchers in a more
intimate setting than that of the general AI conferences. Authors will be
expected to give presentations of adequate length to present substantial
results, and the number of parallel sessions will be limited. Accepted papers
will be collected in a conference proceedings, to be published by Morgan
Kaufmann Publishers, Inc.
The conference will focus on principles of commonsense reasoning and
representation, as distinct from concerns of engineering and details of
implementation. Thus of direct interest are logical specifications of
reasoning behaviors, comparative analyses of competing algorithms and
theories, and analyses of the correctness and/or the computational complexity
of reasoning algorithms. Papers that attempt to move away from or refute the
knowledge-based paradigm in a principled way are also welcome, so long as
appropriate connections are made to the central body of work in the field.
Submissions are encouraged in at least the following topic areas:
Analogical Reasoning Qualitative Reasoning
Commonsense Reasoning Temporal Reasoning
Deductive Reasoning Planning and Plan Recognition
Diagnostic and Knowledge Representation Formalisms
Abductive Reasoning Theories of the Commonsense World
Evidential Reasoning Theories of Knowledge and Belief
Inductive Reasoning Belief Management and Revision
Nonmonotonic Reasoning Formal Task and Domain Specifications
REVIEW CRITERIA
The Program Committee will review extended abstracts (not complete papers).
Submissions will be judged on clarity, significance, and originality. An
important criterion for acceptance is that the paper clearly contribute to
principles of representation and reasoning that are likely to influence
current and future AI practice.
Extended abstracts should contain enough information to enable the Program
Committee to identify the principal contribution of the research and its
importance. It should also be clear from the extended abstract how the work
compares to related work in the field. References to relevant literature must
be included.
Submitted papers must be unpublished. Submissions must also be substantively
different from papers currently under review and must not be submitted
elsewhere before the author notification date (December 15, 1988).
SUBMISSION OF ABSTRACTS
Submitted abstracts must be at most eight (8) double-spaced pages. All
abstracts must be submitted on 8-1/2'' x 11'' paper (or alternatively, a4),
and printed or typed in 12-point font (pica on standard typewriter). Dot
matrix printout is not acceptable.
Each submission should include the names and complete addresses of all
authors. Also, authors should indicate under the title which of the topic
areas listed above best describes their paper (if none is appropriate, please
give a set of keywords that best describe the topic of the paper).
Abstracts must be received no later than November 1, 1988, at the address
listed below. Authors will be notified of the Program Committee's decision by
December 15, 1988.
Authors of accepted papers will be expected to submit substantially longer
full papers for the conference proceedings. Final camera-ready copies of the
full papers will be due on February 15, 1989. Final papers will be allowed at
most twelve (12) double-column pages in the conference proceedings.
Send five (5) copies of extended abstracts [one copy is acceptable from
countries where access to copiers is limited] to
Ron Brachman and Hector Levesque, Program Co-chairs
First International Conference on Principles of
Knowledge Representation and Reasoning
c/o AT&T Bell Laboratories
600 Mountain Avenue, Room 3C-439
Murray Hill, NJ 07974
USA
INQUIRIES
Inquiries of a general nature can be addressed to the Conference Chair:
Raymond Reiter, Conference Chair
First International Conference on Principles of
Knowledge Representation and Reasoning
c/o Department of Computer Science
University of Toronto
10 Kings College Road
Toronto, Ontario M5S 1A4
CANADA
electronic mail: reiter@ai.toronto.edu
IMPORTANT DATES
Submission receipt deadline: November 1, 1988
Author notification date: December 15, 1988
Camera-ready copy due to publisher: February 15, 1989
Conference: May 15-18, 1989
PROGRAM COMMITTEE
James Allen (Univ. of Rochester) Geoff Hinton (Univ. of Toronto)
Giuseppe Attardi (Delphi SpA, Italy) David Kirsh (MIT)
Woody Bledsoe (MCC/Univ. of Texas) Bob Kowalski (Imperial College)
Alan Bundy (Edinburgh Univ.) Vladimir Lifschitz (Stanford Univ.)
Eugene Charniak (Brown Univ.) Alan Mackworth (U. of Brit. Columbia)
Veronica Dahl (Simon Fraser Univ.) Drew McDermott (Yale Univ.)
Johan de Kleer (Xerox PARC) Tom Mitchell (Carnegie-Mellon Univ.)
David Etherington (AT&T Bell Labs) Robert Moore (SRI International)
Koichi Furukawa (ICOT) Judea Pearl (UCLA)
Herve Gallaire (ECRC, Munich) Stan Rosenschein (SRI International)
Michael Genesereth (Stanford Univ.) Stuart Shapiro (SUNY at Buffalo)
Michael Georgeff (SRI International) Yoav Shoham (Stanford Univ.)
Pat Hayes (Xerox PARC) William Woods (On Technology)