5.0766 CFP: Knowledge Representation and Reasoning (1/184)

Elaine Brennan & Allen Renear (EDITORS@BROWNVM.BITNET)
Mon, 16 Mar 1992 10:15:45 EST

Humanist Discussion Group, Vol. 5, No. 0766. Monday, 16 Mar 1992.

Date: Fri, 13 Mar 1992 14:12 EST
From: "NANCY M. IDE (914) 437 5988" <IDE@VASSAR>
Subject: call for papers



[**NOTE CORRECTION** In some versions of this Call, the number
of copies to be submitted for review was not specified. The required
number of copies is five (5). ]


KR'92 - CALL FOR PAPERS

THIRD INTERNATIONAL CONFERENCE ON
PRINCIPLES OF
KNOWLEDGE REPRESENTATION AND REASONING

Royal Sonesta Hotel, Cambridge, Massachusetts, USA
with support from AAAI, ECCAI, and CSCSI
in cooperation with IJCAII
October 26-29, 1992

(KR'92 follows the AAAI Fall Symposium Series
at the same location October 23-25)


The idea of explicit representations of knowledge manipulated by
inference algorithms provides an important foundation for much 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. In particular, authors will have the
opportunity to give presentations of adequate length to present
substantial results.

The theme of this year's conference is the relationship between the
principles of knowledge representation and reasoning and their
embodiment in working systems. Authors are encouraged to relate their
work to one of the following important questions:

(1) What issues arise in applying knowledge representation systems to
real problems, and how can they be addressed?
(2) What are the theoretical principles in knowledge representation
and reasoning?
(3) How can these principles be embodied in knowledge representation
systems?

Submissions are encouraged in (but are not limited to) the following
topic areas:

KNOWLEDGE REPRESENTATION FORMALISMS REASONING METHODS
- logics of knowledge and belief - deduction
- nonmonotonic logics - abduction
- temporal logics - induction
- spatial logics - learning
- taxonomic logics - planning and plan analysis
- logics of uncertainty - constraint solving
and evidence - diagnosis
- classification
- inheritance
- belief management and revision
- analogical reasoning

GENERIC ONTOLOGIES FOR DESCRIBING ISSUES IN IMPLEMENTED KR&R SYSTEMS
- time - comparative evaluation
- space - empirical results
- causality - benchmarking and testing
- resources - reasoning architectures
- constraints - efficiency/completeness tradeoffs
- applications classes - complexity
such as medicine - algorithms



SUBMISSION OF PAPERS

The Program Committee will review EXTENDED ABSTRACTS rather than
complete papers. Abstracts must be at most twelve (12) pages with a
maximum of 38 lines per page and an average of 75 characters per line
(corresponding to the LaTeX article-style, 12pt), excluding the title
page and the bibliography. Overlength submissions will be returned.
All abstracts must be submitted on 8 1/2" x 11" or A4 paper, and
printed or typed in 12-point font (10 characters/inch on a
typewriter). Dot matrix printout, FAX, or electronic submission will
not be accepted. Each submission should include the names and
complete addresses of all authors. Correspondence will be sent to the
first author, unless otherwise indicated. Also, authors should
indicate under the title which of the questions and/or 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). Five (5) copies of the abstract must be received by one of
the program co-chairs no later than April 21, 1992. Papers received
after that date will be returned unopened. Authors will be notified
of the Program Committee's decision by June 15, 1992.



REVIEW OF PAPERS

Submissions will be judged on clarity, significance, and originality.
An important criterion for acceptance is that the paper clearly
contributes 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 and evaluate 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.
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 (June
15, 1992).


FINAL PAPERS

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 August 3, 1992. Final papers
will be allowed at most twelve (12) double-column pages in the
conference proceedings (corresponding to approx. 28 article-style
LaTeX pages; a style file will be provided by the publisher).


CONFERENCE CHAIR

Charles Rich
Mitsubishi Electric
Research Laboratories
201 Broadway
Cambridge, MA 02139,
USA
Voice: +1 (617) 621-7507
Fax: +1 (617) 621-7550
Email: rich@merl.com


PROGRAM CO-CHAIRS

Bernhard Nebel William Swartout
DFKI USC/Information Sciences Institute
Stuhlsatzenhausweg 3 4676 Admiralty Way
D-W-6600 Saarbrucken Marina del Rey, CA 90292-6695
Germany USA
Voice: +49 (681) 302-5254 Voice: +1 (213) 822-1511
Fax: +49 (681) 302-5341 Fax: +1 (213) 823-6714
Email: nebel@dfki.uni-sb.de Email: swartout@isi.edu


LOCAL ARRANGEMENT CHAIR

James Schmolze
Dept.of Computer Science
Tufts University
Medford, MA 02155
USA
Voice: +1 (617) 627-3681
Fax: +1 (617) 627-3443
Email: schmolze@cs.tufts.edu


PROGRAM COMMITTEE

James Allen (Univ of Rochester), Guiseppe Attardi (Univ of Pisa),
Daniel Bobrow (Xerox PARC), Ron Brachman (AT&T Bell Labs), Gerd Brewka
(GMD, Bonn), Rina Dechter (UC Irvine), Johan de Kleer (Xerox PARC),
Jon Doyle (MIT), David Etherington (AT&T Bell Labs), Richard Fikes
(Stanford Univ), Alan Frisch (Univ of Illinois), Dov Gabbay (Imperial
College), Michael Georgeff (AAII), Pat Hayes (Stanford Univ), Maurizio
Lenzerini (Univ of Roma), Robert MacGregor (USC/ISI), Alan Mackworth
(UBC), David Makinson (Paris), David McAllester (MIT), Fumio Mizoguchi
(Science Univ of Tokyo), Wolfgang Nejdl (TU Vienna), Hans-Juergen
Ohlbach (MPI, Saarbruecken), Peter Patel-Schneider (AT&T Bell Labs),
Ramesh Patil (USC/ISI), Judea Pearl (UCLA), Martha Pollack (Univ of
Pittsburgh), Henri Prade (Univ Paul Sabatier), Erik Sandewall (Univ of
Linkoeping), Len Schubert (Univ of Rochester), Stu Shapiro (SUNY Buffalo),
Gert Smolka (Univ of Saarland, DFKI Saarbruecken), Peter Szolovits (MIT),
Mike Wellman (USAF Wright Lab)



IMPORTANT DATES

Submission receipt deadline: April 21, 1992
Author notification date: June 15, 1992
Camera-ready copy due to publisher: August 3, 1992
Conference: October 26-29, 1992