NMR 2024

Table of Contents

• PDF
  
• Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract) 1-1 PDF
  Richard Booth 0001
• Navigating ASP Solution Spaces (Invited Talk, Abstract) 2-2 PDF
  Sarah Alice Gaggl
• On Computational Problems for Infinite Argumentation Frameworks: The Complexity of Finding Acceptable Extensions 3-13 PDF
  Uri Andrews, Luca San Mauro
• Linear Algebraic Partial Evaluation of Logic Programs 14-23 PDF
  Tuan Nguyen (disambiguation), Chiaki Sakama, Katsumi Inoue
• Probabilistic Logic Programming under the L-Stable Semantics 24-33 PDF
  Denis Deratani Mauá, Fábio G. Cozman, Alexandro Garces
• Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm 34-43 PDF
  Jandson S. Ribeiro, Dominik Klumpp
• Reasoning about Simultaneous Change in Trust and Belief 44-52 PDF
  Aaron Hunter 0001
• Abstract Dialectical Frameworks are Boolean Networks 53-60 PDF
  Matthias Knorr 0001, Jesse Heyninck, João Leite 0001
• An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation 61-71 PDF
  Jan Maly 0001, Giovanni Buraglio, Kenneth Skiba, Lars Bengel
• Defining an Adaptable Framework for Behaviour Support Agents in Default Logic 72-82 PDF
  Victor de Boer, Johanna Wolff, Dirk Heylen, M. Birna van Riemsdijk
• Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results 83-93 PDF
  Piotr Gorczyca, Hannes Strass
• A First Peek into Preferential Logics with Team Semantics 94-100 PDF
  Kai Sauerwald, Juha Kontinen
• Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification 101-111 PDF
  Alexander Hahn 0001, Gabriele Kern-Isberner, Marco Wilhelm
• On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head 112-121 PDF
  Anna Rapberger, Markus Ulbricht 0001, Francesca Toni
• Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules 122-131 PDF
  Atefeh Keshavarzi Zafarghandi, Patrick Koopmann
• Using SAT and Partial MaxSAT for Reasoning with System Z and System W 132-141 PDF
  Jonas Philipp Haldimann, Aron Spang, Christoph Beierle
• The Role of Syntax in Inductive Inference: A Property-based Study 142-151 PDF
  Jesse Heyninck, Richard Booth 0001, Thomas Andreas Meyer
• A Hitting Set Approach to Inconsistent-Tolerant Reasoning 152-161 PDF
  Matthias Thimm, Kai Sauerwald, Yehia Hatab
• Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics 162-172 PDF
  Alexander Hahn 0001, Gabriele Kern-Isberner, Thomas Andreas Meyer
• On Syntactic Forgetting with relativized Strong Persistence 173-182 PDF
  Matti Berthold
• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) 183-186 PDF
  Lukas Gerlach 0002, David Carral, Markus Hecher