About this conference

Home * On-line Registration * Scientific Programme

This is the fourth in the series of international meetings on the relationship between logic programming and non-monotonic reasoning. Three previous meetings were held in Washington, U.S.A., in 1991, in Lisbon, Portugal, in 1993 and in Lexington, U.S.A., in 1995. The series was started in response to the growing evidence of synergy between the two areas and serves as a vehicle to facilitate interactions and interdisciplinary research.

This fourth meeting is sponsored by ALP (Association for Logic Programming), CompulogNet (The ESPRIT Network of Excellence in Computational Logic), DFG (German Science Foundation), GI (German Informatics Society), the Mathematical Sciences Institute of the Cornell University (US Army Research Office Center of Excellence), the University of Koblenz, and the US DOD Multiple University Research Initiative (MU) on the Foundations of Intelligent Systems (Cornell, Stanford, and UC Berkeley). It will be held at Dagstuhl, Germany, from July 28 to July 31, 1997. Dagstuhl, a place being developed exclusively for research activities in Computer Science, provides an excellent atmosphere for researchers to meet and exchange ideas.

Related conferences to be held at about the same time include:

Comments and Suggestions on this page are welcome!

Maintained by: Jürgen Dix <dix@informatik.uni-koblenz.de>
$Author: lpnmr97 $ $Date: 1997/06/03 12:29:47 $