[PlanetKR] CFP: LPNMR'09

Mary-Anne Williams Mary-Anne at it.uts.edu.au
Wed Oct 15 04:50:07 EST 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 significant 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 APPLICATIONS THEME CHAIR
----------------------------------

Esra Erdem, Sabanci University, Istanbul, Turkey,
http://people.sabanciuniv.edu/esraerdem
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: lpnmr09.txt
Url: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20081015/0672018f/attachment.txt 


More information about the PlanetKR mailing list