LPNMR'09 First CFP
lpnmr09 at cs.uni-potsdam.de
lpnmr09 at cs.uni-potsdam.de
Mo Okt 13 18:19:58 CEST 2008
CALL 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
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
Mehr Informationen über die Mailingliste IFI-CI-Event