| 2026 | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. | Wolfgang Dvork, Zeynep G. Saribatur, Stefan Woltran |
| 2026 | ASP Encodings for the Multi Batching Problem in Logistics Networks. | Racquel Dennison |
| 2026 | Argumentation for Explainable and Globally Contestable Decision Support with LLMs. | Adam Dejl, Matthew Williams, Francesca Toni |
| 2026 | Gradient-Based Optimization on Gdel Logic as Discrete Local Search. | Alessandro Daniele, Emile van Krieken |
| 2026 | Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification. | Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Jorke M. de Vlas |
| 2026 | Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational Argumentation. | Eoghan Cunningham, James P. Cross, Derek Greene, Antonio Rago |
| 2026 | SC²: Safe Control via Shielding for CPCTL Specifications. | Edwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli |
| 2026 | Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2026 | Voting Compilation Revisited. | Yann Chevaleyre, Jrme Lang, Nicolas Maudet |
| 2026 | Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable. | Artem Chernobrovkin, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2026 | Optimal In-Station Train Dispatching via Symbolic Pattern Planning. | Matteo Cardellini, Enrico Giunchiglia, Davide Anguita, Carmelo Lofiego, Luca Oneto, Pietro Ratto |
| 2026 | Explaining Classification Through Global Sufficient Reasons and its Complexity. | Marco Calautti, Enrico Malizia, Cristian Molinaro |
| 2026 | Splitting Assumption-Based Argumentation Frameworks. | Giovanni Buraglio, Wolfgang Dvork, Stefan Woltran |
| 2026 | AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications. | Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni |
| 2026 | Interval Orders, Biorders and Credibility-limited Belief Revision. | Richard Booth, Ivan Varzinczak |
| 2026 | Why(-Not)-Provenance for Datalog with Negation. | Bart Bogaerts, Marco Calautti, Andreas Pieris, Samuele Pollaci, Robbe Van den Eede |
| 2026 | Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration. | Davide Bizzaro, Alessandro Daniele |
| 2026 | How Hard is it to Decide if a Fact is Relevant to a Query? | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2026 | Using ASP(Q) to Handle Inconsistent Prioritized Data. | Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta |
| 2026 | Splitting Argumentation Frameworks with Collective Attacks and Supports. | Matti Berthold, Lydia Blmel, Giovanni Buraglio, Anna Rapberger |
| 2026 | Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation. | Kees van Berkel, Andrea Sabatini |
| 2026 | Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2026 | Large Language Models as Nondeterministic Causal Models. | Sander Beckers |
| 2026 | But Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base Change. | Moritz Bayerkuhnlein, zgr Ltf zep, Diedrich Wolter |
| 2026 | ABD: Default-Exception Abduction in Finite First-Order Worlds. | Serafim Batzoglou |