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