Declarative Programming

and Systems


Programme Co-Chairs

Tommie Meyer

Meraka Institute, Building 43, CSIR

Meiring Naude Avenue, Brummeria,


South Africa

Phone: +27 12 841 4017

Fax: +27 12 841 4720

Eugenia Ternovska

School of Computing Science

Simon Fraser University

Burnaby, B.C.


Phone: +1 778.782.4771

Fax: +1 778.782.3045

© Copyright NMR-2010

 NMR'10 Special session on Declarative Programming Paradigms and Systems


Declarative Programming Paradigms and Systems

Sub-workshop of Non-Monotonic Reasoning 2010

Toronto, Canada, 14-16 May 2010


The aim of Declarative Programming is to develop expressive modeling

languages and powerful inference systems which are capable of solving

rich classes of problems and tasks using declarative domain

descriptions. Within the declarative programming paradigm there are a

range of different approaches and languages. Each of these approaches

makes different trade-offs between expressivity (or modeling

convenience) and efficiency. Because of their focus on knowledge

representation, formalisms rooted in the research area of

Non-Monotonic Reasoning (NMR) have always been more on the

expressivity side of this trade-off. In this area, Answer Set

Programming is currently the most important and successful paradigm.

Recently, other paradigms were proposed based on classical logic and

extensions with inductive definitions. All these languages offer

superior ease of modeling compared to some other declarative paradigms

such as constraint (logic) programming.  Different approaches do not

only differ from a language perspective; they may also differ in the

form of inference they use. Finite model generation is currently used

in Answer Set Programming and in systems based on classical logic and

its extensions.  Other forms of inference are used in for example

Abductive Logic Programming and Functional Logic Programming.

It is exciting to observe that the technology used in some of these

approaches, even with their focus on language expressivity, is

reaching a level of maturity where *serious* real-world applications

can be -- and are being -- developed.  At the same time, we are

witnessing an impressive research effort -mostly in ASP- in developing

and extending declarative languages and inference systems to meet the

(new) needs of specific application domains (e.g., multi-agent

systems, semantic web, web services, textual entailment,

Bio-informatics, parametric design, scheduling ...).

For this workshop, we hope to attract a mixture of interesting and

original contributions on existing and new declarative approaches and

applications of declarative programming.  We equally welcome papers on

new solvers, novel declarative approaches, new languages, other forms

of inference for declarative problem solving, new applications,

advancements to existing real-world applications, programming

methodologies, comparisons between different approaches, integration

with other systems or paradigms, ...

The session on declarative programming paradigms and systems for NMR

is a one-day event and the technical program forms a part of the

Thirteenth Non-Monotonic Reasoning Workshop (NMR 2010), to be held in

Toronto, Canada, collocated with the KR/DL/ICAPS/AAMAS/FOIS 2010



Authors are invited to submit original papers on this field.

The list of topics of interest includes, but is not limited to:

    * Declarative Languages

       * Extensions and integrations of classical and nonmonotonic logics

       * Extensions of logic programming

       * Answer set programming

       * Abductive logic programming

       * Declarative agent languages

    * Inference systems

       * Model generators

       * Answer set solvers

       * Abductive systems

       * Optimization

       * Other/new types of inference systems

    * Computational complexity analysis

    * Methodology

       * Representation and programming methodologies

       * Programming Tools

       * Program development environments

       * Debugging tools

    * Implementations

       * Algorithms and Implementation of  declarative programming systems

       * Optimization techniques

       * Benchmarking for NMR systems

    * Applications of declarative programming

        * Cognitive robotics systems

        * Declarative programming languages for dynamic domains

        * Semantic Web

        * Multi-Agent systems

        * Planning

        * Novel applications

    * Integration and Comparisons

        * Comparison of programming paradigms for NMR

        * Integration of NMR systems: Systems using NMR systems

        * Comparison of NMR systems

        * Integration of NMR systems with SAT/SMT/PBO/QBF/CP/ILP solvers

    * Future challenges for declarative programming systems


Submitted articles will undergo peer-review. Papers must be submitted

in AAAI style and in PDF only.  The maximum length of a submission is

7 pages including references, figures, and appendixes if any.  Papers

should be submitted via Easychair using the following link.


Papers due:     January 29 (Friday), 2010

Notification:   March 1 (Monday), 2010

Final version:  April 6 (Tuesday), 2010

Workshop:       May 14-16, 2010


    * Marc Denecker (Catholic University Leuven, Belgium)

    * Marina De Vos (University of Bath, UK)


   * Marcello Balduccini (Kodak Research Labs, USA)

   * Chitta Baral (Arizona State University, USA)

   * Martin Brain (University of Bath, UK)

   * Jürgen Dix (TU Clausthal, Germany)

   * Thomas Eiter (Vienna University of Technology, Austria)

   * Esra Erdem (Sabanci University, Turkey)

   * Michael Fink (Vienna University of Technology, Austria)

   * Alfredo Gabaldon (New University of Lisbon, Portugal)

   * Martin Gebser (University of Potsdam, Germany)

   * Giovambattista Ianni (University of Calabria, Italy)

   * Katsumi Inoue (National Institute of Informatics, Japan)

   * Tomi Janhunen (Helsinki University of Technology, Finland)

   * Joohyung Lee (Arizona State University, USA)

   * Joao Leite (New University of Lisbon, Portugal)

   * Yuliya Lierler (University of Texas at Austin, USA)

   * Vladimir Lifschitz (University of Texas at Austin, USA)

   * David Mitchell (Simon Fraser University, Canada)

   * Ilkka Niemela (Helsinki University of Technology, Finland)

   * Ken Satoh (National Institute of Informatics, Japan)    

   * Terrance Swift (XSB Inc., USA)

   * Mirek Truszczynski (University of Kentucky, USA)

   * Johan Wittocx (Katholieke Universiteit Leuven, Belgium)