From ginsberg@t.uoregon.EDU Tue Nov 9 12:10:43 EST 1993 Article: 19429 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:19429 Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!uwm.edu!ogicse!cs.uoregon.edu!t.uoregon.edu!ginsberg From: ginsberg@t.uoregon.EDU (Matthew L. Ginsberg) Newsgroups: comp.ai Subject: CFP: 5th Intl Workshop on Nonmonotonic Reasoning Message-ID: <2bc92m$dj6@sisters.cs.uoregon.edu> Date: 5 Nov 93 01:08:38 GMT Article-I.D.: sisters.2bc92m$dj6 Distribution: world Organization: Computer Science Department, University Oregon. Lines: 79 NNTP-Posting-Host: t.uoregon.edu Originator: ginsberg@t.uoregon.edu CALL FOR PARTICIPATION 5TH INTERNATIONAL WORKSHOP ON NONMONOTONIC REASONING May 29--June 1, 1994 Castle Dagstuhl, near Saarbrucken, Germany The Fifth International Workshop on Nonmonotonic Reasoning will be held May 29--June 1, 1994, at Castle Dagstuhl near Saarbrucken. The aim of the workshop is to bring together active researchers interested in the area of nonmonotonic reasoning to discuss current research, results, and problems of both a theoretical and practical nature. The field of nonmonotonic reasoning includes work on circumscription, autoepistemic and default logic, truth maintenance, closed-world databases, logic programming, probabilistic reasoning, and related formal systems and application areas. Because of the conference on knowledge representation and reasoning (KR-94) to be held the previous week in Bonn, the format of this workshop will be somewhat different from previous ones. There will be an increased focus on panel discussions; individual paper presentations will be restricted to position papers of the form not generally accepted at large conferences. Where possible, the panels will be organized around these position papers or around groups of related results presented at KR-94. By a "position paper," we mean a paper that discusses the significance of already known concepts or results, explains the interest and potential of current directions of research, or speculates on notions and questions that lie ahead. Attendance will be limited and by invitation only. Space permitting, at least one author of each accepted KR-94 paper dealing with nonmonotonic reasoning will be invited. Others wishing to attend should submit a short description of their past accomplishments and current research interests. Position papers should be limited to 4000 words; papers of greater length or papers that are clearly more suitable for conference submission will be rejected without review. Panel suggestions are also welcome. A limited number of spaces will be reserved for students, and student lodging and travel subsidies will hopefully be available. Students should indicate their university and year of study, and include letters of recommendation from their supervisors. Please include your postal (and, if possible, electronic mail) addresses on all correspondence. Submissions may be either hardcopy (4 copies) or electronic (postscript files only) to either of the program chairs: Gerhard Brewka Matthew L. Ginsberg GMD, Postfach 1316 Computer and Information Sciences D-5205 Sankt Augustin University of Oregon Germany Eugene, Oregon 97403 U.S.A. brewka@gmd.de ginsberg@cs.uoregon.edu Phone: ++49 (2241) 142 687 Phone: (415) 723-1239 Electronic submissions are encouraged where possible and must be received by December 7, 1993. Hardcopy submissions must be postmarked by December 6, 1993 and received by December 13, 1993. Deadline for submissions: December 6, 1993 Notification of acceptance: February 1, 1994 Cochairs: Gerhard Brewka (GMD) brewka@gmd.de Matthew L. Ginsberg (Oregon) ginsberg@cs.uoregon.edu Program Committee: Jon Doyle (MIT) doyle@zermatt.lcs.mit.edu Michael Gelfond (Texas) mgelfond@cs.ep.utexas.edu Henry Kautz (AT&T Bell Labs) kautz@research.att.com Kurt Konolige (SRI) konolige@ai.sri.com David Makinson (Paris) shmak@frunes21.bitnet Judea Pearl (UCLA) judea@cs.ucla.edu Accepted authors will be expected to send a preprint for distribution prior to the workshop. No formal proceedings or collection of papers from the workshop will be published.