Invited Speakers

Sarah Alice Gaggl (TU Dresden, Germany) Answer Set Navigation A wide range of combinatorial search problems can be modelled and solved with Answer Set Programming (ASP). While modern ASP solvers allow to quickly enumerate solutions, the user faces the problem of dealing with a possibly exponential number of solutions, which may easily go into millions and beyond. To still be able to reach an understanding of the answer set space, we propose navigation approaches to reach subspaces that fulfil desirable criteria. With weighted faceted answer set navigation we allow for a quantitative understanding of the answer set space. Weights can be assigned to atoms depending on how much they restrict the remaining solution space, either by counting the number of answer sets (resp. supported models) or counting the number of atoms still available to choose. Then, we show an iterative approach to compute a diverse collection of answer sets that allows to exchange some answer sets to improve the size and diversity of the whole collection. In contrast to diverse collections, representative answer sets do not require to specify a diversity measure. We introduce a notion of representativeness based on entropy, and discuss algorithms to collect representative collections of answer sets. Finally, we will present a visual approach to explore solution spaces and apply it to the domain of abstract argumentation.

Richard Booth (Cardiff School of Computer Science and Informatics, UK) Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision The notion of orderings over possible worlds to represent comparative normality or plausibility is a fundamental tool in the study of semantics for nonmonotonic reasoning (NMR) and belief revision (BR). The dominant model is that of a total preorder, which is central to AGM belief revision and to rational consequence in KLM-style preferential reasoning. Other, more general, types of orderings, specifically interval orders and biorders, have been studied in the theory of rational choice, but have received less attention in NMR and BR. Interval orders, introduced by Fishburn, associate to each possible world a non-negative *interval* of plausibility, while biorders, studied by Aleskerov, Bouyssou and Monjardet, generalise interval orders by allowing the intervals to be have negative length. This talk, based on recent and ongoing collaboration with Ivan Varzinczak, will focus on these lesser-known kinds of ordering. Specifically we will look at how interval orders can be used to address the problem of conditional inference, and how biorders offer a fresh perspective on credibility-limited belief revision. The notion of orderings over possible worlds to represent comparative normality or plausibility is a fundamental tool in the study of semantics for nonmonotonic reasoning (NMR) and belief revision (BR). The dominant model is that of a total preorder, which is central to AGM belief revision and to rational consequence in KLM-style preferential reasoning. Other, more general, types of orderings, specifically interval orders and biorders, have been studied in the theory of rational choice, but have received less attention in NMR and BR. Interval orders, introduced by Fishburn, associate to each possible world a non-negative *interval* of plausibility, while biorders, studied by Aleskerov, Bouyssou and Monjardet, generalise interval orders by allowing the intervals to be have negative length. This talk, based on recent and ongoing collaboration with Ivan Varzinczak, will focus on these lesser-known kinds of ordering. Specifically we will look at how interval orders can be used to address the problem of conditional inference, and how biorders offer a fresh perspective on credibility-limited belief revision.

NMR Workshop Organization

General co-chairs of NMR 2024

Nina Gierasimczuk	Danish Technical University, Denmark
Jesse Heyninck	Open Universiteit, the Netherlands
	University of Cape Town, South-Africa

Local chair of NMR 2024

Long Tran-Thanh	University of Warwick, UK
Thanh Dinh Van	East Asia University of Technology, Vietnam
Van Dao Hong	East Asia University of Technology, Vietnam
Hau Nguyen Thi Anh	East Asia University of Technology, Vietnam

Sponsors

Aims and Scope

As in previous editions, NMR 2024 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 submission	July 19th, 2024
Notification	September 1st, 2024
Camera-ready	October 4, 2024
Workshop	November 2-4, 2024

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. Submissions should be prepared for single-blind review.

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

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 2024 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 2024. To apply for a student grant, please contact one of the chairs of NMR 2024.

Programme committee

• Ofer Arieli (The Academic College of Tel-Aviv, Israel)
• Mohua Banerjee (Indian Institute of Technology Kanpur, India)
• Alexander Bochman (Holon Institute of Technology, Israel)
• Richard Booth (Cardiff University, UK)
• Arina Britz (Stellenbosch University, South-Africa)
• Giovanni Casini (ISTI - CNR, Italy)
• Jake Chandler (La Trobe University, Australia)
• Agata Ciabattoni (TU Wien, Austria)
• Jens Classen (Roskilde University, Denmark)
• Thomas Eiter (Vienna University of Technology, Austria)
• Eduardo Fermé (Universidade da Madeira, Portugal)
• Sarah Alice Gaggl (TU Dresden, Germany)
• Laura Giordano (DISIT, Università del Piemonte Orientale, Italy)
• Sujata Gosh (Indian Statistical Institute, India)
• Nina Gierasimczuk (Danish Technical University, Denmark)
• Davide Grossi (University of Groningen, the Netherlands)
• Jesse Heyninck (Open Universiteit, The Netherlands)
• Andreas herzig (CNRS, IRIT, Univ. Toulouse, France)
• 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, France)
• Karolina Krzyzanowska (University of Amsterdam, the Netherlands)
• Isabelle Kuhlmann (FerunUniversität in Hagen, Germany)
• Fenrong Liu (Tsinghua University, China)
• Thomas Meyer (University of Cape Town and CAIR, South Africa)
• Cláudia Nalon (University of Brasília, Brazil)
• Xavier Parent (TU Wien, Austria)
• Simona Perri (University of Calabria, Italy)
• Ramon Pino Perez (Université d’Artois, France)
• Sylwia Polberg (Cardiff University, UK)
• Nico Potyka (Cardiff University, UK)
• Laurent Perrussel (IRIT - Universite de Toulouse, France)
• Anna Rapberger Imperial College London, UK)
• Ken Satoh (National Institute of Informatics and Sokendai, Japan)
• Jandson S. Ribeiro (University of Hagen, Germany)
• Kai Sauerwald (FerunUniversität in Hagen, Germany)
• Guillermo R. Simari (Universidad Nacional del Sur, Argentina)
• Sonja Smets (University of Amsterdam, the Netherlands)
• Markus Ulbricht (TU Dresden, Germany)
• Renata Wassermann (University of São Paulo, Brazil)
• Emil Weydert (CSC, University of Luxembourg, Luxembourg)
• Stefan Woltran (TU Wien, Austria)
• Fan Yang (Utrecht University, the Netherlands)
• Jessica Zangari (University of Calabria, Italy)