<mod-ki 0789> Call for papers: KR'92
Hans-Werner Hein
To: mod...@unido.informatik.uni-dortmund.de
Date: Mon, 04 Nov 91 17:45:43 +0100
Subject: <mod-ki 0789> Call for papers: KR'92
Keywords: Conferences, Knowledge Representation
mod-ki message 0789
************************************************************************
KR'92 - CALL FOR PAPERS
THIRD INTERNATIONAL CONFERENCE ON
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
Royal Sonesta Hotel Cambridge, 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). Abstracts 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: ri...@merl.com
PROGRAM CO-CHAIRS
Bernhard Nebel William Swartout
DFKI USC/Information Sciences Institute
Stuhlsatzenhausweg 3 4676 Admiralty Way
D-W-6600 Saarbrucken, Germany Marina del Rey, CA 90292-6695, USA
Voice: +49 (681) 302-5254 Voice: +1 (213) 822-1511
Fax: +49 (681) 302-5341 Fax: +1 (213) 823-6714
Email: ne...@dfki.uni-sb.de Email: swar...@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: schm...@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), 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
************************************************************************