Accepted Papers
| Title | Author(s) |
A Modal Framework for Relational Analogies | Philippe Balbiani, Andreas Herzig, and Emiliano Lorini |
| From Logical Proportions to a New Clustering Algorithm | Myriam Bounhas and Henri Prade |
| Temporal Argumentation for Continuous Cyber-Safety Assurance of AI-Enabled Aerospace Systems | Sofia Almpani |
| Analogenesis: A Platform for Analogy Games with a Tiny AI Assistant | Stergos Afantenos, Miguel Couceiro, Emiliano Lorini, Ndeye-Emilie Mbengue |
| lxp-SPARQL: Expressing Lexicographic Preferences for Knowledge Graphs | Antonis Troumpoukis and Angelos Charalambidis |
| Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations | Leopoldo Bertossi |
| When AI Influence Helps or Hurts: Guarantees for Ranking-Based Human–AI Aggregation | Jonas Karge, Roy Ferguson, Daniel Grimaldi, Jonas Haldimann, Ruvarashe Madzime, and Thomas Meyer |
| Uncertainty-Aware Discrete Bayesian Classification under Bounded Input Perturbations | Dongcheng Qiu, Wenlong Chen, Benjamin Quost, Cyprien Gilet, and Sébastien Destercke |
| Prime Implicants Beyond Consistency | Rim Belaiche, Jean-Francois Condotta, and Yakoub Salhi |
| Compositional Boundaries for Density Fusion | Ratan Bahadur Thapa , Ali Darijani , Jürgen Beyerer , and Steffen Staab |
| Managing Uncertainty in LLM-Generated Procedural Knowledge for Virtual Laboratory Planning | Polychronis Karpodinis and Dimitris Kalles |
| Causal Structure Preservation in Neural Assemblies under Encoding Uncertainty | Evangelia Kopadi and Dimitris Kalles |
| Spatial interpolation under incomplete covariate data set | Priscillia Labourg, Romain Guillaume, Jeremy Rohmer, and Sébastien Destercke |
| The Curious Case of Exploding DecPOMDPs: Containing the Fire through Policy Counting | Nazlı Nur Karabulut and Tanya Braun |
| Lifted Model Construction under Approximate Commutativity | Malte Luttermann, Jan Speller, Tanya Braun, Marcel Gehrke, and Ralf Moller |
| Improving Multivariate Time Series Classification with Class-Wise Training and Model Aggregation | Mouhamadou Mansour LO, Gildas MORVAN, Mathieu ROSSI, Fabrice MORGANTI and David MERCIER |
| A Probabilistic Extension of a Logic of Evidence and Truth | V. Borja-Macías, M.E. Coniglio, L. Godo, A. Hernández-Tello |
| Diversified and Perceptible Counterfactual Examples Leveraging Expert Knowledge | Akram Bensalem, Fahima Djelil, Marie-Jeanne Lesot, and Grégory Smits |
| An efficient integer programming formulation for producing robust covering explanations | Armand Gaudillier, Khaled Belahcène, Wassila Ouerdane, and Sébastien Destercke |
| Approximate Unification in Possibilistic Logic | Didier Dubois and Henri Prade |
| Governed Blind Commitment Planning under Null-Observation Windows | Irmaan (Mohammad) Mirzanejad, Nadjet Bourdache, and Abdel-Illah Mouaddib |
| TrustForest: Typed Semantic Trust Graphs for Uncertainty-Aware Cybersecurity Decision Fusion | Laurent Bobelin, Sabine Frittella, and Mariam Wehbe |
| Probabilistic Relational Argumentation for Dynamic Belief Revision under Uncertainty | Konstantinos Mponos, Asterios Gkantzounis, Petros Stefaneas, and Panayiotis Frangos |
| Incomplete Data and Datalog+/- Knowledge Bases: X-Raying the Chase | Andrea Calí |
| Explainable Analogical Learning of Preferences | Myriam Bounhas and Henri Prade |
| Symmetric sums in numerical proportional analogies | Miguel Couceiro, Henri Prade and Gilles Richard |
| Making Implicit Premises Explicit in Logical Understanding of Enthymemes | Xuyao Feng and Anthony Hunter |
| On Probabilistic Inference Through Parametric Tensor Decomposition in Base Tensor Networks | Sagad Hamid and Tanya Braun |
| Continuous Reasons for Random Forests via Budgeted Ordered Binary Decision Diagrams Compilation | Daniel Amadori, Emanuele Chini, Pietro Sala |
