| 2026 | Cops Only Need Factual Knowledge to Catch Robbers. | Dazhu Li, Sujata Ghosh |
| 2026 | Generating Explainable Counterfactual Policies through Temporal Logic Queries. | Arnaud Lequen, Clment Legrand-Lixon, Lo Saulires |
| 2026 | Precise and Efficient Model-Agnostic Explanations. | Jairo A. Lefebre-Lobaina, Maria Vanina Martinez, Joao Marques-Silva |
| 2026 | A Logic of Limited Belief with Introspection Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2026 | Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic. | Daniil Kozhemiachenko, Igor Sedlr |
| 2026 | Representation Theorems for Cumulative Propositional Dependence Logics. | Juha Kontinen, Arne Meier, Kai Sauerwald |
| 2026 | Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before. | Matthias Knorr, Zeynep G. Saribatur, Ricardo Gonalves |
| 2026 | Safely Decomposing Conditional Belief Bases Into c-LEG Networks. | Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Marco Wilhelm, Christoph Beierle |
| 2026 | Graphical representations of KLM-style defeasible justifications for propositional logic. | Jane Imrie |
| 2026 | How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks. | Stan P. Hauke, Przemyslaw Andrzej Walega |
| 2026 | ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. | Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan |
| 2026 | Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic. | Manuel Vargas Guzmn, Jakub Szymanik, Maciej Malicki |
| 2026 | Semantic Foundations of Neuro-Symbolic Multi-Agent Systems. | Julian Gutierrez |
| 2026 | Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models. | Marvin Grosser, Carsten Lutz |
| 2026 | Learning Lifted Action Models from Traces with Minimal Information About Actions and States. | Jonas Gsgens, Niklas Jansen, Hector Geffner |
| 2026 | Partially Finite Model Reasoning in Description Logics. | Tomasz Gogacz, Filip Murlak, Marcin Przybylko, Alexandra Rogova, Michal Skrzypczak |
| 2026 | Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right. | Nicola Gigante, Andrea Micheli, Enrico Scala, Alessandro Valentini |
| 2026 | Synthesis Foundations for Online LTLf Goal Management. | Giuseppe De Giacomo, Yves Lesprance, Gianmarco Parretti, Fabio Patrizi |
| 2026 | Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli, Gianmarco Parretti |
| 2026 | The Chase in Lean - Crafting a Formal Library for Existential Rule Research. | Lukas Gerlach |
| 2026 | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2026 | I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems. | Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann |
| 2026 | Probabilistic Abduction in a Fuzzy Logic Framework. | Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko |
| 2026 | A Normal Form for Rules Containing Arithmetic Operations. | Jorge Fandinno, Yuliya Lierler, Vladimir Lifschitz |
| 2026 | Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach. | Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki |