Eleventh International Workshop on
Non-Monotonic Reasoning
Lake District, England, May 30 - June 1, 2006
Special session on
Answer Set Programming
In the 1980s researchers working in the area of nonmonotonic reasoning
discovered that their formalisms could be used to describe the behavior
of negation as failure in Prolog. This work has led to the creation of
logic programming systems of a new kind - answer set solvers, and to the
emergence of a new approach to solving combinatorial search problems,
called answer set programming. The aim of the session is to facilitate
interactions between researchers interested in the design and
implementation of such declarative knowledge representation languages
and researchers who work in the areas of knowledge representation and
nonmonotonic reasoning.
The session on answer set programming is a one-day event and the
technical program forms a part of the Eleventh Non-monotonic Reasoning
Workshop (NMR2006), to be held in in the Lake District area of the UK
collocated with the KR 2006 conference.
Topics
Authors are invited to submit original papers on answer set
programming.
The list of topics of interest includes but is not limited to:
Session co-chairs
Program committee
Submission details
All NMR-06 sessions have the same submission requirements. Submissions
are limited to 9 pages using KR paper format.
Send a PDF file with the submission to each
of the organizers by e-mail.
Important dates