From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick Thu Aug 26 12:36:16 EDT 1993 Article: 4573 of news.announce.conferences Xref: honeydew.srv.cs.cmu.edu news.announce.conferences:4573 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: werner@ai.univie.ac.at (Werner Horn) Subject: CFP: 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94) [update] Message-ID: <1993Aug26.012726.28576@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Austrian Research Institute for Artificial Intelligence, Vienna Date: Thu, 26 Aug 1993 01:27:26 GMT Approved: rick@sparky.sterling.com Expires: Tue, 9 Nov 1993 08:00:00 GMT Lines: 335 X-Md4-Signature: a0ae3f3ec85403975271ed81fc6ebe97 KR'94 - CALL FOR PAPERS FOURTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING Gustav Stresemann Institut, Bonn, Germany May 24-27, 1994 with support from GI, ECCAI, and CSCSI in cooperation with AAAI Explicit representations of knowledge manipulated by inference algorithms provide an important foundation for much work in Artificial Intelligence, from natural language to expert systems, and a growing number of researchers study the principles governing systems based on such representations and reasoning. The KR conferences bring together these researchers in a more intimate setting than that of general AI conferences, and provide authors with the opportunity to give presentations of adequate length to present substantial results. This year's conference will take place in Europe for the first time. The conference emphasizes both the theoretical principles of knowledge representation and reasoning and the relationships between these principles and their embodiments in working systems. Authors are encouraged to relate their work to at least one of the following questions: (1) What issues arise in representing and using knowledge about 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 implemented knowledge representation systems, and what practical tradeoffs arise? (4) How do these approaches to problems relate to corresponding approaches in other parts of AI (natural language, robotics, etc.) or in other fields (psychology, philosophy, logic, economics, cognitive science, computer science, management, engineering, etc.) Submissions are encouraged in (but are not limited to) the following topic areas: REPRESENTATIONAL FORMALISMS REASONING METHODS AND TASKS - logics of knowledge and belief - deduction - nonmonotonic logics - abduction - temporal logics - induction - spatial logics - deliberation and decision analysis - taxonomic logics - planning and plan analysis - logics of uncertainty - learning and evidence - diagnosis - logics of preference and utility - classification - logics of intentions and actions - inheritance - deontic logics - belief management and revision - constraint solving - analogical reasoning - reasoning about 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 - decisions - complexity - activities - algorithms - mental states - embedded systems - multi-agent organizations - knowledge sharing and reuse - applications classes, e.g. medicine - standards 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 rejected without review. 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 (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 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). To be considered, five (5) paper copies of the extended abstract must be received by one of the program co-chairs no later than November 8, 1993 (or must have been sent by express courier no later than November 5). Authors are also STRONGLY encouraged (it is to their advantage) to submit an electronic abstract in the form described below. Electronic abstracts that accurately reflect the contents of the papers will significantly aid the reviewing process by helping direct the papers to the most appropriate reviewers. MULTIPLE SUBMISSIONS Submitted papers must be unpublished and substantively different from papers currently under review. Papers may be submitted after January 1, 1994 to other conferences as long as (a) the prior submission to KR'94 is noted on those submissions and (b) the paper is withdrawn from the later conference if accepted by KR'94. ELECTRONIC ABSTRACT In addition to submitting the paper copies of the extended abstract, authors should (if possible) send a short (200 word) electronic abstract of their paper to KR94-abstracts@medg.lcs.mit.edu to aid in the reviewing process. In order to make use of software for classifying papers and selecting reviewers, most of the electronic abstract must be in plain ASCII text (no LaTeX or other formatting commands) in the following format, separating each field from the next with a blank line. TITLE: FIRST AUTHOR: <last name, first name> FIRST ADDRESS: <first author address or affiliation> COAUTHORS: <their names, if any> OTHER ADDRESSES: <addresses or affiliations of coauthors> CONTENT AREAS: <at most three content areas, separated by commas> KEYWORDS: <keywords, separated by commas> ABSTRACT: <text of the abstract> The content areas preferably should be drawn from the topics listed above, with other areas added only if necessary. The keywords are to aid the human reviewers only and may be chosen as desired. The text of the abstract field may include formatting commands, if desired, but these should be omitted from all other fields. A blank form for electronic abstracts and an example abstract may be found at the end of this Call. 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. NOTIFICATION Authors will be notified of the Program Committee's decision by January 24, 1994. 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 February 28, 1994. 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). PLANNING TO ATTEND People planning to attend the conference are asked to send a note stating their intention as early as possible to the local conference organizer, Ms. Christine Harms (Christine.Harms@gmd.de), in order to help estimate the facilities needed for the conference. (Postal address: Christine Harms, c/o GMD, Schloss Birlinghoven, D-53757 Sankt Augustin 1, Germany. Phone: +49-2241-14-2473, Fax: +49-2241-14-2472.) CONFERENCE CHAIR Erik Sandewall Department of Computer and Information Science Linkoeping University S-58183 Linkoeping SWEDEN Voice: +46 1328 1408 Fax: +46 1328 2606 Email: ejs@ida.liu.se PROGRAM CO-CHAIRS Jon Doyle Piero Torasso MIT Universita' di Torino Laboratory for Computer Science Dipartimento di Informatica 545 Technology Square Corso Svizzera 185 Cambridge, MA 02139 I-10149 Torino USA ITALY Voice: +1 (617) 253-3512 Voice: +39 11 7429209 Fax: +1 (617) 258-8682 Fax: +39 11 751603 Email: doyle@lcs.mit.edu Email: torasso@di.unito.it LOCAL ARRANGEMENT CHAIR Gerhard Lakemeyer Institute of Computer Science III University of Bonn Roemerstrasse 164 D-53117 Bonn 1 GERMANY Voice: +49-228-550-281 Fax: +49-228-550-382 Email: gerhard@cs.uni-bonn.de PUBLICITY CHAIR Werner Horn Austrian Research Institute for Artificial Intelligence Schottengasse 3 A-1010 Vienna AUSTRIA Voice: +43 1 53532810 Fax: +43 1 5320652 Email: werner@ai.univie.ac.at PROGRAM COMMITTEE Giuseppe Attardi (U. Pisa, Italy), Franz Baader (DFKI, Germany), Fahiem Bacchus (U. Waterloo, Canada), Philippe Besnard (IRISA, France), Piero Bonissone (GE, USA), Craig Boutilier (UBC, Canada), Ron Brachman (AT&T, USA) Maurice Bruynooghe (KUL, Belgium), Anthony Cohn (U. Leeds, UK), Ernest Davis (NYU, USA), Rina Dechter (UC Irvine, USA), Johan de Kleer (Xerox, USA), Oskar Dressler (Siemens, Germany), Jennifer Elgot-Drapkin (Arizona State U., USA), Richard Fikes (Stanford U., USA), Alan Frisch (U. York, UK), Hector Geffner (Simon Bolivar U., Venezuela), Georg Gottlob (TU Wien, Austria), Pat Hayes (U. Illinois, USA), Hirofumi Katsuno (NTT, Japan), Henry Kautz (AT&T, USA), Sarit Kraus (Bar-Ilan U., Israel), Maurizio Lenzerini (U. Rome, Italy), Vladimir Lifschitz (U. Texas, USA), David Makinson (Unesco, France), Joao Martins (IST, Portugal) David McAllester (MIT, USA), John-Jules Meyer (U. Amsterdam, Netherlands), Katharina Morik (U. Dortmund, Germany), Johanna Moore (U. Pittsburgh, USA), Hideyuki Nakashima (ETL, Japan), Bernhard Nebel (DFKI, Germany), Hans Juergen Ohlbach (Max Planck Institut, Germany), Lin Padgham (Linkoeping U., Sweden), Peter Patel-Schneider (AT&T, USA), Ramesh Patil (USC/ISI, USA), Raymond Perrault (SRI, USA), David Poole (UBC, Canada), Henri Prade (IRIT, France), Anand Rao (AAII, Australia), Jeff Rosenschein (Hebrew U., Israel), Stuart Russell (UC Berkeley, USA), Len Schubert (Rochester) Marek Sergot (Imperial College, UK), Lokendra Shastri (U. Pennsylvania, USA), Yoav Shoham (Stanford U., USA), Lynn Stein (MIT, USA), Devika Subramanian (Cornell U., USA), William Swartout (USC/ISI, USA), Austin Tate (AIAI, Edinburgh, UK), Peter van Beek (U. Alberta, Canada), Michael Wellman (U. Michigan, USA) IMPORTANT DATES Submission receipt deadline: November 8, 1993 Author notification date: January 24, 1994 Camera-ready copy due to publisher: February 28, 1994 Conference: May 24-27, 1994 <-- cut here --> ------------------------------------------------------------ KR'94 Electronic Abstract Form Complete and send to KR94-abstracts@medg.lcs.mit.edu ------------------------------------------------------------ TITLE: FIRST AUTHOR: FIRST ADDRESS: COAUTHORS: OTHER ADDRESSES: CONTENT AREAS: KEYWORDS: ABSTRACT: ------------------------------------------------------------ <-- cut here --> ------------------------------------------------------------ KR'94 Electronic Abstract Example ------------------------------------------------------------ TITLE: Begriffsschrift: A formula language, modeled upon that of arithmetic, for pure thought FIRST AUTHOR: Frege, Gottlob FIRST ADDRESS: Department of Mathematics, University of Jena, Germany CONTENT AREAS: logics, deduction KEYWORDS: ideography, conceptual content, inferential sequence, argument, function ABSTRACT: I present an ideography to provide the most reliable test of the validity of a chain of inferences, one that points out every presupposition that tries to sneak in unnoticed, so that its origin can be investigated. I am confident that my ideography can be successfully used wherever special value must be placed on the validity of proofs, as for example when the foundations of the differential and integral calculus are established.