LPNMR: Logic Programming and Non-Monotonic Reasoning



Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
LPNMR 2022 16th International Conference on Logic Programming and Non-monotonic Reasoning
Sep 5, 2022 - Sep 8, 2022 Genova, Italy Apr 30, 2022 (Apr 23, 2022)
LPNMR 2019 15th International Conference on Logic Programming and Non-monotonic Reasoning
Jun 3, 2019 - Jun 7, 2019 Philadelphia, USA Feb 12, 2019 (Feb 5, 2019)
LPNMR 2017 14th International Conference on Logic Programming and Non-monotonic Reasoning
Jul 3, 2017 - Jul 6, 2017 Hanasaari, Espoo, Finland Feb 9, 2017 (Feb 5, 2017)
LPNMR 2013 Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning
Sep 15, 2013 - Sep 19, 2013 Corunna, Spain Apr 24, 2013 (Apr 17, 2013)
LPNMR 2011 11th International Conference on Logic Programming and Nonmonotonic Reasoning
May 16, 2011 - May 19, 2011 Vancouver Dec 8, 2010 (Dec 1, 2010)
LPNMR 2009 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Sep 14, 2009 - Sep 18, 2009 Potsdam, Germany Apr 20, 2009 (Apr 15, 2009)

Present CFP : 2022

[Apologies in case of multiple posting]

Call for Papers

16th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2022


Genova, Italy
September 5-9, 2022



LPNMR 2022 is the sixteenth 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 non-monotonic 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.

LPNMR 2022 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 2022 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, figures, tables, references
and appendix. 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) 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 2022 Easychair site:

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

Also, the 2-5 best papers with a logic programming focus will be invited
for rapid publication in the journal of Theory and Practice of Logic Programming.


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


* 4th International Workshop on the Resurgence of Datalog in Academia
and Industry (DATALOG 2.0)
* 1st International Workshop on HYbrid Models for Coupling Deductive and
Inductive ReAsoning (HYDRA 2022)
* 29th RCRA workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion (RCRA 2022)


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.


WWW: https://lpnmr2022.dibris.unige.it
Email: lpnmr2022@easychair.org (submission and program)
lpnmr2022@dibris.unige.it (general and local matters)
Facebook: https://www.facebook.com/lpnmr2022
Twitter: https://twitter.com/lpnmr2022
Instagram: https://www.instagram.com/lpnmr2022


* Paper registration: April 23, 2022
* Paper submission: April 30, 2022
* Notification: June 10, 2022
* Final versions due: June 30, 2022


The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani
(http://www.collegioemiliani.it/, information available only in Italian on this link),
which is a college directly situated on the sea.
Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km
east of central Genova. Genova is the capital of Liguria, stretching along the
bay of the same name from Nervi to the east as far as Voltri to the west.
The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs.
The stunning views make it one of Italy's most beautiful promenades. Nervi is also
well known for its Parchi, a park of about 22 acres (9 hectares) created from the
gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical
Mediterranean plant species and many exotic species.
Genova's old town district (reachable by local train, by bus, as well as by boat) is
one of the largest in Europe, and hosts some remarkable artistic and architectural
treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered
on the UNESCO World Heritage List.
In addition to offering a wealth of cultural attractions, Genova is a fascinating
destination for tourists, with its scenic vantage points, sea promenades, aristocratic
villas and of course the Riviera to the east and west, both easy to reach: Portovenere
and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east
and Alassio, Sanremo, Bordighera to the west.

Workshops and associated events, differently from what we mentioned in the previous call,
are planned to be held in the main conference venue as well.

Of course, we will continuously monitor the pandemic situation in order to evaluate whether
the conference can be indeed held as an in-person event, or we will need to switch to a
hybrid event, if not completely on-line.


Georg Gottlob, Oxford University, UK


Daniela Inclezan, Miami University, USA
Marco Maratea, University of Genova, Italy


Jessica Zangari, University of Calabria, Italy


Viviana Mascardi, University of Genova, Italy


Martin Gebser, University of Klagenfurt, Austria


Matteo Cardellini, University of Genova, Italy
Angelo Ferrando, University of Genova, Italy (Chair)
Marco Mochi, University of Genova, Italy


Mario Alviano, Department of Mathematics and Computer Science, University of Calabria
Chitta Baral, Arizona State University
Marcello Balduccini, Saint Joseph's University
Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria
Marina De Vos, University of Bath
Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria
Agostino Dovier, University of Udine
Daniele Theseider Dupré, Universita' del Piemonte Orientale
Thomas Eiter, Vienna University of Technology
Esra Erdem, Sabanci University
Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
Johannes K. Fichte, TU Wien
Paul Fodor, Stony Brook University
Gerhard Friedrich, Alpen-Adria-Universitaet
Sarah Alice Gaggl, TU Dresden
Martin Gebser, University of Klagenfurt
Michael Gelfond, Texas Tech University
Gopal Gupta, The University of Texas at Dallas
Katsumi Inoue, NII
Tomi Janhunen, Tampere University
Gabriele Kern-Isberner, Technische Universitaet Dortmund
Matthias Knorr, Universidade NOVA de Lisboa
Emily Leblanc, Drexel University
Joao Leite, Universidade NOVA de Lisboa
Vladimir Lifschitz, The University of Texas at Austin
Enrico Pontelli, New Mexico State University
Francesco Ricca, Department of Mathematics and Computer Science University of Calabria
Alessandra Russo, Imperial College London
Orkunt Sabuncu, TED University, Ankara
Chiaki Sakama, Wakayama University
Torsten Schaub, University of Potsdam
Guillermo R. Simari, Universidad del Sur in Bahia Blanca
Theresa Swift, NOVALINKS, Universidade Nova de Lisboa
Matthias Thimm, FernUniversität in Hagen
Hans Tompits, Vienna University of Technology
Mirek Truszczynski, Computer Science Department, University of Kentucky
Johannes P. Wallner, TU Graz
Kewen Wang, Griffith University
Stefan Woltran, Vienna University of Technology
Jia-Huai You, University of Alberta


Related Resources

LPAR 2023   24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
JELIA 2023   18th European Conference on Logics in Artificial Intelligence
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
LoReTra 2023   Workshop on Logic Representation of Traffic Rules
ICLP 2023   International Conference on Logic Programming
KI 2023   46th German Conference on Artificial Intelligence
SCIDOCA 2023   Seventh International Workshop on SCIentific DOCument Analysis
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
SAIS 2023   The 35th Swedish AI Society workshop
KR 2023   Principles of Knowledge Representation and Reasoning