| 2025 | On the Complexity of Global Necessary Reasons to Explain Classification. | Marco Calautti, Enrico Malizia, Cristian Molinaro |
| 2025 | Finite Axiomatizability by Disjunctive Existential Rules. | Marco Calautti, Marco Console, Andreas Pieris |
| 2025 | An Intuitionistic Version of Alternating-Time Temporal Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano |
| 2025 | Automated Planning with Ontologies Under Coherence Update Semantics. | Stefan Borgwardt, Duy Nhu, Gabriele Rger |
| 2025 | Learning General Policies from Examples. | Blai Bonet, Hector Geffner |
| 2025 | Halting Recurrent GNNs and the Graded mu-Calculus. | Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema |
| 2025 | Depth-Bounded Epistemic Planning. | Thomas Bolander, Alessandro Burigana, Marco Montali |
| 2025 | Towards Weak Assumption-Based Argumentation. | Lydia Blmel |
| 2025 | Tractable Responsibility Measures for Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean |
| 2025 | Strategy Logic, Imperfect Information, and Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2025 | On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation. | Matti Berthold, Lydia Blmel, Anna Rapberger |
| 2025 | Sequence Explanations for Acceptance in Abstract Argumentation. | Lars Bengel, Matthias Thimm |
| 2025 | A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation. | Lars Bengel, Julian Sander, Matthias Thimm |
| 2025 | An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation. | Jonathan Ben-Naim, Victor David, Anthony Hunter |
| 2025 | FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding. | Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran |
| 2025 | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards. | Bartosz Bednarczyk, Emanuel Kieronski |
| 2025 | Counting Solutions Under Cardinality Constraints: Structure Counts in Counting. | Max Bannach, Markus Hecher |
| 2025 | A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms. | Damiano Azzolini, Markus Hecher |
| 2025 | Compactness and Preservation in Logical Argumentation Frameworks. | Ofer Arieli, Christian Straer |
| 2025 | LTL Synthesis Under Multi-Agent Environment Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2025 | Axiomatic Characterisations of Argumentation Semantics. | Leila Amgoud |
| 2025 | Model Checker for Recursive Aggregates. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino |
| 2025 | Putting Perspective into OWL [Sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic. | Luca Gmez lvarez, Sebastian Rudolph |