Inivited Speakers

	Diego Calvanese Free University of Bozen-Bolzano, Italy Verification of Temporal Properties in Communicating Datalog Programs Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to effectively specify and implement network services and protocols, seeing them as dynamic systems of distributed computational nodes. In such systems, which we call Communicating Datalog Programs (CDPs), each node evolves an internal database, exchanges data with other nodes of the network via channels, and may incorporate fresh data from the external world. A rigorous, comprehensive characterization of the decidability and complexity of verification of temporal properties in CDPs is still missing. In this talk we analyze the different assumptions characterizing the problem space, and then discuss several different variants of the problem. In particular, for the significant case where the number of nodes in the network is fixed, we delineate the decidability frontier of verification and provide tight complexity bounds.
	Juha Kontinen University of Helsinki, Finland Team-based logics and their applications Team Semantics is the mathematical basis of modern logics for reasoning about dependence, independence, and imperfect information. During the past decade research on team semantics has flourished with interesting connections to fields such as database theory, statistics, formal linguistics, hyperproperties and causality, just to mention a few examples. I will give a short introduction to first-order team semantics and discuss recent generalizations and applications that might be relevant for the nonmonotonic reasoning community.
	Anni-Yasmin Turhan Dresden University of Technology, Germany (joint keynote with DL) Brushing-up description logics to cope with imperfect data For logic-based applications where data is not curated, but generated automatically, noisy or erroneous data can clearly be an obstacle for reasoning under classical First-order semantics. In recent years several approaches have been investigated for reasoning in Description Logics that deal with this problem -- often by changing the underlying semantics. In this talk I will discuss different reasoning problems using non-standard semantics, such as defeasible or approximative semantics, that can preserve useful logical reasoning even in the presence of imperfect data.

NMR Workshop Organization

General co-chairs of NMR 2023

Kai Sauerwald	FernUniversität in Hagen, Germany
Matthias Thimm	FernUniversität in Hagen, Germany

Local chair of NMR 2023

Pavlos Peppas

University of Patras, Greece

Programme committee

• Ofer Arieli (The Academic College of Tel-Aviv, Israel)
• Ringo Baumann (University of Leipzig, Germany)
• Christoph Beierle (University of Hagen, Germany)
• Alexander Bochman (Holon Institute of Technology, Israel)
• Richard Booth (Cardiff University, UK)
• Loris Bozzato (Fondazione Bruno Kessler, Italy)
• Giovanni Casini (ISTI - CNR, Italy)
• Dragan Doder (Utrecht University, The Netherlands)
• Thomas Eiter (Vienna University of Technology, Austria)
• Wolfgang Faber (Alpen-Adria-Universität Klagenfurt, Austria)
• Eduardo Fermé (Universidade da Madeira, Portugal)
• Sarah Alice Gaggl (TU Dresden, Germany)
• Laura Giordano (DISIT, Università del Piemonte Orientale, Italy)
• Lluis Godo (Artificial Intelligence Research Institute, IIIA - CSIC, Spain)
• Jesse Heyninck (Open Universiteit, The Netherlands)
• Haythem Ismail (German University in Cairo, Egypt)
• Tomi Janhunen (Tampere University, Finland)
• Souhila Kaci (Lirmm, France)
• Antonis Kakas (University of Cyprus, Cyprus)
• Gabriele Kern-Isberner (Technische Universität Dortmund, Germany)
• Sébastien Konieczny (Université d’Artois, Germany)
• Maria Vanina Martinez (Universidad de Buenos Aires, Argentina)
• Thomas Meyer (University of Cape Town and CAIR, South Africa)
• Xavier Parent (TU Wien, Austria)
• Ramon Pino Perez (Université d’Artois, France)
• Laurent Perrussel (IRIT - Universite de Toulouse, France)
• Gian Luca Pozzato (Università di Torino, Italy)
• Ken Satoh (National Institute of Informatics and Sokendai, Japan)
• Jandson S. Ribeiro (University of Hagen, Germany)
• Ricardo Oscar Rodriguez (F.C.N.yN.-UBA, Brazil)
• Gerardo Simari (Universidad Nacional del Sur, Argentina)
• Guillermo R. Simari (Universidad Nacional del Sur, Argentina)
• Umberto Straccia (ISTI-CNR, Italy)
• Christian Strasser (Ruhr-University Bochum, Germany)
• Leon van der Torre (University of Luxembourg, Luxembourg)
• Anni-Yasmin Turhan (TU Dresden, Germany)
• Markus Ulbricht (University of Leipzig, Germany)
• Renata Wassermann (University of São Paulo, Brazil)
• Emil Weydert (CSC, University of Luxembourg, Luxembourg)
• Stefan Woltran (TU Wien, Austria)

Aims and Scope

As in previous editions, NMR 2023 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.

Important Dates

Paper registration (extended)	June 2, 2023 June 9, 2023
Paper submission (extended)	June 9, 2023 June 16, 2023
Notification	July 17, 2023
Camera-ready	August 4, 2023
Workshop	September 2-4, 2023

Submission Details

There are two types of submissions:

• Full papers. Full papers should be at most 10 pages including references, figures and appendices, if any. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at NMR falls within the authors’ rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page.
• Extended Abstracts. Extended abstracts should be at most 3 pages (excluding references and acknowledgements). The abstracts should introduce work that has recently been published or is under review, or ongoing research at an advanced stage. We highly encourage to attach to the submission a preprint/postprint or a technical report. Such extra material will be read at the discretion of the reviewers. Submitting already published material may require a permission by the copyright holder.

All submissions should be formatted in CEUR style (2-column style) without enabled header and footer. The author kit can be found at http://ceur-ws.org/Vol-XXX/CEURART.zip. Papers must be submitted in PDF only.

Submission will be through the EasyChair conference system. Please submit via Easychair to: https://easychair.org/my/conference?conf=nmr2023

Workshop Proceedings

The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/). The copyright of papers remain with the authors. Full papers will be indexed by dblp.org; but extended abstracts published on CEUR proceedings will not be indexed by dblp.org anymore.

Student Grants

A limited number of student grants for participating in NMR 2023 are available. The grants consist of a fixed amount that can be used to support travel costs and/or registration fees. Grants will be given to students attending the workshop who lack sufficient funding. Preference will be given to students presenting a paper at NMR 2023. To apply for a student grant, please contact one of the chairs of NMR 2023.

Registration and Venue

Registration for NMR 2023 is possible via the KR 2023 registration website. Note that the early registration ends on August 2, 2023.

NMR 2023 will be held at Rhodos, Greece. Additional information on the conference location and travel planning can be found at the KR 2023 website.

Sponsors