LPNMR 2009

Source: https://mail.in.tu-clausthal.de/Lists/event/Message/929.html?Language=english

ALL FOR PAPERS: LPNMR?09 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009

http://www.cs.uni-potsdam.de/lpnmr09

ABOUT THE CONFERENCE

LPNMR?09 is the tenth in the series of international meetings on logic programming and nonmonotonic reasoning. Nine previous meetings were held in Washington, D.C., USA (1991), Lisbon, Portugal (1993), Lexington, Kentucky, USA (1995), Dagstuhl, Germany (1997), El Paso, Texas, USA (1999), Vienna, Austria (2001), Fort Lauderdale, Florida, USA (2004), Diamante, Italy (2005), and Tempe, Arizona, USA (2007).

The special theme for LPNMR?09 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR?09 aims at providing a comprehensive survey of the state-of-the-art of ASP/LPNMR Applications.

As in the past, 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 signifcant applications.

A non-exhaustive list of topics of interest includes:

- Mathematical foundations of non-monotonic 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, including:

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.

In addition to technical papers we also invite submission of posters which will be presented in a poster session. See below for submission details. It will be possible for authors of technical papers to specify interest in poster acceptance in case of rejection as full paper.

Accepted papers and posters 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.

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 and/or corresponding applications. Those interested in demonstrating a system/application should submit a system description (see below).

ASP/LPNMR Applications -- The special theme of LPNMR?09 is ASP/LPNMR Applications, and we plan to have a special session at the conference devoted to applications of LPNMR with a focus on applications of ASP. In addition to original technical papers on significant ASP/LPNMR applications, we solicit papers that provide an overview of existing successful applications of ASP/LPNMR systems (see below).

WORKSHOPS - 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.

IMPORTANT (PRELIMINARY) DATES - Paper registration 15 April 2009 Paper submission 20 April 2009 Notification 1 June 2009 Final conference papers 22 June 2009

SUBMISSION -- Technical papers (including original application 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, not being simultaneously submitted for publication elsewhere. All submissions will be peer-reviewed by an international panel. Paper submission will be electronic; details will be announced on the conference home page http://www.cs.uni-potsdam.de/lpnmr09

In addition to technical papers, it is also possible to submit posters (up to 6 pages in Springer format), system descriptions (up to 6 pages in Springer format), and overviews of existing ASP/LPNMR applications (up to 6 pages in Springer format).

VENUE - The conference will be held at the University of Potsdam?s Institute of Informatics. Potsdam, once a city of kings and royal residences, is today the capital of the state of Brandenburg in Germany and at the same time a European city of culture and science. The heart of Prussia is famous for its palaces and parks, its gardens and villas, and its numerous museums. Last but not least it nicely complements the adjacent capital city of Berlin.

PROGRAM CHAIRS -- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong, China, http://www.cs.ust.hk/~flin

Torsten Schaub, University of Potsdam, Germany, http://www.cs.uni-potsdam.de/~torsten

ASP/LPNMR APPLICATION THEME CHAIR --- Esra Erdem, Sabanci University, Istanbul, Turkey, http://people.sabanciuniv.edu/esraerdem