[DL] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017

[Peter Schüller]

                               Call for Papers
---------------------------------------------------------------------------

                       14th International Conference on
                Logic Programming and Non-monotonic Reasoning
                                 LPNMR 2017

                          http://lpnmr2017.aalto.fi/

                          Hanasaari, Espoo, Finland
                               July 3-6, 2017

!!! Submissions enabled !!! AIJ&TPLP Fast Tracks !!! Springer PB Prize !!!
---------------------------------------------------------------------------

AIMS AND SCOPE

 LPNMR 2017 is the fourteenth in the series of international meetings
 on logic programming and non-monotonic reasoning. LPNMR is a forum
 for exchanging ideas on declarative logic programming, non-monotonic
 reasoning, and knowledge representation. The aim of the conference is
 to facilitate interactions between researchers and practitioners
 interested in the design and implementation of logic-based programming
 languages and database systems, and those working in knowledge
 representation and nonmonotonic reasoning. LPNMR strives to encompass
 theoretical and experimental studies that have led or will lead to
 advances in declarative programming and knowledge representation, as
 well as their use in practical applications. This edition of LPNMR
 will feature several workshops and a special session dedicated to the
 7th ASP Competition. A Doctoral Consortium will also be a part of
 the program.

INVITED SPEAKERS
 
 Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal
 Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA
 Francesca Toni, Imperial College, London, UK 

TOPICS

 Authors are invited to submit papers presenting original and unpublished
 research on all aspects of non-monotonic approaches in logic programming
 and knowledge representation. We invite submissions of both long and
 short papers on topics detailed below.

 Conference topics include, but are not limited to:

 1. Foundations of LPNMR Systems:
   * Semantics of new and existing languages;
   * Action languages, causality;
   * Formalization of Commonsense Reasoning and understanding
     its laws and nature;
   * Relationships among formalisms;
   * Complexity and expressive power;
   * Inference algorithms and heuristics for LPNMR systems;
   * Extensions of traditional LPNMR languages such as new logical
     connectives or new inference capabilities;
   * Updates, revision, and other operations on LPNMR systems;
   * Uncertainty in LPNMR systems.

 2. Implementation of LPNMR systems:
   * System descriptions, comparisons, evaluations;
   * Algorithms and novel techniques for efficient evaluation;
   * LPNMR benchmarks.

 3. Applications of LPNMR:
   * Use of LPNMR in Commonsense Reasoning and other areas of KR;
   * LPNMR languages and algorithms in planning, diagnosis, argumentation,
     reasoning with preferences, decision making and policies;
   * Applications of LPNMR languages in data integration and exchange
     systems, software engineering and model checking;
   * Applications of LPNMR to bioinformatics, linguistics, psychology,
     and other sciences;
   * Integration of LPNMR systems with other computational paradigms;
   * Embedded LPNMR: Systems using LPNMR subsystems.

SUBMISSION

 LPNMR 2017 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. All submissions will be peer-reviewed and accepted papers will
 appear in the conference proceedings published in the Springer's
 Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
 author of each accepted paper is expected to register for the conference
 to present the work. Submissions must be written in English, present
 original research, and be formatted according to Springer's guidelines
 and technical instructions available at:

    https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

 Paper submission is now enabled via the LPNMR-17 Easychair site:

          https://www.easychair.org/conferences/?conf=lpnmr2017

 Two best papers of general AI interest will be invited for a rapid
 publication in the Artificial Intelligence Journal (AIJ). Two best
 papers with narrower logic programming focus will be invited for a
 rapid publication in Theory and Practice of Logic Programming (TPLP).
 An additional prize of 1000 EUR, sponsored by Springer, will be
 shared out among the best papers of the conference.

MULTIPLE SUBMISSION POLICY

 LPNMR 2017 will not accept any paper which, at the time of submission, is
 under review or has already been published or accepted for publication in
 a journal or another conference. Authors are also required not to submit
 their papers elsewhere during LPNMR's review period. However, these
 restrictions do not apply to previous workshops with a limited audience
 and without archival proceedings.

ASSOCIATED EVENTS

 WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on 
 July 3 prior to the main conference. Currently planned workshops include:

 - Answer Set Programming and Other Computing Paradigms (ASPOCP)
   Organizers: Bart Bogaerts and Amelia Harrison

 - Defeasible and Ampliative Reasoning (DARe)
   Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

 - Grounding and Transformations for Theories with Variables (GTTV)
   Organizers: Simona Perri and Shahab Tasharrofi

 - Knowledge Representation and Planning for
   Robotics and Autonomous Systems (KPRAS)
   Organizers: Fangkai Yang and Shiqi Zhang

 - Practical Aspects of Answer Set Programming (PAoASP)
   Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca

 - User-Oriented Logic Paradigms (IULP)
   Organizers: Stefan Ellmauthaler and Claudia Schulz

 ASP COMPETITION - A special session dedicated to a discussion of the
 7th ASP System Competition, including the methodology of the competition,
 benchmarks used, lessons learned and, most importantly, the results and
 the announcement of the winners.

 DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change
 to present their current research, get feedback from peers and senior
 researchers, and establish contacts for the future.

FURTHER INFORMATION
 WWW: lpnmr2017.aalto.fi/
 email: lpnmr2017 at list dot aalto dot fi

IMPORTANT DATES

   * Paper registration: January 27th, 2017
   * Paper submission:   February 3rd, 2017
   * Notification:       March 3rd, 2017
   * Final versions due: March 17th, 2017

VENUE

 Espoo, the second largest and the fastest growing city in Finland, is
 located right next to the capital Helsinki in the coastal Finland. Espoo is
 Northern Europe's largest high-tech and innovation hub where science,
 business and culture meet the wilderness of Nuuksio National Park and
 stunning seaside environment. Espoo's location offers excellent traffic
 connections: only half an hour from the international airport and
 harbors. The main campus of Aalto University is situated in Espoo.

 The LPNMR 2017 conference will be held in the Hanasaari Conference
 center that is located on an island of its own and is only 15 minutes
 away from Helsinki center by public transport.

PROGRAM CHAIRS
 Marcello Balduccini, Drexel University, USA
 Tomi Janhunen, Aalto University, Finland

PUBLICITY CHAIR
 Peter Schüller, Marmara University, Turkey

WORKSHOPS CHAIR
 Joohyung Lee, Arizona State University, USA

DOCTORAL CONSORTIUM CHAIR
 Marina De Vos, University of Bath, UK

7TH ASP COMPETITION ORGANIZERS
 Martin Gebser, University of Potsdam, Germany
 Marco Maratea, University of Genoa, Italy
 Francesco Ricca, University of Calabria, Italy

PROGRAM COMMITTEE
 Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
 Marcello Balduccini, Drexel University, USA
 Chitta Baral, Arizona State University, USA
 Bart Bogaerts, KU Leuven, Belgium
 Gerhard Brewka, Leipzig University, Germany
 Pedro Cabalar, University of Corunna, Spain
 Francesco Calimeri, University of Calabria, Italy
 Stefania Costantini, University of L'Aquila, Italy
 James Delgrande, Simon Fraser University, Canada
 Marc Denecker, K.U.Leuven, Belgium
 Marina De Vos, University of Bath, UK
 Agostino Dovier, University of Udine, Italy
 Thomas Eiter, Vienna University of Technology, Austria
 Wolfgang Faber, University of Huddersfield, UK
 Paul Fodor, Stony Brook University, USA
 Alfredo Gabaldon, GE Global Research, USA
 Martin Gebser, University of Potsdam, Germany
 Michael Gelfond, Texas Tech University, USA
 Giovanni Grasso, Oxford University, UK
 Giovambattista Ianni, University of Calabria, Italy
 Daniela Inclezan, Miami University, USA
 Tomi Janhunen, Aalto University, Finland
 Matthias Knorr, Universidade Nova de Lisboa, Portugal
 Joohyung Lee, Arizona State University, USA
 Yuliya Lierler, University of Nebraska at Omaha, USA
 Vladimir Lifschitz, University of Texas at Austin, USA
 Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
 Marco Maratea, University of Genoa, Italy
 Alessandra Mileo, National University of Ireland, Ireland
 Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
 Mauricio Osorio, Universidad de las Americas Puebla, Mexico
 Ravi Palla, GE Global Research, USA
 David Pearce, Universidad Politécnica de Madrid, Spain
 Axel Polleres, Vienna University of Economics and Business, Austria
 Enrico Pontelli, New Mexico State University, USA
 Christoph Redl, Vienna University of Technology, Austria
 Alessandra Russo, Imperial College, United Kingdom
 Orkunt Sabuncu, University of Potsdam, Germany
 Chiaki Sakama, Wakayama University, Japan
 Torsten Schaub, University of Potsdam, Germany
 Peter Schüller, Marmara University, Turkey
 Tran Cao Son, New Mexico State University, USA
 Hannes Strass, Leipzig University, Germany
 Theresa Swift, Universidade Nova de Lisboa, Portugal
 Shahab Tasharrofi, Aalto University, Finland
 Eugenia Ternovska, Simon Fraser University, Canada
 Hans Tompits, Vienna University of Technology, Austria
 Mirek Truszczynski, University of Kentucky, USA
 Agustin Valverde, Universidad de MÃ laga, Spain
 Kewen Wang, Griffith University, Australia
 Yisong Wang, Guizhou University, China
 Stefan Woltran, Vienna University of Technology, Austria
 Jia-Huai You, University of Alberta, Canada
 Yi Zhou, University of Western Sydney, Australia

(Apologies if you receive multiple copies of this email. Please distribute to interested parties.)