| 2026 | On Sufficient Conditions for Consistency Checking in CP-theory Preferences. | Erik Rauer, Samik Basu |
| 2026 | SAT-based ASP Solving and Optimization via a General Transitive Closure Framework. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2026 | From Tensor Networks to Tractable Circuits, and Back. | Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman |
| 2026 | Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates. | Nino Pireaud, Victor David, Anthony Hunter, Pierre Monnin, Elena Cabrio |
| 2026 | BAss: Symbolic Reasoning in Abstract Dialectical Frameworks. | Samuel Pastva, Van-Giang Trinh |
| 2026 | Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics. | Xavier Parent |
| 2026 | Integrating and Reasoning with Data-Induced Information: Knowledge Bases of Axioms and Learned Models. | Laura Papi |
| 2026 | Static Analysis of Recursive SHACL. | Anouk Michelle Oudshoorn, Magdalena Ortiz, Mantas Simkus |
| 2026 | Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets. | Sergei Obiedkov, Baris Sertkaya |
| 2026 | From Next Token Prediction to (STRIPS) World Models. | Carlos Nez-Molina, Vicen Gmez, Hector Geffner |
| 2026 | Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog. | Mathijs van Noort, Przemyslaw Andrzej Walega |
| 2026 | Scalable Learning of Challenging Normative Behaviours with Deep RL. | Emery A. Neufeld, Thorsten Engesser, Martin Tappler |
| 2026 | Normative Narrator: Guiding and Explaining Reinforcement Learning Agents. | Emery A. Neufeld, Kees van Berkel |
| 2026 | Model-Agnostic Explanations by Consensus. | Carlos Menca, Ramn Bjar, Ral Menca, Joo Marques-Silva |
| 2026 | A Simple Baseline for Inductive Knowledge Base Completion. | Christian Meilicke, Rainer Gemulla, Julie Naegelen, Heiner Stuckenschmidt |
| 2026 | Efficient Temporal Datalog Materialisation for Composite Event Recognition. | Periklis Mantenoglou |
| 2026 | Computational Complexity in Timed Argumentation Frameworks. | Jean-Guy Mailly, Frdric Maris, Johannes P. Wallner |
| 2026 | Toward a Defeasible Semantics for Symbolic Classifiers. | Ruvarashe Madzime |
| 2026 | Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction. | Chang Lu, Renate A. Schmidt, Yizheng Zhao |
| 2026 | Unifying Approach to Uniform Expressivity of Graph Neural Networks. | Huan Luo, Jonni Virtema |
| 2026 | BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization. | Bruno F. Loureno, Hesham Morgan, Ana Ozaki, Aleksandar Pavlovic, Emanuel Sallinger |
| 2026 | DeepEL: Deep Learning and Formal Description Logic Reasoning. | Alessandro Longato, Ignacio Huitzil, Rafael Pealoza |
| 2026 | Almost Certain Query Answering over Incomplete Relational and Graph Data. | Heng Liu, Leonid Libkin, Eugenia Ternovska |
| 2026 | Revealed Epistemic Trust. | Xu Li, Leon van der Torre, Liuwen Yu |
| 2026 | Reasoning about Welfare-Affecting Capabilities in Concurrent Games. | Yinfeng Li, Emiliano Lorini |