NMR 2024

22nd International Workshop on Nonmonotonic Reasoning

Programme Saturday (November 2)

09:00-09:15	NMR Opening/Welcome
09:15-10:15	Invited Talk: Sarah Alice Gaggl
10:15-11:45	Coffee break
Session 1: Answer Set Programming
10:45-11:15	Tuan Nguyen, Katsumi Inoue and Chiaki Sakama Linear Algebraic Partial Evaluation of Logic Programs
11:15-11:45	Lukas Gerlach, David Carral and Markus Hecher Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
11:45-12:15	Denis Maua, Fabio Cozman and Alexandro Garces Probabilistic Logic Programming under the L-Stable Semantics (Extended Abstract)
12:15-13:15	Lunch break
Session 2: Conditionals I
13:15-13:45	Kai Sauerwald and Juha Kontinen A First Peek into Preferential Logics with Team Semantics
13:45-14:15	Christoph Beierle, Aron Spang and Jonas Philipp Haldimann Using SAT and Partial MaxSAT for Reasoning with System Z and System W
14:15-14:45	Coffee break
14:45-15:15	Jesse Heyninck, Richard Booth and Thomas Meyer The role of syntax in inductive inference: a property-based study
15:15-15:45	Alexander Hahn, Gabriele Kern-Isberner and Thomas Meyer Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics

Programme Sunday (November 3)

Session 3: Argumentation I
09:15-9:45	Uri Andrews and Luca San Mauro On computational problems for infinite argumentation frameworks: The complexity of finding acceptable extensions
09:45-10:15	Lars Bengel, Giovanni Buraglio, Jan Maly and Kenneth Skiba An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation
10:15-11:45	Coffee break
10:45-11:15	Anna Rapberger, Markus Ulbricht and Francesca Toni On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
11:15-11:45	Atefeh Keshavarzi Zafarghandi and Patrick Koopmann Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules
11:45-12:15	Jesse Heyninck, Matthias Knorr and Joao Leite Abstract Dialectical Frameworks are Boolean Networks
12:15-13:15	Lunch break
Session 5: Belief Change
13:15-13:45	Matti Berthold On Syntactic Forgetting with relativized Strong Persistence
13:45-14:15	Dominik Klumpp and Jandson S. Ribeiro Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm
14:15-14:45	Coffee break
14:45-15:15	Yehia Hatab, Kai Sauerwald and Matthias Thimm A Hitting Set Approach to Inconsistent-Tolerant Reasoning
15:15-15:45	Aaron Hunter Reasoning about Simultaneous Change in Trust and Belief

Programme Monday (November 4)

09:15-10:15	Invited Talk: Richard Booth
10:15-10:45	Coffee break
Session 6: Conditionals II
10:45-11:15	Johanna Wolff, Victor de Boer, Dirk Heylen and M. Birna van Riemsdijk Defining an Adaptable Framework for Behaviour Support Agents in Default Logic
11:15-11:45	Marco Wilhelm, Alexander Hahn and Gabriele Kern-Isberner Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification
11:45-12:15	Piotr Gorczyca and Hannes Strass Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
12:15-13:15	Lunch break
Session 7: Cognitive Aspects (joint session with KODIS/CAKR)
13:15-13:45	Kai Sauerwald, Eda Ismail-Tsaous and Nina Thorwart A Report on Sequential KR as Cognitive Logics
13:45-14:15	Nguyen Hung, Nguyen Anh Quan, Nguyen Van Vu, Phan Thi Yen, Nguyen Hai Binh and Nguyen Thi Thuy Nga Using Ontology to Analyze Sentiment of Comments on Vietnamese Social Media
14:15-14:30	NMR Closing