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
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
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
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
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
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
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