From dix@bax.uni-koblenz.de Fri Sep 30 16:13:16 EDT 1994 Article: 11323 of comp.lang.prolog Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!xlink.net!newshost.uni-koblenz.de!usenet From: dix@bax.uni-koblenz.de (Juergen &) Newsgroups: comp.lang.prolog Subject: CFP (LP & NMR '95) Date: 26 Sep 1994 10:23:19 GMT Organization: University Koblenz / Germany Lines: 61 Message-ID: NNTP-Posting-Host: bax.uni-koblenz.de 3rd Logic Programming and Non-Monotonic Reasoning Conference Lexington, KY, USA June 26-28, 1995 This is the third in the series of international meetings on the relationship between logic programming and non-monotonic reasoning. Two previous meetings were held in Washington, DC, in 1991, and in Lisbon, Portugal, in 1993. The series was started in response to the growing evidence of synergy between the two areas and was meant as a vehicle to facilitate interactions and interdisciplinary research. Papers are invited on all aspects of logic programming and non-monotonic reasoning. Papers on the relationship between logic programming and non-monotonic reasoning are especially encouraged. The following is a non-exhaustive list of topics of interest: + Semantics for logic programs + Default logic and its versions + Modal non-monotonic logics + Non-monotonic rule systems + Abduction + Diagnosis + Non-monotonic reasoning in databases + Theory of updates and belief revision + Constraint satisfaction + Algorithms and complexity + Implementations and applications GENERAL CO-CHAIRS: Victor Marek and Miroslaw Truszczynski, Department of Computer Science, University of Kentucky, Lexington, KY 40506, USA, e-mail: marek@ms.uky.edu, mirek@ms.uky.edu, tel: +1-606-257-3961, fax: +1-606-323-1971 PROGRAM CHAIR: Anil Nerode, Mathematical Sciences Institute, Cornell University, 407 College Ave., Ithaca, NY 14850, USA, e-mail: nerode@msiadmin.cit.cornell.edu, tel: +1-607-255-7752, fax: +1-607-255-9003. PROGRAM COMMITTEE: Krzysztof Apt, Howard Blair, Pham Minh Dung, Michael Gelfond, Georg Gottlob, Anthony Kakas, Vladimir Lifschitz, Victor Marek, Anil Nerode, Luis Pereira, Teodor Przymusinski, Yehoshua Sagiv, V.S. Subrahmanian, Miroslaw Truszczynski, David Warren. SUBMISSION DETAILS: Send four copies (double-spaced, 12 point font) of a full paper of 20 pages or less to Program Chair. IMPORTANT DATES: Submission deadline: Tuesday, December 6, 1994 Acceptance/rejection notification: January 16, 1995 Camera-ready version: February 27, 1995 -- Juergen Dix Tel: +49 261 9119-420 Deptartment of CS Fax: +49 261 9119-499 University of Koblenz E-mail: dix@informatik.uni-koblenz.de Rheinau 1 D-56075 KOBLENZ GERMANY _________________ ________