By Wolfgang Faber,
University of Calabria,
Italy
Vancouver, BC, Canada, 16-19 May, 2011
Web: http://sites.google.com/site/lpnmr11
LPNMR-11 is the eleventh in the series of international meetings on logic programming and nonmonotonic reasoning. 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 those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge
representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications.
Authors are invited to submit papers presenting original and unpublished research on all aspects of nonmonotonic approaches in logic programming and knowledge representation. We particularly encourage submission of papers on LPNMR techniques which have led to the development of significant applications. We also invite submissions of short papers, which may include system and application descriptions. We invite submissions of both long and short papers.
The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see
http://www.springer.com/lncs/. All accepted papers will be published in the proceedings.
This year the best paper(s) from the conference will be invited to appear at a special track of IJCAI’11 in Barcelona.
Topics (non-exhaustive list)
Foundations of LPNMR Systems:
- Semantics of new and existing languages;
- Action languages, and related approaches (such as causal reasoners);
- Relationships among formalisms;
- Complexity and expressive power;
- Development of inference algorithms and search heuristics for LPNMR systems; Inference algorithms and heuristics for LPNMR systems;
- Extensions of “classical” LPNMR languages by new logical connectives and new inference capabilitiessuch as abduction, reasoning by cases, etc ;
- Updates, revision, and other operations on LPNMR systems;
- Uncertainty in LPNMR systems.
Implementation of LPNMR systems:
- System descriptions, comparisons, evaluations;
- LPNMR benchmarks.
Applications of LPNMR systems:
- Using LPNMR to model problems in KR and commonsense reasoning;
- LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and model checking;
- Applications of action languages, to policies, planning, and other areas;
- Applications of LPNMR languages in data integration and exchange systems;
- Integration of LPNMR systems with other computational paradigms;
- * Embedded LPNMR: Systems using LPNMR subsystems.
Submission
LPNMR-11 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories.
- Technical papers
- System descriptions
- Application descriptions
The indicated number of pages includes title page, references and figures. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series. All submissions will be peer-reviewed; and all accepted papers will appear in the conference proceedings. Submissions must be formatted according to the Springer LNCS author instructions, be written in English, and present original research.
Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr11 .
Workshops
The program of LPNMR-11 will also include several specialised workshops. These workshops provide a venue for presenting more specialised and focussed topics, and are intended to allow for intensive discussions and project collaboration in any area related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR-11 are invited to submit an informal workshop proposal to the program chairs by 31 December 2010. Potential workshop organizers are also
invited to discuss their ideas for a workshop with the program chairs beforehand.
Important Dates
- Paper registration: 6 December 2010
- Paper submission: 13 December 2010
- Workshop applications: 31 December 2010
- Notification: 8 February 2011
- Final versions due: 25 February 2011
Venue
Vancouver is located on the west coast of Canada. It is considered one of the most liveable and beautiful cities in the world and features a broad range of outdoor, leisure, and cultural activities. The conference will be held at the Segal Graduate School of Business of Simon Fraser University in downtown Vancouver. The conference is about 20 minutes from the airport by rapid transit.
Program Chairs
James Delgrande, Simon Fraser University, Canada
Wolfgang Faber, University of Calabria, Italy
Program Committee
Jóse Júlio Alferes, Universidade Nova de Lisboa, Portugal
Marcello Balduccini, Kodak Research Labs, USA
Chitta Baral, Arizona State University, USA
Leopoldo Bertossi, Carleton University, Canada
Richard Booth, University of Luxembourg, Luxembourg
Gerhard Brewka, University of Leipzig, Germany
Pedro Cabalar, University of Corunna, Spain
Stefania Costantini, University of L’Aquila, Italy
Marina De Vos, University of Bath, UK
James Delgrande, Simon Fraser University, Canada
Marc Denecker, KU Leuven, Belgium
Yannis Dimopoulos, University of Cyprus, Cyprus
Jürgen Dix, Technical University of Clausthal, Germany
Agostino Dovier, University of Udine, Italy
Thomas Eiter, Vienna University of Technology, Austria
Esra Erdem, Sabanci University, Turkey
Wolfgang Faber, University of Calabria, Italy
Michael Fink, Vienna University of Technology, Austria
Andrea Formisano, University of Perugia, Italy
Martin Gebser, University of Potsdam, Germany
Michael Gelfond, Texas Tech University, USA
Giovambattista Ianni, University of Calabria, Italy
Tomi Janhunen, Aalto University, Finland
Antonis Kakas, University of Cyprus, Cyprus
Joohyung Lee, Arizona State University, USA
Nicola Leone, University of Calabria, Italy
Vladimir Lifschitz, University of Texas, USA
Fangzhen Lin, Hong Kong University of Science and Technology, China
Jorge Lobo, IBM T. J. Watson Research Center, USA
Robert Mercer, University of Western Ontario, Canada
Alessandra Mileo, University of Milan-Bicocca, Italy
Pascal Nicolas, University of Angers, France
Ilkka Niemelä, Aalto University, Finland
Mauricio Osorio, Universidad de las Américas, Mexico
Ramon Otero, University of Corunna, Spain
David Pearce, Universidad Politécnica de Madrid, Spain
Axel Polleres, National University of Ireland, Ireland
Enrico Pontelli, New Mexico State University, USA
Chiaki Sakama, Wakayama University, Japan
John Schlipf, University of Cincinnati, USA
Tran Cao Son, New Mexico State University, USA
Terrance Swift, Stony Brook University, USA
Evgenia Ternovska, Simon Fraser University, Canada
Hans Tompits, Vienna University of Technology, Austria
Francesca Toni, Imperial College London, UK
Mirek Truszczynski, University of Kentucky, USA
Agustin Valverde, University of Malaga, Spain
Kewen Wang, Griffith University, Australia
Stefan Woltran, Vienna University of Technology, Austria
Jia-Huai You, University of Alberta, Canada
Yan Zhang, University of Western Sydney, Australia