[Apologies in case of multiple posting]

10 days to abstract submission!

                                       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 


 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 


 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:         lpnmr2...@easychair.org (submission and program)
                lpnmr2...@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 
 (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 
 well known for its Parchi, a park of about 22 acres (9 hectares) created from 
 gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has 
 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 
 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 
 destination for tourists, with its scenic vantage points, sea promenades, 
 villas and of course the Riviera to the east and west, both easy to reach: 
 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 
 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 
 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 
 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

Reply via email to