LPNMR 2019 15th International Conference on Logic Programming and Nonmonotonic Reasoning

June 4-7, 2019
Saint Joseph’s University, Philadelphia, PA (USA)

Co-located with Datalog 2.0 Workshop

The Conference. 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. This edition of LPNMR will feature several workshops and a special session dedicated to the 8th ASP Competition. A Doctoral Consortium will also be a part of the program.

The Venue. 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 serves as a historical, and cultural hub that 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. LPNMR 2019 is a testament to Philadelphia’s commitment to educational advancement, as the conference will be held at one of the city’s top colleges: Saint Joseph’s University.

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. 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. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, Independence Hall, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, the Magic Gardens, the Spruce Street Harbor Park, the Kimmel Center, and much more. And don’t forget to try a cheesesteak while you’re visiting!

Topics. 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:

LPNMR 2019 welcomes the submission of long papers (13 pages) and short papers (6 pages) describing 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 conference topics including, but not limited to:

  • 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.
  • Implementation of LPNMR systems:
    • System descriptions, comparisons, evaluations;
    • Algorithms and novel techniques for efficient evaluation;
    • LPNMR benchmarks.
  • 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.

Submissions. 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:

https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

Paper submission is enabled via the LPNMR 2019 Easychair site:
https://easychair.org/conferences/?conf=lpnmr2019

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/Datalo 2.0. Four to six papers will be selected for a rapid publication.

More details can be found in the call for papers.

Important Dates (tentative)

  • Paper registration: January 29
  • Paper submission: February 5
  • Notification: March 12
  • Final versions due: April 2

 

GENERAL CHAIR
Marcello Balduccini, Saint Joseph’s University, USA

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

PUBLICITY CHAIR
Gregory Gelfond, University of Nebraska at Omaha, USA

WORKSHOPS CHAIR
Mario Alviano, University of Calabria, Italy

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

MARKETING CHAIRS
Elizabeth Angelucci, Saint Joseph’s University, USA
Kelsey Neri, Saint Joseph’s University, USA

PROGRAM COMMITTEE
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