Twelfth International Workshop on

Non-Monotonic Reasoning

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:

• 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).

Important Dates

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