3rd CFP: LPNMR-11 (Logic Programming and Nonmonotonic Reasoning)

[Wolfgang Faber]

[apologies for multiple copies]
[abstract deadline: Dec 6, paper deadline: Dec 13]

                                CALL FOR PAPERS
                                    LPNMR-11
             11th International Conference on Logic Programming and
                             Nonmonotonic Reasoning
                     Vancouver, BC, Canada, 16-19 May, 2011
    Web: http://sites.google.com/site/lpnmr11      Email: lpnmr11 at gmail.com

   LPNMR-11 is the eleventh in the series of international meetings on logic
   programming and nonmonotonic reasoning. LPNMR is a forum for exchanging
   ideas on declarative logic programming, nonmonotonic reasoning, and
   knowledge representation. The aim of the conference is to facilitate
   interactions between those researchers and practitioners interested in the
   design and implementation of logic-based programming languages and
   database systems, and those who work in the area of knowledge
   representation and nonmonotonic reasoning. LPNMR strives to encompass
   theoretical and experimental studies that have led or will lead to the
   construction of systems for declarative programming and knowledge
   representation, as well as their use in practical applications.

   Authors are invited to submit papers presenting original and unpublished
   research on all aspects of nonmonotonic approaches in logic programming
   and knowledge representation. We particularly encourage submission of
   papers on LPNMR techniques which have led to the development of
   significant applications. We also invite submissions of short papers,
   which may include system and application descriptions. We invite
   submissions of both long and short papers.

   The proceedings of the conference will be published in the Springer Verlag
   Lecture Notes in Computer Science series; see
   http://www.springer.com/lncs/. All accepted papers will be published in
   the proceedings.

   This year the best paper(s) from the conference will be invited to appear
   at a special track of IJCAI'11 in Barcelona.

    Topics (non-exhaustive list)

   Foundations of LPNMR Systems:

     * Semantics of new and existing languages;
     * Action languages, and related approaches (such as causal reasoners);
     * Relationships among formalisms;
     * Complexity and expressive power;
     * Development of inference algorithms and search heuristics for LPNMR
       systems; Inference algorithms and heuristics for LPNMR systems;
     * Extensions of "classical" LPNMR languages by new logical connectives
       and new inference capabilitiessuch as abduction, reasoning by cases,
       etc ;
     * Updates, revision, and other operations on LPNMR systems;
     * Uncertainty in LPNMR systems.

   Implementation of LPNMR systems:

     * System descriptions, comparisons, evaluations;
     * LPNMR benchmarks.

   Applications of LPNMR systems:

     * Using LPNMR to model problems in KR and commonsense reasoning;
     * LPNMR languages and algorithms in planning, diagnosis, software
       engineering, decision making, and model checking;
     * Applications of action languages, to policies, planning, and other
       areas;
     * Applications of LPNMR languages in data integration and exchange
       systems;
     * Integration of LPNMR systems with other computational paradigms;
     * Embedded LPNMR: Systems using LPNMR subsystems.

    Submission

   LPNMR-11 welcomes submissions of long papers (13 pages) or short papers (6
   pages) in the following categories.

     * Technical papers
     * System descriptions
     * Application descriptions

   The indicated number of pages includes title page, references and figures.
   The proceedings of the conference will be published in the Springer Verlag
   Lecture Notes in Computer Science series. All submissions will be
   peer-reviewed; and all accepted papers will appear in the conference
   proceedings. Submissions must be formatted according to the Springer LNCS
   author instructions, be written in English, and present original research.
   Paper submission will be electronic through
   http://www.easychair.org/conferences/?conf=lpnmr11 .

    Workshops

   The program of LPNMR-11 will also include several specialised workshops.
   These workshops provide a venue for presenting more specialised and
   focussed topics, and are intended to allow for intensive discussions and
   project collaboration in any area related to LPNMR, including
   cross-disciplinary areas. Those interested in organizing a workshop at
   LPNMR-11 are invited to submit an informal workshop proposal to the
   program chairs by 31 December 2010. Potential workshop organizers are also
   invited to discuss their ideas for a workshop with the program chairs
   beforehand.

    Important Dates

     * Paper registration: 6 December 2010
     * Paper submission: 13 December 2010
     * Workshop applications: 31 December 2010
     * Notification: 8 February 2011
     * Final versions due: 25 February 2011

    Venue

   Vancouver is located on the west coast of Canada. It is considered one of
   the most liveable and beautiful cities in the world and features a broad
   range of outdoor, leisure, and cultural activities. The conference will be
   held at the Segal Graduate School of Business of Simon Fraser University
   in downtown Vancouver. The conference is about 20 minutes from the airport
   by rapid transit.

    Program Chairs

   James Delgrande, Simon Fraser University, Canada

   Wolfgang Faber, University of Calabria, Italy

    Program Committee

   Jóse Júlio Alferes, Universidade Nova de Lisboa, Portugal
   Marcello Balduccini, Kodak Research Labs, USA
   Chitta Baral, Arizona State University, USA
   Leopoldo Bertossi, Carleton University, Canada
   Richard Booth, University of Luxembourg, Luxembourg
   Gerhard Brewka, University of Leipzig, Germany
   Pedro Cabalar, University of Corunna, Spain
   Stefania Costantini, University of L'Aquila, Italy
   Marina De Vos, University of Bath, UK
   James Delgrande, Simon Fraser University, Canada
   Marc Denecker, KU Leuven, Belgium
   Yannis Dimopoulos, University of Cyprus, Cyprus
   Jürgen Dix, Technical University of Clausthal, Germany
   Agostino Dovier, University of Udine, Italy
   Thomas Eiter, Vienna University of Technology, Austria
   Esra Erdem, Sabanci University, Turkey
   Wolfgang Faber, University of Calabria, Italy
   Michael Fink, Vienna University of Technology, Austria
   Andrea Formisano, University of Perugia, Italy
   Martin Gebser, University of Potsdam, Germany
   Michael Gelfond, Texas Tech University, USA
   Giovambattista Ianni, University of Calabria, Italy
   Tomi Janhunen, Aalto University, Finland
   Antonis Kakas, University of Cyprus, Cyprus
   Joohyung Lee, Arizona State University, USA
   Nicola Leone, University of Calabria, Italy
   Vladimir Lifschitz, University of Texas, USA
   Fangzhen Lin, Hong Kong University of Science and Technology, China
   Jorge Lobo, IBM T. J. Watson Research Center, USA
   Robert Mercer, University of Western Ontario, Canada
   Alessandra Mileo, University of Milan-Bicocca, Italy
   Pascal Nicolas, University of Angers, France
   Ilkka Niemelä, Aalto University, Finland
   Mauricio Osorio, Universidad de las Américas, Mexico
   Ramon Otero, University of Corunna, Spain
   David Pearce, Universidad Politécnica de Madrid, Spain
   Axel Polleres, National University of Ireland, Ireland
   Enrico Pontelli, New Mexico State University, USA
   Chiaki Sakama, Wakayama University, Japan
   John Schlipf, University of Cincinnati, USA
   Tran Cao Son, New Mexico State University, USA
   Terrance Swift, Stony Brook University, USA
   Evgenia Ternovska, Simon Fraser University, Canada
   Hans Tompits, Vienna University of Technology, Austria
   Francesca Toni, Imperial College London, UK
   Mirek Truszczynski, University of Kentucky, USA
   Agustin Valverde, University of Malaga, Spain
   Kewen Wang, Griffith University, Australia
   Stefan Woltran, Vienna University of Technology, Austria
   Jia-Huai You, University of Alberta, Canada
   Yan Zhang, University of Western Sydney, Australia

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