event at in.tu-clausthal.de event at in.tu-clausthal.de
Thu Jan 26 21:51:33 CET 2006

		    (apologies for miultiple copies)


                        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 the Lake District area of the UK
collocated with the KR 2006 conference.


Authors are invited to submit original papers on answer set programming.
The list of topics of interest includes but is not limited to:

- Language extensions
- Algorithms and data structures for ASP
- Computational complexity analysis
- Optimization techniques needed in ASP systems
- Extensions to existing implementations
- Performance analysis, benchmarking
- Programming methodology
- Program development environments
- Standardization of system interfaces
- Future challenges for ASP systems

Session co-chairs

Ilkka Niemela Helsinki University of Technology, (Ilkka.Niemela at tkk.fi)
Mirek Truszczynski University of Kentucky, (mirek at cs.uky.edu)

Program committee

Marc Denecker, K.U.Leuven, Belgium
Wolfgang Faber, University of Calabria, Italy
Tomi Janhunen, Helsinki University of Technology, Finland
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Inna Pivkina, New Mexico State University, USA
Chiaki Sakama, Wakayama University, Japan
Hans Tompits, Technische Universit�t Wien, Austria
Kewen Wang, Griffith University, Australia

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

Submission of papers: 1 Feb 2006
Notification of acceptance: 1 April 2006
Final version (PDF File): 1 May 2006

This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner at in.tu-clausthal.de ASAP. 
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology

More information about the dl mailing list