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!
Submissions. 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.
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
To be announced