posted by user: ggelfond || 5217 views || tracked by 5 users: [display]

LPNMR 2019 : 15th International Conference on Logic Programming and Non-monotonic Reasoning


Conference Series : Logic Programming and Non-Monotonic Reasoning
When Jun 3, 2019 - Jun 7, 2019
Where Philadelphia, USA
Abstract Registration Due Feb 5, 2019
Submission Deadline Feb 12, 2019
Notification Due Mar 17, 2019
Final Version Due Apr 2, 2019
Categories    foundations of lpnmr systems   implementation of lpnmr system   applications of lpnmr

Call For Papers

Call for Papers

15th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2019

Philadelphia, USA
June 3-7, 2019

Part of the Philadelphia Logic Week 2019

Co-located with
Datalog 2.0 Workshop
International Workshop on Bidirectional Transformations
International Workshop on Theory and Practice of Provenance


LPNMR 2019 is the fifteenth 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. A Doctoral Consortium
will also be a part of the program.

This year's edition of the conference seeks to raise submissions devoted
towards use of LPNMR techniques in emerging applications stemming from such
areas as deep learning, robotics, cybersecurity, modeling cyberphysical
systems, and human-aware AI. Aspects that have been studied in commonsense
reasoning, inconsistency tolerance, and handling of dynamic knowledge appear
essential in enabling these emerging applications to provide
explanations and justifications of their outcomes. LPNMR 2019 aims to
bring together researchers from LPNMR core areas and application areas of
the aforementioned kind in order to share research experiences, promote
collaboration and identify directions for joint future research.

Esra Erdem, Sabanci University, Turkey
Michael Gelfond, Texas Tech University, USA
V.S. Subrahmanian, Dartmouth College, USA


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.


LPNMR 2019 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:

Paper submission is enabled via the LPNMR 2019 Easychair site:

Two best papers of general AI interest will be invited for rapid
publication in the Artificial Intelligence Journal.

Also, the journal Theory and Practice of Logic Programming will devote
a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers
will be selected for a rapid publication.

An additional prize of 1000 EUR, sponsored by Springer, will be
shared out among the best papers of the conference.

In case of invited papers for a rapid publication in journals,
there should be at least 30% new content compared to the published
conference paper. The extra material should consist of extensions of
the existing material such as proofs, further experimental results, and
implementation details (some of which would appear as supplementary material).
New results could be included too, if appropriate. Authors invited
to submit to the special issue should confirm that such extra material
is available.


LPNMR 2019 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.


DATALOG 2.0 Workshop
International Workshop on Bidirectional Transformations
International Workshop on Theory and Practice of Provenance


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

WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on
June 3 and 4:

* The 12th Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP)
Organizers: Jorge Fandinno and Johannes K. Fichte

* Causal Reasoning and Explanation in Logic Programming
Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar
and, Jorge Fandino

* The 5th International Workshop on Defeasible and Ampliative
Reasoning (DARe)
Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

* The 5th International Workshop on Grounding and Transformations for
Theories with Variables (GTTV)
Organizers: Antonius Weinzierl and Peter Schuller

* The 3rd International Workshop on User-Oriented Logic Paradigms (IULP)
Organizers: Stefan Ellmauthaler and Christos Rodosthenous

* Workshop on the ASP Challenge 2019 (WAC 2019)
Organizers: Carmine Dodaro, Christoph Redl, and Peter Schuller




* Paper registration: February 5 *(UPDATED)*
* Paper submission: February 12 *(UPDATED)*
* Notification: March 17 *(UPDATED)*
* Final versions due: April 2


Philadelphia, or the "City of Brotherly Love," is the sixth-largest city
in the United States and once served as the nation's capital. Philadelphia
is an active historical and cultural hub, and has been striving for
excellence since 1776. The city's rich history of knowledge and academic
prowess has never diminished as it continues to promote and foster higher
education. Visitors can explore various attractions in and around
Philadelphia, such as the Philadelphia Museum of Art, the Franklin
Institute, the Barnes Foundation, the Reading Terminal Market, and much

Located on the East Coast of the U.S., between New York City and
Washington D.C., Philadelphia is easily reachable by air, train, and
car. As a testament to Philadelphia's commitment to educational
advancement, LPNMR 2019 will be held in one of the city's top colleges,
Saint Joseph's University. Saint Joseph's campus is located at the
outskirts of the city, in an area that features historic homes, green
areas, and a quick connection to Philadelphia's Center City and Old


Marcello Balduccini, Saint Joseph's University, USA


Yuliya Lierler, University of Neraska at Omaha, USA
Stefan Woltran, TU Wien, Austria


Gregory Gelfond, University of Nebraska at Omaha, USA


Mario Alviano, University of Calabria, Italy


Fangkai Yang, MAANA Inc., USA
Joerg Puehrer, TU Wien, Austria


Elizabeth Angelucci, Saint Joseph's University, USA
Kelsey Neri, Saint Joseph's University, USA


Chitta Baral Arizona State University
Bart Bogaerts Katholieke Universiteit Leuven
Martin Brain University of Oxford
Gerhard Brewka Leipzig University
Pedro Cabalar Corunna University
Francesco Calimeri University of Calabria
Stefania Costantini Univ. di L'Aquila
Marina De Vos University of Bath
James Delgrande Simon Fraser University
Agostino Dovier Univ. di Udine
Thomas Eiter Vienna University of Technology
Esra Erdem Sabanci University
Wolfgang Faber Alpen-Adria-Universitat Klagenfurt
Johannes K. Fichte TU Dresden
Paul Fodor Stony Brook University
Andrea Formisano Universita di Perugia, Italy
Gerhard Friedrich Alpen-Adria-Universitat Klagenfurt
Sarah Alice Gaggl TU Dresden
Martin Gebser University of Potsdam
Michael Gelfond Texas Tech University
Giovanni Grasso University of Oxford
Amelia Harrison The University of Texas at Austin
Anthony Hunter University College London
Giovambattista Ianni University of Calabria, Italy
Daniela Inclezan Miami University
Tomi Janhunen Aalto University
Gabriele Kern-Isberner Technische Universitaet Dortmund
Matthias Knorr Universidade NOVA de Lisboa
Joohyung Lee Arizona State University
Joao Leite Universidade NOVA de Lisboa
Nicola Leone University of Calabria
Vladimir Lifschitz University of Texas at Austin
Fangzhen Lin Hong Kong University of Science and Technology
Marco Maratea DIBRIS, University of Genova
Thomas Meyer University of Cape Town and CAIR
Alessandra Mileo Dublin City University
Emilia Oikarinen Aalto University
David Pearce Universidad Politecnica de Madrid
Axel Polleres Vienna University of Economics and Business - WU Wien
Enrico Pontelli New Mexico State University
Christoph Redl Vienna University of Technology
Francesco Ricca University of Calabria
Orkunt Sabuncu TED University, Ankara
Chiaki Sakama Wakayama University
Torsten Schaub University of Potsdam
Peter Schuller Vienna University of Technology
Guillermo R. Simari Universidad del Sur in Bahia Blanca
Mantas Simkus Vienna University of Technology
Tran Cao Son New Mexico State University
Theresa Swift NOVALINKS, Universidade Nova de Lisboa
Eugenia Ternovska Simon Fraser University
Daniele Theseider Dupre' Universita' del Piemonte Orientale
Matthias Thimm Universitat Koblenz-Landau
Hans Tompits Vienna University of Technology
Mirek Truszczynski University of Kentucky
Agustin Valverde Universidad de Malaga, Malaga, Spain
Johannes P. Wallner Vienna University of Technology
Kewen Wang Griffith University
Yisong Wang Guizhou University
Renata Wassermann University of Sao Paulo
Antonius Weinzierl Vienna University of Technology
Jia-Huai You University of Alberta
Yuanlin Zhang Texas Tech University
Yi Zhou University of Technology, Sydney

Related Resources

LPNMR 2022   16th International Conference on Logic Programming and Non-monotonic Reasoning
NMR 2022   International Workshop on Non-Monotonic Reasoning
HYDRA 2022   1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning
LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
PRIMA 2022   The 23rd International Conference on Principles and Practice of Multi-Agent Systems
TIME 2022   29th International Symposium on Temporal Representation and Reasoning
Linearity & TLLA - 2022   Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
STRL 2022   1st International Workshop on Spatio-Temporal Reasoning and Learning
MEandE-LP 2022   2nd International Workshop on Machine Ethics and Explainability - The Role of Logic Programming