NMR08 -- Declarative Programming Paradigms and Systems for NMR

Twelfth International Workshop on

Non-Monotonic Reasoning

Special Session on Declarative Programming Paradigms and Systems for NMR

13 September to 15 September 2008.
Sydney, Australia

Collocated with KR 2008 CP 2008 ICAPS 2008 The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08) in Sydney, Australia.

News: Paper submission deadline extended to 22 June, 2008.

NMR'08 Special session on Declarative Programming Paradigms and Systems for NMR

For many years now, formalisms rooted in the research area of Nonmonotonic Reasoning have been used as the theoretical foundation for declarative programming paradigms. These programming paradigms provide expressive languages to represent nonmonotonic concepts besides other knowledge, and systems that are implemented to automate nonmonotonic reasoning. For instance, one of the most successful of such paradigms is Answer Set Programming.

Some of the existing NMR systems are reaching a level of maturity where *serious* real-world applications can be -- and are being -- developed. At the same time, we are still witnessing an impressive research effort in creating, developing and extending (nonmonotonic) declarative languages to meet the (new) needs of specific application domains (e.g., Multi-Agent Systems, Semantic Web, Web Services, Textual Entailment, Computational Biology).

The aim of this session is to facilitate interactions among researchers interested in the design and implementation of such declarative knowledge representation languages and systems, researchers interested in the applicability of such declarative programming paradigms and NMR systems to real-world applications, and researchers who work in the areas of knowledge representation and automated reasoning.

The session on declarative programming paradigms and systems for NMR is a one-day event and the technical program forms a part of the Twelfth Nonmonotonic Reasoning Workshop (NMR08), to be held in Sydney, Australia, collocated with the KR/CP/ICAPS 2008 conferences.

Authors are invited to submit original papers on declarative programming paradigms and systems for NMR. The list of topics of interest includes, but is not limited to:

Session Co-Chairs

Program Committee

Submission Details

Submissions are limited to 9 pages using KR paper format. Your submission in PDF should be lodged using the following link to Easychair (DPPS08).

Important Dates