spacer
spacer
News Flash
The Scientific Program for the conference is now available.


8th International Conference on
Logic Programming and Non Monotonic Reasoning
Diamante, Cosenza, Italy
September 5-8, 2005

spacer spacer
Main Menu
spacer Call For Papers

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.

The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series, see http://www.springeronline.com/lncs/.

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 experimental 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 LPNMR techniques which led to the development of significant applications.
A non-exhaustive list of topics of interest includes:
  1. Development and mathematical studies of logical systems with non-monotonic 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.

SYSTEMS AND APPLICATIONS DEMONSTRATIONS

As part of the technical program, we also plan a special session devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems. Systems and applications demonstrations track 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 15, 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. 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/.

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 (University of Leipzig, 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 (The Hong Kong University of Science and Technology, China)
Ilkka Niemelš (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)


DOWNLOAD

Call For Papers (zip)

Call For Papers (pdf)

spacer
Lpnmr Latest News
27/06/2005
Registration form is now avalaible
27/06/2005
Accommodation form is now avalaible
26/05/2005
LPNMR'05 List of Accepted Works
04/04/2005
Call for Systems and Applications
24/02/2005
Papers Submission
16/12/2004
Program Committee
27/09/2004
Important Dates
26/09/2004
Preliminary Call for Papers is avalaible to download
spacer