NMR'08: **Extended deadline** Special Session on Declarative Programming Paradigms and Systems for NMR

[Joao Leite]

++++++++++++++++++++++++++++++++++++++++++++++++++++++++
                        CALL FOR PAPERS

   The 12th International Workshop on NONMONOTONIC REASONING
           Sydney, Australia, September 13-15, 2008

                      Special Session on

     Declarative Programming Paradigms and Systems for NMR

            ** New submission deadline: June 22nd **

++++++++++++++++++++++++++++++++++++++++++++++++++++++++


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:

Answer set programming
Logic programming for NMR
Declarative agent languages
Declarative programming languages for dynamic domains
NMR formalisms
Representation and programming methodologies for NMR
Comparison of programming paradigms for NMR
Answer set solvers
Reasoning systems based on action languages
Cognitive robotics systems
Description logic reasoners for NMR
Language extensions to NMR systems
Algorithms and data structures for NMR systems
Optimization techniques needed in NMR systems
Computational complexity analysis
Program development environments in NMR systems
Integration of NMR systems with SAT/SMT/PBO/QBF/CP/ILP solvers
Benchmarking for NMR systems
Comparison of NMR systems
Applications using NMR systems (e.g., Semantic Web, Multi-Agent Systems)
Embedded NMR systems: Systems using NMR systems
Future challenges for NMR systems


Session Co-Chairs

Esra Erdem (Sabanci University, Turkey)
Joao Leite (New University of Lisbon, Portugal)


Program Committee

Jose Alferes (New University of Lisbon, Portugal)
Marcello Balduccini (Kodak Research Labs, USA)
Chitta Baral (Arizona State University, USA)
Marina de Vos (University of Bath, UK)
Jürgen Dix (TU Clausthal, Germany)
Thomas Eiter (Vienna University of Technology, Austria)
Paolo Ferraris (Google, USA)
Michael Fink (Vienna University of Technology, Austria)
Norman Foo (NICTA, University of New South Wales, Australia)
Alfredo Gabaldon (NICTA, University of New South Wales, Australia)
Martin Gebser (University of Potsdam, Germany)
Michael Gelfond (Texas Tech University, USA)
Giovambattista Ianni (University of Calabria, Italy)
Joohyung Lee (Arizona State University, USA)
Nicola Leone (University of Calabria, Italy)
Yuliya Lierler (University of Texas at Austin, USA)
Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong)
Marco Maratea (University of Genoa, Italy)
Ilkka Niemelae (Helsinki University of Technology, Finland)
Enrico Pontelli (New Mexico State University, USA)
Chiaki Sakama (Wakayama University, Japan)
Ken Satoh (National Institute of Informatics, Japan)
Torsten Schaub (University of Potsdam, Germany)
Tran Cao Son (New Mexico State University, USA)
Terrance Swift (XSB Inc., USA)
Mirek Truszczynski (University of Kentucky, USA)


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):
http://www.easychair.org/conferences/?conf=dpps08


Important Dates

Submission of papers: June 22, 2008
Notification of acceptance: July 15, 2008
Camera ready copy (PDF file): August 15, 2008