CFP: LPNMR'05 Logic Programming and Nonmonotonic Reasoning

["Huhns, Michael" <huhns@xxxxxxxxxxx>]

                              Call for Papers
               8th International Conference on Logic Programming
                       and Nonmonotonic Reasoning
                                 (LPNMR'05)
                         Diamante, Cosenza, Italy
                           September 5-8, 2005
                      http://www.mat.unical.it/lpnmr05/

LPNMR'05 is the eighth in the series of international meetings on logic
programming and nonmonotonic reasoning. Seven previous meetings were
held in Washington, D.C., (1991), in Lisbon, Portugal (1993), in
Lexington, Kentucky (1995), in Dagstuhl, Germany (1997), in El Paso,
Texas (1999), in Vienna, Austria (2001), and in Fort Lauderdale, Florida
(2004).

LPNMR'05 will be organized by the Department of Mathematics of
University of Calabria (Italy), and will be co-located with the INFOMIX
Workshop on Data Integration.

AIMS AND SCOPE

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 researchers interested
in the design and implementation of logic based programming languages
and database systems, and researchers who work in the areas of knowledge
representation and nonmonotonic reasoning. LPNMR strives to encompass
these theoretical and exprimental studies that lead to the construction
of practical systems for declarative programming and knowledge
representation.

Authors are invited to submit papers presenting original and unpublished
research on nonmonotonic aspects of logic programming and knowledge
representation. We particularly encourage papers on application of LPNMR
techniques to build significant applications.

A non-exhaustive list of topics of interest includes:

1. Development and mathematical studies of logical systems
   with nonmonotonic entailment relations:
     - Semantics of new and existing languages;
     - Relationships between formalisms;
     - Complexity and expressive power;
     - Development of inference algorithms and search heuristics for
       LPNMR systems;
     - Extensions of ''classical'' LPNMR languages by new logical
       connectives and new inference capabilities such as abduction,
       reasoning by cases, etc;
     - Updates and other operations on LPNMR systems;
     - Uncertainty in LPNMR systems.

2. Implementation of LPNMR systems:
     -  system descriptions, comparisons, evaluations;
     -  LPNMR benchmarks.

3. Applications of LPNMR systems:
     - LPNMR languages and algorithms in planning, diagnosis,
       software engineering, decision making, and other domains;
     - Applications of LPNMR languages in Data Integration and Exchange
       systems;
     - Methodology of representing knowledge in LPNMR languages:
       theory and practice;
     - Integration of LPNMR systems with other computational
       paradigms;
     - Embedded LPNMR systems: Systems using LPNMR subsystems.         

SYSTEM AND APPLICATION DEMONSTRATION TRACKS

As part of the technical program, we also plan a special session devoted
to presentations and demonstrations of implemented nonmonotonic
reasoning systems. Systems and application demonstration tracks will be
announced in a distinct call.

IMPORTANT DATES
 Abstract Submission Deadline      March 22, 2005, 23:59:59 GMT
 Paper Submission Deadline         March 25, 2005, 23:59:59 GMT
 Notification (Accept/Reject)      May   16, 2005
 Conference Schedule               June   6, 2005
 Final Conference Papers           June  10, 2005
 Early Registration Deadline       July 4, 2005
 Conference                        September 5-8, 2005

SUBMISSION OF PAPERS

Papers must not exceed thirteen (13) pages including title page,
references and figures, and must be formatted according to the Springer
LNCS/LNAI authors' instructions (see
<URL:http://www.springer.de/comp/lncs/authors.html>).  Papers must be
written in English and present original research.

Paper submission is electronic via the conference home page
http://www.mat.unical.it/lpnmr05/. Papers must be registered (title,
abstract, keywords, authors, contact information) by March 22, 2005,
23:59:59 GMT; the full paper must be uploaded by March 25, 2005,
23:59:59 GMT.

PROGRAM CO-CHAIRS
 Chitta Baral         (Arizona State University, USA)
 Nicola Leone         (University of Calabria, Italy)

PROGRAM COMMITTEE
 Jose Alferes         (New University of Lisbon, Portugal)
 Leopoldo Bertossi    (Carleton University, Canada)
 Pedro Cabalar        (Corunna University, Spain)
 Gerhard Brewka       (Leipzig University, Germany)
 Juergen Dix          (Technical University of Clausthal, Germany)
 Wolfgang Faber       (University of Calabria, Italy)
 Norman Foo           (National ICT Australia and University of New
South Wales, Australia)
 Michael Gelfond      (Texas Tech University, USA)
 Antonis Kakas        (University of Cyprus, Cyprus)
 Katsumi Inoue        (National Institute of Informatics, Japan)
 Vladimir Lifschitz   (University of Texas at Austin, USA)
 Fangzhen Lin         (Hong Kong University of Science and Technology,
China)
 Ilkka Niemel=E4        (Helsinki University of Technology, Finland)
 David Pearce         (Rey Juan Carlos University, Spain)
 Alessandro Provetti  (University of Messina, Italy)
 Francesco Scarcello  (University of Calabria, Italy)
 Torsten Schaub       (University of Potsdam, Germany)
 Hans Tompits         (Vienna University of Technology, Austria)
 Francesca Toni       (Imperial College, London, UK)
 Mirek Truszczynski   (University of Kentucky, USA)
 Marina de Vos        (University of Bath, United Kingdom)

PUBLICITY CHAIR
 Gianluigi Greco      (University of Calabria, Italy)

LOCAL ORGANIZATION CO-CHAIRS
 Giovambattista Ianni (University of Calabria, Italy)
 Giorgio Terracina    (University of Calabria, Italy)