| 2026 | Neuro-Symbolic Causal Boosting: A Framework for Interpretable Attribution of Business Fluctuations. | Yonghe Zhao, Yuezhu Wang, Chao Ma, Huiyan Sun |
| 2026 | A Probabilistic Framework for Hierarchical Goal Recognition. | Chenyuan Zhang, Katherine Ip, Hamid Rezatofighi, Buser Say, Mor Vered |
| 2026 | Contestability in Edge-Weighted Quantitative Bipolar Argumentation Frameworks. | Xiang Yin, Nico Potyka, Antonio Rago, Timotheus Kampik, Francesca Toni |
| 2026 | RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions. | Hui Yang, Jiaoyan Chen |
| 2026 | Practical Methods for Concept Interpolation in Realistic Ontologies. | Xiaoshuang Yang |
| 2026 | A Distributed Framework for Compiling and Reasoning with d-DNNF. | Zhenghang Xu, Minghao Yin, Jianan Wang, Jean-Marie Lagniez |
| 2026 | Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework. | Sheng Wei, Yulin Chen, Beishui Liao |
| 2026 | Learning Numeric Planning Domain Models From Positive Observations. | Omar Watted, Argaman Mordoch, Roni Stern |
| 2026 | A framework for Counterfactual Explainability in Graph Neural Networks. | Maria Myrto Villia |
| 2026 | Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement Learning. | Celeste Veronese, Alessandro Farinelli, Daniele Meli |
| 2026 | Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. | Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Malle Cornly, Lukas Pradel |
| 2026 | Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement. | Stylianos Loukas Vasileiou, Minh Nguyen, Tran Cao Son, Huiping Cao, Enrico Pontelli |
| 2026 | Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks. | Jordan Thieyre, Aurlie Beynier, Sbastien Destercke, Nicolas Maudet, Srdjan Vesic |
| 2026 | A Study of Belief Revision Postulates in Multi-Agent Systems. | Michael Thielscher, Tran Cao Son |
| 2026 | Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning. | Akihiro Takemura, Katsumi Inoue, Masaaki Nishino |
| 2026 | Generalization in Reinforcement Learning from Logical Specifications. | Vignesh Subramanian |
| 2026 | SRIP: A SAT-based System for Independent Set Reconfiguration. | Takehide Soh, Akifumi Kuwahara, Mutsunori Banbara, Naoyuki Tamura, Yasuaki Kobayashi, Yuta Nozaki, Takehiro Ito |
| 2026 | Compiling Defeasible Inference: A Dynamic Approach To System Z. | Luke Slater, Thomas Meyer, Jesse Heyninck |
| 2026 | Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering. | Luke Slater |
| 2026 | Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic. | Simone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi |
| 2026 | Expressiveness of Epistemic Spaces for Iterated Belief Change Operators. | Nicolas Schwind, Sbastien Konieczny, Ramn Pino Prez |
| 2026 | Truth-Tracking by Iterated Belief Change. | Nicolas Schwind, Patricia Everaere, Sbastien Konieczny |
| 2026 | The Polynomial Counting Capabilities of Message Passing Neural Networks. | Marco Slzer, Pascal Bergstrer, Anthony W. Lin |
| 2026 | SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors. | Andoni Rodrguez, Csar Snchez |
| 2026 | ALM-ASP: A Functional Agentic Architecture for Answer Set Programming. | Luis Angel Rodriguez Reiners, Alice Tarzariol, Mario Alviano, Manuel A. Borroto Santana, Konstantin Schekotihin |