posted by organizer: jessicazangari || 249 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Logic Programming and Non-Monotonic Reasoning
 
Link: https://sites.google.com/view/lpnmr2022
 
When Sep 5, 2022 - Sep 8, 2022
Where Genova, Italy
Abstract Registration Due Apr 23, 2022
Submission Deadline Apr 30, 2022
Notification Due Jun 10, 2022
Final Version Due Jun 30, 2022
Categories    logic programming   non-monotonic reasoning   knowledge representation
 

Call For Papers

[Apologies in case of multiple posting]

Call for Papers

-----------------------------------------------------------------------

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

https://sites.google.com/view/lpnmr2022

Genova, Italy
September 5-8, 2022

-----------------------------------------------------------------------

AIMS AND SCOPE

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.


TOPICS

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.


SUBMISSION AND PUBLICATION

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, 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) 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 2022 Easychair site:
https://easychair.org/conferences/?conf=lpnmr2022

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.


MULTIPLE SUBMISSION POLICY

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.


ASSOCIATED EVENTS

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.


FURTHER INFORMATION

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


IMPORTANT DATES

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


VENUE

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.

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.


GENERAL CHAIR

Georg Gottlob, Oxford University, UK


PROGRAM CHAIRS

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


PUBLICITY CHAIR

Jessica Zangari, University of Calabria, Italy


WORKSHOPS CHAIR

Viviana Mascardi, University of Genova, Italy


DOCTORAL CONSORTIUM CHAIR

Martin Gebser, University of Klagenfurt, Austria


LOCAL ORGANIZATION

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

PROGRAM COMMITTEE (TBD)

Related Resources

KR 2022   Principles of Knowledge Representation and Reasoning
LANMR 2022   Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
KRR@SAC 2022   Knowledge Representation and Reasoning (track of the 37th ACM/SIGAPP Symposium On Applied Computing
ICKEA 2022   7th International Conference on Knowledge Engineering and Applications
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
DBKDA 2022   The Fourteenth International Conference on Advances in Databases, Knowledge, and Data Applications
RT-UNILOG 2022   Reasoning in Text
LER 2022   Workshop on Logic and Ethical Reasoning - LER on The 7th International Conference on Universal Logic
ICCCI 2022   14th International Conference on Computational Collective Intelligence
SOMET 2022   The 21st International Conference on Intelligent Software Methodologies, Tools, and Techniques