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 Aim and Scope

Aim 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 non-monotonic 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.

Lpnmr Latest News
Registration form is now avalaible
Accommodation form is now avalaible
LPNMR'05 List of Accepted Works
Call for Systems and Applications
Papers Submission
Program Committee
Important Dates
Preliminary Call for Papers is avalaible to download