LPNMR 2009

LPNMR 2009
10th International Conference on Logic Programming and Nonmonotonic Reasoning
Event in series	LPNMR
Dates	2009/09/14 (iCal) - 2009/09/18
Homepage:	www.cs.uni-potsdam.de/lpnmr09
Location
Location:	Potsdam, Germany
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[],"imageoverlays":null}
Important dates
Abstracts:	2008/04/15
Papers:	2008/04/20
Notification:	2008/06/01
Camera ready due:	2008/06/22
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

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