Final call for papers: (deadline extension) NMR'10 Special session on Declarative Programming Paradigms and Systems

[Marina De Vos]

Apologies for multiple postings.

-----------------------------------------------------------------------------------

CALL FOR PAPERS

NMR'10 Special session on Declarative Programming Paradigms and Systems

Sub-workshop of Non-Monotonic Reasoning 2010
Toronto, Canada, 14-16 May 2010
http://www.cs.sfu.ca/NMR2010/NMR_2010/Declarative_Programming_for_NMR.html

Topics of the workshop include all aspects regarding expressive (domain
independent) modeling and knowledge representation languages and
inference systems for declarative problem solving. The workshop 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 conferences.

TOPICS

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

SUBMISSION

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


IMPORTANT DATES

Papers due:     Extended until 8 February
Notification:   March 1 (Monday), 2010
Final version:  April 6 (Tuesday), 2010
Workshop:       May 14-16, 2010

SESSION CO-CHAIRS

    * Marc Denecker (Katholieke Universiteit Leuven, Belgium)
    * Marina De Vos (University of Bath, UK)

PROGRAM COMMITTEE

    * 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)