Sixth International Conference on Principles of
Knowledge Representation and Reasoning
(KR'98)

Trento, Italy
June 2-5, 1998

(with workshops and coordinated events
May 30-June 1 and June 6-8, 1998)

 KR

Call for Papers

Explicit representations of knowledge manipulated by inference algorithms provide an important foundation for much work in Artificial Intelligence, from natural language dialogue systems to expert systems. We intend KR'98 to be a place for the exchange of news, issues, and results among the community of researchers in the principles and practices of knowledge representation and reasoning (KR&R) systems.

We encourage papers that present substantial new results in the principles of KR&R systems while clearly showing the applicability of those results to implemented or implementable AI systems. We also encourage ``reports from the field'' of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing.
The following topics are meant to be suggestive of the scope of the conference:

  • Representational Formalisms
    • Representations of
      • Belief
      • Intention
      • Time
      • Space
      • Action
      • Events
    • Nonmonotonic Logics
    • Description Logics
  • Reasoning Techniques
    • Deduction
    • Induction
    • Abduction
    • Reasoning under Uncertainty
    • Parallel and Distributed
    • Implementations
    • Efficiency Measures and Complexity
  • Implemented KR&R Systems
    • Reports
    • Updates
    • Comparisons
    • Evaluations
  • Significant Applications
    • Planning
    • Robotics
    • Diagnosis
    • Natural Language
    • Multi-Agent Environments
    • Knowledge Bases
  • Implications for/of
    • Machine Learning
    • Decision Theory
    • Databases
    • Software Engineering

Submission of Papers

The Program Committee will review extended abstracts rather than complete papers. Submissions must be at most twelve (12) pages, excluding the title page and the bibliography, with a maximum of 38 lines per page and an average of 75 characters per line (corresponding to the LaTeX article-style, 12pt). Overlength submissions will be rejected without review. All abstracts must be submitted on 8 1/2 by 11 inch or A4 paper, and printed or typed in 12-point font (10 characters per inch on a typewriter). Dot matrix printout, FAX, or electronic submission will not be accepted. Each submission should include the names and complete addresses (including email, when possible) 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). Submitted papers must be unpublished and substantively different from papers currently under review.
A form at the WWW address http://www.kr.org/kr/kr98/submission.html giving details of any proposed submission must be properly filled by Wednesday November 26, 1997. If intending authors do not have WWW access then an email message must be sent to kr98@cs.rochester.edu by Wednesday November 26, 1997 giving details of any proposed submission in the following format (please be sure to spell the keywords correctly and to include the `:'s):

Title: < Title of paper >
Author: < Last name, initials >
Author: < Insert as many more author lines as necessary >
...
CorrespondingAuthor: < Name of corresponding author >
CorrespondingEmail: < Email of corresponding author >
CorrespondingAddress: < Address of corresponding author >
Keywords: < Insert list of keywords, preferably chosen from above list >
Abstract: < Insert short abstract, max 200 words >
EndAbstract: < Mark the end of the short abstract thus >

If intending authors do not have email then they should send the same information by letter to arrive by Wednesday November 26, 1997 addressed to either of the Programme Co-chairs.
Extended abstracts should be submitted to either of the Programme Co-chairs (5 copies) by Monday December 1, 1997. Submissions should be clearly marked "KR98" on the envelope. Electronic submission of the extended abstract is not permitted. Acknowledgement of extended abstracts will be made by email no later than Wednesday December 10 1997.
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 Wednesday March 17 1998. Final papers will be allowed at most twelve (12) double-column pages in the conference proceedings (corresponding to approximately 28 article-style LaTeX pages; a style file is provided by the publisher).

Schedule

Wednesday November 26, 1997 Electronic abstracts due
Monday December 1, 1997 Extended abstracts due
Wednesday December 10, 1997 Acknowldgement of Extended abstracts
Monday February 2, 1998 Results to authors
Wednesday March 17, 1998 Final papers due
Saturday-Monday May 30 - June 1, 1998 Workshops
Monday evening, June 1, 1998 Opening reception
Tuesday - Friday June 2-5, 1998 KR'98
Saturday-Monday June 6-8, 1998 Workshops

Workshops and Coordinated Events

It is anticipated that a number of workshops and adjoining meetings will be held in conjunction with KR'98. Anyone interested in organising such a meeting should contact the workshops coordination chair as soon as possible.
Currently, it is known that the following will be held in conjunction with KR'98:

Conference Committee

Conference chair
Stuart C. Shapiro
State University of New York at Buffalo, USA
shapiro@cs.buffalo.edu
Program chairs
Anthony G. Cohn
Division of AI
School of Computer Studies
University of Leeds
Leeds, LS2 9JT, UK
agc@scs.leeds.ac.uk

Lenhart Schubert
Computer Science Department
University of Rochester
Rochester, NY 14627-0226, USA
schubert@cs.rochester.edu

Program Committee Members
James Allen (U. Rochester, USA)
Giuseppe Attardi (U. Pisa, IT)
Franz Baader (RWTH Aachen, DE)
Fahiem Bacchus (U. Waterloo, Canada)
John Bell (QMW Coll., UK)
Alexander Bochman (Bar-Ilan U., IL)
Mark Boddy (Honeywell Tech. Cent., USA)
Alex Borgida (Rutgers, USA)
Craig Boutilier (UBC, Canada)
Ronen Brafman (UBC, Canada)
Gerhard Brewka (U. Leipzig, DE)
Tom Bylander (U. TX at San Antonio, USA)
Marco Cadoli (U. Roma, La Sap., IT)
Ernest Davis (NYU, USA)
James Delgrande (Simon Fraser U, Canada)
Francesco Donini (U. Roma, La Sap., IT)
Didier Dubois (U. Paul Sabatier, FR)
Alan Frisch (U. York, UK)
Antony Galton (U. Exeter, UK)
Hector Geffner (U. Simon Bolivar, VE)
Malik Ghallab (LAAS-CNRS, FR)
Robert Givan Jr. (Purdue U., USA)
Georg Gottlob (T.U. Wien, AT)
Adam Grove (NEC Res. Inst., USA)
Thomas Gruber (Intraspect Software, USA)
Nicola Guarino (LADSEB-CNR, IT)
Peter Haddawy (U. WI-Milwaukee, USA)
Bernhard Hollunder (Interactive Objects Software, DE)
Henry Kautz (AT&T, USA)
Jana Koehler (Albert-Ludwigs-U., DE)
Gerhard Lakemeyer (RWTH Aachen, DE)
Neal Lesh (U. Rochester, Mitsubishi Electric Labs., USA)
Vladimir Lifschitz (U. Texas, USA)
Gerard Ligozat (U. Paris-Sud, FR)
Fangzhen Lin (Hong Kong U. of Science, HK)
Robert MacGregor (USC/ISI, USA)
David McAllester (AT&T, USA)
L. Thorne McCarty (Rutgers, USA)
Deborah McGuinness (AT&T, USA)
Jack Minker (U. MD, USA)
Leora Morgenstern (IBM TJ Watson, USA)
Bernhard Nebel (Albert-Ludwigs-U., DE)
Wolfgang Nejdl (U. Hannover, DE)
Werner Nutt (U. des Saarlandes, DE)
Hans Juergen Ohlbach (Imperial College, UK)
Fiora Pirri (U. Roma, La Sap., IT)
Massimo Poesio (U. Edinburgh, UK)
David Poole (UBC, Canada)
Teodor Przymusinski, Teodor (UC Riverside, USA)
Anand Rao (AAII, AU)
Raymond Reiter (U. Toronto, Canada)
Irina Rish (UC Irvine, USA)
Stuart Russell (UC Berkeley, USA)
Marco Schaerf (U. Roma, La Sap., IT)
Bart Selman (AT&T, USA)
Murray Shanahan (QMW Coll., UK)
Yoav Shoham (Stanford U., USA)
Maria Simi (U. Pisa, IT)
Aaron Sloman (U. Birmingham, UK)
Michael Thielscher (Darmstadt U. Technology, DE)
Miroslaw Truszczynski (U. Kentucky, USA)
Peter van Beek (U. Alberta, Canada)
Mary-Anne Williams (U. of Newcastle, AU)
Local Arrangements
Fausto Giunchiglia (chair),
Morena Carli, Luciano Serafini
IRST-ITC, Trento, Italy
kr98-local@irst.itc.it
Workshops coordination
Lin Padgham (chair)
RMIT, Melbourne, Australia
linpa@cs.rmit.edu.au

Paolo Traverso (local organisation)
IRST-ITC, Trento, Italy
leaf@irst.itc.it

Publicity chair
Enrico Franconi
IRST-ITC, Trento, Italy
franconi@irst.itc.it
Treasurer
Francesco Donini
University of Rome ``La Sapienza'', Italy
donini@assi.dis.uniroma1.it

Sponsored by KR, Inc.
Organization supported by IRST-ITC
In cooperation with the AAAI

Resources

KRGo to KR Home Page.

franconi@irst.itc.it
Last modified: Wed Feb 25 06:47:46 EST 1998