[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:lpnmr2...@easychair.org((program)
lpnmr2...@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)
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
