LPNMR: Logic Programming and Non-Monotonic Reasoning

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
LPNMR 2017 14th International Conference on Logic Programming and Non-monotonic Reasoning
Jul 3, 2017 - Jul 6, 2017 Hanasaari, Espoo, Finland Feb 3, 2017 (Jan 17, 2017)
LPNMR 2013 Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning
Sep 15, 2013 - Sep 19, 2013 Corunna, Spain Apr 24, 2013 (Apr 17, 2013)
LPNMR 2011 11th International Conference on Logic Programming and Nonmonotonic Reasoning
May 16, 2011 - May 19, 2011 Vancouver Dec 8, 2010 (Dec 1, 2010)
LPNMR 2009 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Sep 14, 2009 - Sep 18, 2009 Potsdam, Germany Apr 20, 2009 (Apr 15, 2009)
 
 

Present CFP : 2017

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
 

Related Resources

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
DBKDA 2017   The Ninth International Conference on Advances in Databases, Knowledge, and Data Applications
KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
FoSSaCS 2017   20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
Artificial Intelligence Workshop - ENC 2016   Artificial Intelligence Workshop: Methods and applications - At Mexican International Conference on Computer Science 2016 (ENC 2016)
ILP 2016   The 26th International Conference on Inductive Logic Programming
TACL 2017   TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation