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... | |
| Important dates | |
| Abstracts: | 2008/04/15 |
| Papers: | 2008/04/20 |
| Notification: | 2008/06/01 |
| Camera ready due: | 2008/06/22 |
| Table of Contents | |
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
Facts about "LPNMR 2009"
| Abstract deadline | April 15, 2008 + |
| Acronym | LPNMR 2009 + |
| Camera ready due | June 22, 2008 + |
| End date | September 18, 2009 + |
| Event in series | LPNMR + |
| Event type | Conference + |
| Has coordinates | 52° 24' 3", 13° 3' 33"Latitude: 52.400930555556 Longitude: 13.059138888889 + |
| Has location city | Potsdam + |
| Has location country | Category:Germany + |
| Homepage | http://www.cs.uni-potsdam.de/lpnmr09 + |
| IsA | Event + |
| Notification | June 1, 2008 + |
| Paper deadline | April 20, 2008 + |
| Start date | September 14, 2009 + |
| Submission deadline | April 20, 2008 + |
| Title | 10th International Conference on Logic Programming and Nonmonotonic Reasoning + |
