[DL] LPNMR 2022 - 2nd Call for Papers

cfp cfp at mat.unical.it
Wed Mar 23 17:07:26 CET 2022

[Apologies in case of multiple posting]

1 month 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 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.


  * DATALOG 2.0 Workshop
  * 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.


  Email:lpnmr2022 at easychair.org  (program)
                 lpnmr2022 at dibris.unige.it  (general matters)


  * 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.
  Associated events (workshops) are planned to be held at the University, which is in the
  city center of Genova, but we are still considering if they can be done in the main
  conference venue.
  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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zfn.uni-bremen.de/pipermail/dl/attachments/20220323/bac76ce5/attachment-0001.htm>

More information about the dl mailing list