CFP: Logic Programming and Non-monotonic Reasoning 2019

Philadelphia, USA

June 4-7, 2019

Co-located with Datalog 2.0 Workshop

 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.

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:

 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’ 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.

 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

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.

 WWW: http://sju.edu/lpnmr/

 Email: [email protected]

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 more.

 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 City.

Marcello Balduccini, Saint Joseph’s University, USA

Yuliya Lierler, University of Nebraska 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-Universität Klagenfurt

 Johannes K. Fichte TU Dresden

 Paul  Fodor        Stony Brook University

 Andrea   Formisano     Universita di Perugia, Italy

 Gerhard  Friedrich Alpen-Adria-Universität 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 Politécnica 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  Schüller 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 Universität 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 São Paulo

 Antonius Weinzierl Vienna University of Technology

 Jia-Huai You University of Alberta

 Yuanlin  Zhang Texas Tech University

 Yi  Zhou University of Technology, Sydney