[Haskell] LPNMR'05: Call for Papers

lpnmr05.publicity at mat.unical.it lpnmr05.publicity at mat.unical.it
Mon Mar 7 04:33:11 EST 2005

                [Apologies if you receive this more than once]

                              Call for Papers

               8th International Conference on Logic Programming
                       and Nonmonotonic Reasoning
                         Diamante, Cosenza, Italy
                           September 5-8, 2005


LPNMR'05 is the eighth in the series of international meetings on logic
programming and nonmonotonic reasoning. Seven previous meetings were held
in Washington, D.C., (1991), in Lisbon, Portugal (1993), in Lexington,
Kentucky (1995), in Dagstuhl, Germany (1997), in El Paso, Texas (1999),
in Vienna, Austria (2001), and in Fort Lauderdale, Florida (2004).

LPNMR'05 will be organized by the Department of Mathematics of University
of Calabria (Italy), and will be co-located with the INFOMIX Workshop
on Data Integration.


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 
exprimental 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 application of LPNMR 
techniques to build significant applications.

A non-exhaustive list of topics of interest includes: 

1. Development and mathematical studies of logical systems
   with nonmonotonic entailment relations:
     - Semantics of new and existing languages;
     - Relationships between formalisms;
     - Complexity and expressive power;
     - Development of inference algorithms and search heuristics for
       LPNMR systems;
     - Extensions of ''classical'' LPNMR languages by new logical
       connectives and new inference capabilities such as abduction,
       reasoning by cases, etc;
     - Updates and other operations on LPNMR systems;
     - Uncertainty in LPNMR systems.
2. Implementation of LPNMR systems: 
     -  system descriptions, comparisons, evaluations;
     -  LPNMR benchmarks.

3. Applications of LPNMR systems:
     - LPNMR languages and algorithms in planning, diagnosis,
       software engineering, decision making, and other domains;
     - Applications of LPNMR languages in Data Integration and Exchange 
     - Methodology of representing knowledge in LPNMR languages:
       theory and practice;
     - Integration of LPNMR systems with other computational
     - Embedded LPNMR systems: Systems using LPNMR subsystems.          


As part of the technical program, we also plan a special session devoted 
to presentations and demonstrations of implemented nonmonotonic reasoning 
systems. Systems and application demonstration tracks will be announced 
in a distinct call.


 Abstract Submission Deadline      March 22, 2005, 23:59:59 GMT
 Paper Submission Deadline         March 25, 2005, 23:59:59 GMT
 Notification (Accept/Reject)      May   16, 2005
 Conference Schedule               June   6, 2005
 Final Conference Papers           June  10, 2005
 Early Registration Deadline       July 4, 2005
 Conference                        September 5-8, 2005


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 (see <URL:http://www.springer.de/comp/lncs/authors.html>). 
Papers must be written in English and present original research.

Paper submission is electronic via the conference home page
http://www.mat.unical.it/lpnmr05/. Papers must be registered (title, abstract,
keywords, authors, contact information) by March 22, 2005, 23:59:59 GMT; 
the full paper must be uploaded by March 25, 2005, 23:59:59 GMT.


 Chitta Baral         (Arizona State University, USA)
 Nicola Leone         (University of Calabria, Italy)


 Jose Alferes         (New University of Lisbon, Portugal) 
 Leopoldo Bertossi    (Carleton University, Canada)
 Pedro Cabalar        (Corunna University, Spain)
 Gerhard Brewka       (Leipzig University, Germany)
 Juergen Dix          (Technical University of Clausthal, Germany)
 Wolfgang Faber       (University of Calabria, Italy)
 Norman Foo           (National ICT Australia and University of New South Wales, Australia)
 Michael Gelfond      (Texas Tech University, USA)
 Antonis Kakas        (University of Cyprus, Cyprus)
 Katsumi Inoue        (National Institute of Informatics, Japan)
 Vladimir Lifschitz   (University of Texas at Austin, USA)
 Fangzhen Lin         (Hong Kong University of Science and Technology, China)
 Ilkka Niemelä        (Helsinki University of Technology, Finland)
 David Pearce         (Rey Juan Carlos University, Spain) 
 Alessandro Provetti  (University of Messina, Italy)
 Francesco Scarcello  (University of Calabria, Italy)
 Torsten Schaub       (University of Potsdam, Germany)
 Hans Tompits         (Vienna University of Technology, Austria) 
 Francesca Toni       (Imperial College, London, UK)
 Mirek Truszczynski   (University of Kentucky, USA) 
 Marina de Vos        (University of Bath, United Kingdom) 


 Gianluigi Greco      (University of Calabria, Italy)


 Giovambattista Ianni (University of Calabria, Italy)
 Giorgio Terracina    (University of Calabria, Italy)

More information about the Haskell mailing list