KR'96 - CALL FOR PAPERS FIFTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING Cambridge, Massachusetts, U.S.A. November 5-8, 1996 World Wide Web: http://www.kr.org/kr/ Information Autoresponder: kr96-info@kr.org KR Mailing List: KR-Majordomo@kr.org Contact information below INVITATION 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'96 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. The following topics are meant to be suggestive of the scope of the conference. Representational Formalisms Representing 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 of KR&R Systems and Techniques Planning Robotics Diagnosis Natural Language Multi-Agent Environments Knowledge Bases Implications for/of Other Areas of AI and CS Machine Learning Decision Theory Databases Software Engineering SCHEDULE KR'96 will be held in Cambridge immediately preceding the AAAI Fall Symposia Series, and immediately after several independent workshops. More information on these adjoining meetings appears at the end of this announcement. May 6, 1996 Extended abstracts due July 1, 1996 Results to authors August 15, 1996 Final papers due November 2-4, 1996 Workshops (DL'96, Relevance) November 5-8, 1996 KR'96 November 9-11, 1996 AAAI Fall Symposia 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. Correspondence will be sent to the first author, unless otherwise indicated. 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). KR'96 is arranging with AAAI to handle the collection and acknowledgment of submissions. To be considered, five (5) paper copies of each extended abstract must be received no later than May 6, 1996 at the following address: KR'96 c/o AAAI 445 Burgess Drive Menlo Park, CA 94025 Receipt of submissions will be acknowledged, ordinarily by email. Remaining questions concerning receipt of submission may be addressed to AAAI at Tel: 415-328-3123 Fax: 415-321-4457 Email: kr@aaai.org MULTIPLE SUBMISSIONS Submitted papers must be unpublished and substantively different from papers currently under review. NOTIFICATION Authors will be notified of the Program Committee's decision by July 1, 1996. Notification will be made by electronic mail whenever possible. 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 July 31, 1996. 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 will be provided by the publisher). REGISTRATION Registration, lodging, and travel information will be distributed later; check the web page or autoresponder listed above for current information. KR'96 is arranging with AAAI to handle registration, including payment by credit card. KR MAILING LIST Updated information will also be posted to the new KR mailing list. To subscribe to this automated facility, simply send a message to KR-Majordomo@KR.ORG with a line in the body of the message reading subscribe kr if you want the email address from which you are sending the message to be added to the list, or subscribe kr if you want a different email address for yourself added to the list. Include a line reading help to receive more information about how to use the mailing list facility. You will receive acknowledgement and welcome messages in response to your request. Please do not be concerned if some KR-Majordomo messages come from the host medg.lcs.mit.edu instead of KR.ORG. These two domain names are aliased at present, but will be separated in the future. Accordingly, please always use the KR.ORG address in communications. CONFERENCE CHAIR Jon Doyle Massachusetts Institute of Technology Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139 USA Voice: +1 (617) 253-3512 Fax: +1 (617) 258-8682 EMAIL: doyle@mit.edu PROGRAM CO-CHAIRS Luigia Carlucci Aiello Stuart C. Shapiro, Universit di Roma La Sapienza State University of New York at Buffalo Dipartimento di Informatica e Sistemistica Department of Computer Science via Salaria 113 226 Bell Hall 00198 Roma Buffalo, NY 14260-2000 ITALY USA Voice: +39 6 8841947 Voice: +1 716 645 3180 ext. 125 Fax: +39 6 85300849 Fax: +1 716 645 3464 EMAIL: aiello@dis.uniroma1.it EMAIL: shapiro@cs.buffalo.edu EMAIL: kr96-pc-chairs@kr.org INTER-CONFERENCE COOPERATION CHAIR Ronald P. Loui Washington University, USA EMAIL: loui@cs.wustl.edu PUBLICITY CHAIR Werner Horn Austrian Research Institute for Artificial Intelligence Austria EMAIL: werner@ai.univie.ac.at PROGRAM COMMITTEE (Preliminary) Syed Ali (SW. MO St. U., USA) Afzal Ballim (EPFL, CH) John A. Barnden (NM St. U., USA) Ron Brachman (AT&T Bell Labs, USA) Maurice Bruynooghe (Catholic Univ. of Leuven, BE) Anthony G. Cohn (U. Leeds, UK) Marie Odile Cordier (IRISA, FR) Ernest Davis (NYU, USA) Didier Dubois (IRIT, FR) Thomas Eiter (T.U. Wien, AT) Luis Farinas del Cerro (IRIT, FR) Richard Fikes (Stanford U., USA) Dov Gabbay (Imperial College, UK) Peter Gaerdenfors (Lund U., SE) Mike Georgeff (AAII, AU) Fausto Giunchiglia (U. Trento, Italy) Frank van Harmelen (Free Univ. of Amsterdam, NL) Patrick Hayes (U. IL, USA) Jim Hendler (U. Md, USA) Eduard Hovy (USC/ISI, USA) Hiroachi Kitano (Sony, JP) Kurt Konolige (SRI, USA) Sarit Kraus (Bar Ilan U., IL) David Israel (SRI, USA) Lucja Iwanska (Wayne St. U., USA) Benjamin Kuipers (U. TX, USA) Deepak Kumar (Bryn Mawr Coll., USA) Gerhard Lakemeyer (U. Bonn, Germany) Fritz Lehmann (Cycorp and GRANDAI, USA) Doug Lenat (Cycorp, USA) Maurizio Lenzerini (U. Roma, IT) Hector Levesque (U. Toronto, Canada) Vladimir Lifschitz (U. TX, USA) Robert MacGregor (USC/ISI, USA) Joao Martins (Tech Univ of Lisbon, PT) Riichiro Mizoguchi (U. Osaka, JP) Bernhard Nebel (U. Ulm, DE) Hwee Tou Ng (DSO, Singapore) Hans Juergen Ohlbach (Max Plank I., DE) Lin Padgham (RMIT, AU) Ramesh Patil (USC/ISI, USA) Anand Rao (AAII, Australia) Ray Reiter (U. Toronto, Canada) Jeff Rosenschein (Hebrew U., IL) Erik Sandewall (Linkoeping U., SE) Len Schubert (U. Rochester, USA) Yoav Shoham (Stanford U., USA) John Sowa (U. Binghamton, USA) Piero Torasso (U. Torino, IT) Wolfgang Wahlster (DFKI, Germany) ADJOINING CONFERENCES KR'96 will be immediately preceded by several workshops and immediately followed by the AAAI Fall Symposia Series. Tentative information for these meetings is as follows, with all located in Cambridge, Massachusetts. The AAAI Fall Symposia Series will be held November 9-11, 1996. For more information, see http://www.aaai.org/. Description Logic '96 will be held November 2-4, 1996. For more information contact the organizing committee at dl96@dl.kr.org. The organizing committee consists of Lin Padgham (chair), Deborah McGuinness, Peter Patel-Schneider, Enrico Franconi, and Manfred Gehrke. Relevance in Knowledge Representation and Reasoning (RRR-96) will be held (tentatively) November 2-4, 1996. For more information, contact the organizers, Alon Levy and Russ Greiner, at levy@research.att.com and greiner@scr.siemens.com.