Accepted Submissions

Main Track

Regular Papers

A Representation Theorem For Causal Decision Making
Joseph Y. Halpern, Evan Piermont

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
Lukas Zenger, David Fernández-Duque, Brett McLean

A Uniform Language to Explain Decision Trees
Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Anibal Subercaseaux Roa

Abductive reasoning in a paraconsistent framework
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

Abstraction in Assumption-based Argumentation
Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner

Action Language mA* with Higher-Order Action Observability
David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
Carsten Lutz, Quentin Manière

Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
Andrei Popescu, Johannes P. Wallner

ASP-QRAT: a Conditionally Optimal Dual Proof System for ASP
Leroy Chew, Alexis de Colnet, Stefan Szeider

Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation
Nico Potyka, Richard Booth

Belief change on rational rankings
Nerio Borges, Sebastien Konieczny, Ramón Pino Pérez, Nicolas Schwind

Blending grounding and compilation for efficient ASP solving
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
Diego Figueira, Krishna S, Om Swostik Mishra, Anantha Padmanabha

CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks
Xiang Yin, Nico Potyka, Francesca Toni

Collective Satisfaction Semantics for Opinion Based Argumentation
Jerome Delobelle, Sebastien Konieczny, Clément Lens, Juliete Rossie, Srdjan Vesic

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
Jan Tóth, Ondřej Kuželka

Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo

Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
Christoph Beierle, Lars-Phillip Spiegel, Jonas Philipp Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner

Consistent Query Answering over SHACL Constraints
Timo Merkl, Reinhard Pichler, Shqiponja Ahmetaj

Contracted Temporal Equilibrium Logic
Pedro Cabalar, Thomas Eiter, Davide Soldà

Contractions Based on Optimal Repairs
Franz Baader, Renata Wassermann

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, Robin Jean

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Deontic Reasoning based on Inconsistency Measures
Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Strasser

Description Logics with Abstraction and Refinement: From ALC to EL
Lukas Schulze, Carsten Lutz

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
Yacine Izza, Xuanxiang Huang, Antonio Morgado, Jordi Planes, Alexey Ignatiev, Joao Marques-Silva

Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
Federica Di Stefano, Mantas Simkus

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
Sebastian Ordyniak, Giacomo Paesani, Mateusz MR Rychlicki, Stefan Szeider

Explaining Image Classifiers
Hana Chockler, Joseph Y. Halpern

Expressive Power of Definite Descriptions in Modal Logics
Przemysław A. Wałęga

Extending Description Logics with Generic Concepts
Joshua Hirschbrunn, Yevgeny Kazakov

From Acceptance to Rejection in Abstract Argumentation
Anne-Marie Heine, Markus Ulbricht

Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning
Biqing Fang, Fangzhen Lin

Incentive Design for Rational Agents
David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael Wooldridge

Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models
Jean-Marie Lagniez, Emmanuel Lonca

Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs
Francesco Magliocca, Luigi Sauro, Piero Bonatti

Monotone Rewritability and the Analysis of Queries, Views, and Rules
Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nawelaja

Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes K. Fichte

Non-monotone Fixpoint Theory based on the Structure of Weak Bilattices
Angelos Charalambidis, Giannos Chatziagapis, Charalampos Kostopoulos, Panos Rondogiannis

Non-Rigid Designators in Modal and Temporal Free Description Logics
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter

On Abstracting over the Irrelevant in Answer Set Programming
Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite

On Verifying and Generating Robust Plans for Planning Tasks with Non-deterministic Events
Lukas Chrpa, Erez Karpas

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable
David Carral, Lucas Larroque, Michael Thomazo

Operator-based semantics for choice programs: is choosing losing?
Jesse Heyninck

Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging
Tommaso Flaminio, Lluis Godo Lacasa, Giuliano Rosella

Preference-Based Abstract Argumentation for Case-Based Reasoning
Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matt Williams, Francesca Toni

Probabilistic Synthesis and Verification for LTL on Finite Traces
Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Vardi, Florian Zuleger

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
Simon Coumes, Pierre-Henri Paris, Francois Schwarzentruber, Fabian Suchanek

Queries With Exact Truth Values in Paraconsistent Description Logics
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Lucia Gomez, Sebastian Rudolph

Repairing Assumption-Based Argumentation Frameworks
Anna Rapberger, Markus Ulbricht

Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel
Jandson S. Ribeiro

SHACL Validation under the Well-founded Semantics
Cem Okulmus, Mantas Simkus

Shapley Value Computation in Ontology-Mediated Query Answering
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade

Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Piotr Ostropolski-Nalewaja, Sebastian Rudolph

Total preorders vs ranking functions under belief revision - the dynamics of empty layers
Gabriele Kern-Isberner, Alexander Hahn, Jonas Philipp Haldimann, Christoph Beierle

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
Jean Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Verification of General Games with Imperfect Information using Strategy Logic
Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

Weak Admissibility for ABA via Abstract Set Attacks
Lydia Blümel, Matthias König, Markus Ulbricht

Weighted Merging Operators: Product, Utility-based Operators and Egalitarism
Patricia Everaere, Sebastien Konieczny, Ramón Pino Pérez

Short Papers

Axiomatization of Approximate Exclusion
Matilda Häggblom

Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs
Matti Berthold, Anna Rapberger, Markus Ulbricht

Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility
Kenneth Skiba, Matthias Thimm

The Realizability of Revision and Contraction Operators in Epistemic Spaces
Kai Sauerwald, Matthias Thimm

KR in the Wild Track

ASP Chef: Draw and Expand
Mario Alviano, Luis A. Rodriguez Reiners

ASPEN: ASP-Based System for Collective Entity Resolution
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Victor Gutierrez Basulto, Yazmin A. Ibanez Garcia

Dialectical Reconciliation via Structured Argumentative Dialogues
Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Son Tran, Francesca Toni

dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning
Renato Geh, Jonas L. Gonçalves, Igor Cataneo Silveira, Denis D. Mauá, Fabio Cozman

Explaining Reasoning Results for OWL Ontologies with Evee
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krueger, Alexej Popovic, Ida S.R. Siahaan

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Model Counting in the Wild
Arijit Shaw, Kuldeep S. Meel

Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch

Reasoning, Learning, and Decision Making Track

Regular Papers

Action Model Learning with Guarantees
Diego Aineto, Enrico Scala

Argumentative Causal Discovery
Fabrizio Russo, Anna Rapberger, Francesca Toni

Bridging Max Graph Neural Networks and Datalog with Negation
David J Tena Cucala, Bernardo Cuenca Grau

Knowledge Base Embeddings: Semantics and Theoretical Properties
Camille Bourgaux, Ricardo Guimarães, Raoul S Koudijs, Victor Lacerda, Ana Ozaki

LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers
Fabien Delorme, David Ing, Said Jabbour, Lakhdar Sais

Learning Robust Reward Machines from Noisy Labels
Roko Parać, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo

Learning to Ground Existentially Quantified Goals
Martin Funkquist, Simon Ståhlberg, Hector Geffner

LLASP: Fine-tuning Large Language Models for Answer Set Programming
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca

Logical Distillation of Graph Neural Networks
Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra

MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
Dingmin Wang, Przemysław A Wałęga, Bernardo Cuenca Grau

On the Expressivity of Recurrent Neural Cascades with Identity
Nadezda A Knorozova, Alessandro Ronca

Planning Domain Model Acquisition from State Traces without Action Parameters
Tomas Balyo, Martin Suda, Lukas Chrpa, Dominik Safranek, Stephan Gocht, Filip Dvorak, Roman Bartak, G. Michael Youngblood

Relational Graph Convolutional Networks Do Not Learn Sound Rules
Matthew Morris, David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Symmetries and Expressive Requirements for Learning General Policies
Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner

Position Papers

Advancing Interactive Explainable AI via Belief Change Theory
Antonio Rago, Maria Vanina Martinez

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz

Contestable AI needs Computational Argumentation
Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, Francesca Toni

Video Track

A Gentle Introduction to the Stable Model Semantics for Logic Programs
Matti Berthold, Quentin Manière
Leipzig University

LoIDE - Your ultimate web-based IDE for Logic Programming
Marco Duca, Stefano Germano,Francesco Calimeri, Simona Perri
University of Calabria / University of Oxford

Explaining Description Logic Reasoning Slice by Slice with Evee
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Alisa Kovtunova, Ida Siahaan
TU Dresden / Vrije Universiteit Amsterdam

Argumentative XAI
Adam Gould, Adam Dejl, Guilherme Paulino-Passos, Gabriel Freedman, Fabrizio Russo, Xiang Yin, Antonio Rago, Hamed Ayoobi, Francesca Toni
Imperial College London

Recently Published Research Track

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying (extended abstract of paper published at PODS 2023)
Jean-Francois Baget, Marie-Laure Mugnier, Sebastian Rudolph

Probabilistic interpretations of argumentative attacks: logical and experimental results
Christian Fermüller, Niki Pfeifer

Causal reasoning from almost first principles
Alexander Bochman

The Transformation Logics
Alessandro Ronca

On the Expressivity of Recurrent Neural Cascades
Nadezda A. Knorozova, Alessandro Ronca

A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems
Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni

Abstraction of Situation Calculus Concurrent Game Structures - Extended Abstract
Yves Lesperance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M Khan

Change in quantitative bipolar argumentation: Sufficient, necessary, and counterfactual explanations
Timotheus Kampik, Kristijonas Čyras, José Ruiz Alarcón

A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
Yakoub Salhi, Michael Sioutis

A Kinematics Principle For Iterated Revision (Extended Abstract)
Gabriele Kern-Isberner, Christoph Beierle, Meliha Sezgin

Many-Valued Logic Reasons About Probability
Tommaso Flaminio, Sara Ugolini

LIMDD: A Decision Diagram for the Simulation of Quantum Computing Including Stabilizer States
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman

A logic-based framework for characterizing nexus of similarity within knowledge bases (Extended Abstract)
Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo

Counterfactuals as Modal Conditionals, and Their Probability
Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio

Argument Attribution Explanations in Quantitative Bipolar Argumentation Frameworks
Xiang Yin, Nico Potyka, Francesca Toni

Explaining Arguments' Strength: Unveiling the Role of Attacks and Supports
Xiang Yin, Nico Potyka, Francesca Toni

Recourse under Model Multiplicity via Argumentative Ensembling
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni