SIXTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR'98) Call for Papers TRENTO, ITALY, JUNE 2-5, 1998 (With workshops and coordinated events May 30-June 1 and June 6-8, 1998) World Wide Web: http://www.kr.org/kr/kr98/ Autoresponder: kr98-info@kr.org 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 * Implemented KR&R Systems o Representations of o Reports + Belief o Updates + Intention o Comparisons + Time o Evaluations + Space * Significant Applications + Action o Planning + Events o Robotics o Nonmonotonic Logics o Diagnosis o Description Logics o Natural Language * Reasoning Techniques o Multi-Agent o Deduction Environments o Induction o Knowledge Bases o Abduction * Implications for/of o Reasoning under Uncertainty o Machine Learning o Parallel and Distributed o Decision Theory o Implementations o Databases o Efficiency Measures and o Software Engineering Complexity 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 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: 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: International Description Logics Workshop (DL'98) May 30 - June 1, 1998 (tentative date) Contact person: Enrico Franconi (franconi@irst.itc.it). Nonmonotonic Reasoning workshop (NMR) May 30 - June 1, 1998 (tentative date) Contact person: Gerhard Brewka (brewka@informatik.uni-leipzig.de), chairs: Gerhard Brewka and Ilkka Niemelae, honorary chair: Ray Reiter. IFIP Workshop on Knowledge Representation for Natural Language Processing May 31 - June 1, 1998 (tentative date) Contact person: David Etherington (ether@cirl.uoregon.edu). Conference on Formal Ontology in Information Systems June 6 - June 8, 1998 (tentative date) Contact person: Nicola Guarino (guarino@ladseb.pd.cnr.it). CONFERENCE COMMITTEE CONFERENCE CHAIR PROGRAM CO-CHAIRS Stuart C. Shapiro Anthony G. Cohn State University of New York Division of AI, School of Computer Studies at Buffalo, USA Univ. of Leeds, Leeds, LS2 9JT, UK shapiro@cs.buffalo.edu agc@scs.leeds.ac.uk Lenhart Schubert Computer Science Department University of Rochester Rochester, NY 14627-0226, USA schubert@cs.rochester.edu LOCAL ARRANGEMENTS WORKSHOPS COORDINATION Fausto Giunchiglia (chair), Lin Padgham (chair) Morena Carli, Luciano Serafini RMIT, Melbourne, Australia IRST-ITC, Trento, Italy linpa@cs.rmit.edu.au kr98-local@irst.itc.it Paolo Traverso (local organisation) IRST-ITC, Trento, Italy leaf@irst.itc.it PUBLICITY CHAIR TREASURER Enrico Franconi Francesco Donini IRST-ITC, Trento, Italy University of Rome "La Sapienza", Italy franconi@irst.itc.it donini@assi.dis.uniroma1.it