| 2025 | Towards Practicable Defeasible Reasoning for ABoxes. | Jonas Haldimann, Magdalena Ortiz, Mantas Simkus |
| 2025 | Inclusion with Repetitions and Boolean Constants - Implication Problems Revisited. | Matilda Hggblom |
| 2025 | Deciding Non-fregean Identities: A Dual Tableau Approach. | Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki |
| 2025 | Why This and Not That? A Logic-Based Framework for Contrastive Explanations. | Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander |
| 2025 | Strongly First Order Disjunctive Embedded Dependencies in Team Semantics. | Pietro Galliani |
| 2025 | On Lockean Beliefs that are Deductively Closed and Minimal Change. | Tommaso Flaminio, Llus Godo, Ramn Pino Prez, Lluis Subirana |
| 2025 | Encoding Action Reversibility In Planning Using Quantified ASP and Bule. | Wolfgang Faber, Michael Morak |
| 2025 | Lazy Atom Discovery in Compilation-Based ASP Solving. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | On Extracting Legal Arguments. | Noah Collinet, Yakoub Salhi, Souhila Kaci |
| 2025 | GL-Based Calculi for PCL and Its Deontic Cousin. | Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi |
| 2025 | Formal Explanations of Black-Box Ranking Functions. | Francesco Chiariello, Joo Marques-Silva |
| 2025 | Reinforcement Learning Meets Logic Programming: Towards Explainable AI. | Luciano Caroprese, Ester Zumpano, Domenico Ursino |
| 2025 | A Framework for Computing Upper Bounds in Passive Learning Settings. | Benjamin Bordais, Daniel Neider |
| 2025 | A Uniform Language for Safety, Robustness and Explainability. | Vaishak Belle, Pablo Barcel |
| 2025 | The InfOCF Library for Reasoning With Conditional Belief Bases. | Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg |
| 2025 | AxSAT - Bringing Axioms to SAT Planning. | Gregor Behnke, David Speck, Daniel Gnad |
| 2025 | Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change. | Uri Andrews, Luca San Mauro |
| 2025 | SCC-Recursiveness in Infinite Argumentation. | Uri Andrews, Luca San Mauro |
| 2025 | On the Sensitivity of Extension Semantics to Similarity. | Leila Amgoud |
| 2023 | A Principle-Based Analysis of Bipolar Argumentation Semantics. | Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre |
| 2023 | Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub |
| 2023 | Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. | Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck |
| 2023 | Hybrid Modal Operators for Definite Descriptions. | Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2023 | Declarative Reasoning on Explanations Using Constraint Logic Programming. | Laura State, Salvatore Ruggieri, Franco Turini |
| 2023 | Concept Combination in Weighted DL. | Guendalina Righetti, Pietro Galliani, Claudio Masolo |