CFP: Logic Programming and Non-monotonic Reasoning 2019

15th International Conference on Logic Programming and Non-monotonic Reasoning
LPNMR 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:
  • 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’ 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.
  • Paper registration: January 29
  • Paper submission:   February 5
  • Notification:       March 12
  • 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 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