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 A number of workshops and adjoining meetings will be held in conjunction with KR'98: International Description Logics Workshop (DL'98) June 6 - June 8, 1998 Contact person: Enrico Franconi (franconi@irst.itc.it). <http://dl.kr.org/dl/dl98/> Nonmonotonic Reasoning workshop (NMR) May 30 - June 1, 1998 Contact person: Gerhard Brewka (brewka@informatik.uni-leipzig.de), chairs: Gerhard Brewka and Ilkka Niemelae, honorary chair: Ray Reiter. <http://saturn.hut.fi/~ini/nmrw98.html> IFIP Workshop on Knowledge Representation for Natural Language Processing June 6 - June 7, 1998 Contact person: Martha Palmer (mpalmer@linc.cis.upenn.edu) <http://www.cis.upenn.edu/~mpalmer/kr_nl.html> Conference on Formal Ontology in Information Systems (FOIS'98) June 6 - June 8, 1998 Contact person: Nicola Guarino (guarino@ladseb.pd.cnr.it). <http://mnemosyne.itc.it:1024/fois98/> Workshop on Validation & Verification of Knowledge-Based Systems (V&V'98) June 1, 1998 Contact person: Frank van Harmelen (frankh@cs.vu.nl). <http://www.cs.vu.nl/~frankh/KR98-VV.html> Workshop on Knowledge Representation for Interactive Multimedia Systems (KRIMS II) June 1, 1998 Contact persons: Geogre Vouros (georgev@ath.aegean.gr), Paolo Petta (paolo@ai.univie.ac.at). <http://www.math.aegean.gr/KRIMSII/KRIMSII.html> 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 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 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 -------------------- Sponsored by KR, Inc. Organization supported by IRST-ITC In cooperation with the AAAI