LPNMR'09: Call for Papers
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 theoretical and experimental studies that led or will lead to the construction of practical systems for declarative programming and knowledge representation.
The special theme for LPNMR'09 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular.
A non-exhaustive list of topics of interest includes:
- Mathematical foundations of nonmonotonic logical systems: Semantics of new and existing languages; Relationships among formalisms; Complexity and expressive power; Development of inference algorithms and search heuristics for LPNMR systems; Extensions of "classical" LPNMR languages; Updates and other operations on LPNMR systems; Uncertainty in LPNMR systems.
- Implementation of LPNMR systems: System descriptions, comparisons, evaluations; LPNMR benchmarks.
- 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.
Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. In addition to technical and original application papers, we also invite submissions of short papers, system descriptions, and summaries of existing successful applications of LPNMR systems, which will be presented in dedicated poster sessions. (It will be possible for authors of technical and original application papers to specify interest in short paper acceptance in case of rejection as full paper.) We particularly encourage papers on LPNMR techniques that in the past led to the development of significant applications.
LPNMR'09 welcomes submissions in the following formats:
- Technical papers (13 pages)
- Original application papers (13 pages)
- Short papers (6 pages)
- System descriptions (6 pages)
- Summaries of existing successful applications (6 pages)
All papers must not exceed the allotted number of pages including title page, references and figures; they must be formatted according to the Springer LNCS authors instructions. Papers must be written in English and present original research. All submissions will be peer-reviewed by an international panel. Paper submission will be electronic through EasyChair.
Accepted papers and short papers will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. As part of the technical program we also plan a special session devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems and/or corresponding applications. Those interested in demonstrating a system/application should submit a system description or an application paper (original or summary).
The program of LPNMR'09 will also include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to LPNMR, including cross-disciplinary areas.
Those interested in organizing a workshop at LPNMR'09 are invited to submit an informal workshop proposal to the program chairs until 30 April 2009.