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

Posted on October 27, 2016 in Conferences
Submission Deadline Friday 03 Feb 2017  ( Deadline extended ? Click here to edit )
Conference & Submission Link http://lpnmr2017.aalto.fi/
Conference Dates Jul 3, 2017 - Jul 6, 2017
Conference Address Hanasaari, Finland
Proceedings indexed by

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

—————————————————————————

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.

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.

TOPICS

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 will be electronic through the LPNMR-17 Easychair site:

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

Two best papers with 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.

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

Alessandra Mileo, National University of Ireland, Ireland

Emilia Oikarinen, Finnish Institute of Occupational Health, Finland

Mauricio Osorio, Universidad de las Americas Puebla, Mexico

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

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

Other Conferences in Finland

EuCNC 2017 : European Conference on Networks and Communications

Deadline :
Mon 06 Feb 2017
Jun 12, 2017 - Jun 15, 2017 - Oulu
Finland

IEEE CIT 2017 : 17th IEEE International Conference on Computer and Information Technology

Deadline :
Wed 15 Mar 2017
Aug 21, 2017 - Aug 23, 2017 - Helsinki
Finland

NSS 2017 : 11th International Conference on Network and System Security

Deadline :
Wed 15 Mar 2017
Aug 21, 2017 - Aug 23, 2017 - Helsinki
Finland