call for papers, previous message

From:     Juergen Dix 
Subject:  CFP for LP & NMR '95
Date:     Wed, 7 Sep 94 10:53:14 +0200



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