| 2025 | Analysing Temporal Reasoning in Description Logics Using Formal Grammars. | Camille Bourgaux, Anton R. Gnatenko, Michal Thomazo |
| 2025 | TACTICAL: A Framework for Building Wikipedia-Derived Timelines of Atomic Changes. | Hsuvas Borkakoty, Luis Espinosa Anke |
| 2025 | Spoiler Susceptibility in Party Elections. | Daria Boratyn, Wojciech Slomczynski, Dariusz Stolicki, Stanislaw Szufa |
| 2025 | Diving into Gender Translation Bias for the Portuguese Language. | Sofia Bonifcio, Helena Moniz, Lusa Coheur |
| 2025 | Conditional Effects in Numeric Planning Reloaded. | Luigi Bonassi, Joan Espasa Arxer, Francesco Percassi, Enrico Scala |
| 2025 | Supporting Stability Analysis of Aircraft Flight Control Laws. | Luca Bonalumi, Carmelo Raciti, Francesco Amigoni |
| 2025 | VALISE: A Virtual Agent Laboratory for Instruction-Following Simulation and Evaluation of LLM-Powered Digital Health Interventions. | Marco Bolpagni, Simone De Carli, Leonardo Sanna, Mauro Dragoni, Silvia Gabrielli |
| 2025 | Properties of Egalitarian Sequences of Committees: Theory and Experiments. | Paula Bhm, Robert Bredereck, Till Fluschnik |
| 2025 | On Approximate MMS Allocations on Restricted Graph Classes. | Vclav Blazej, Michal Debski, Zbigniew Lonc, Marta Piecyk, Pawel Rzazewski |
| 2025 | Towards Canonical and Minimal Solutions in a Constraint-Based Plan-Space Planner. | Arthur Bit-Monnot, Roland Godet |
| 2025 | Model Science: Getting Serious About Verification, Explanation and Control of AI Systems. | Przemyslaw Biecek, Wojciech Samek |
| 2025 | Hybrid Multi-View Approach Towards Augmenting Large Language Models for Human Activity Recognition. | Suman Bhoi, Varsha Suresh, Wynne Hsu, Mong-Li Lee |
| 2025 | When Corporate Chatbots Show Bias: A Multi-Dimensional Analysis of LLMs in Enterprise Settings. | Shreya Bhattacharya, Vincent Hagenow, Marco Di Gennaro |
| 2025 | TRUCE-AV: A Multimodal Dataset for Trust and Comfort Estimation in Autonomous Vehicles. | Aditi Bhalla, Christian Hellert, Enkelejda Kasneci, Nastassja Becker |
| 2025 | Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning. | Meghna Bhadra |
| 2025 | On Conformant Planning and Model-Checking of ∃ | Raven Beutner, Bernd Finkbeiner |
| 2025 | LFA Applied to CNNs: Efficient Singular Value Decomposition of Convolutional Mappings by Local Fourier Analysis. | Antonia van Betteray, Matthias Rottmann, Karsten Kahl |
| 2025 | Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2025 | Learning Compact Representations of Constraint Networks. | Christian Bessiere, Clment Carbonnel, Areski Himeur |
| 2025 | Efficient Sparse Flow Decomposition Methods for RNA Multi-Assembly. | Mathieu Besanon |
| 2025 | SHAC++: A Neural Network to Rule All Differentiable Simulators. | Francesco Bertolotti, Gianluca Aguzzi, Walter Cazzola, Mirko Viroli |
| 2025 | TRADES: Generating Realistic Market Simulations with Diffusion Models. | Leonardo Berti, Bardh Prenkaj, Paola Velardi |
| 2025 | ExpertSim: Fast Particle Detector Simulation Using Mixture-of-Generative-Experts. | Patryk Bedkowski, Jan Dubinski, Filip Szatkowski, Kamil Deja, Przemyslaw Rokita, Tomasz Trzcinski |
| 2025 | Repairing Planning Domains Based on Lifted Test Plans. | Nader Karimi Bavandpour, Pascal Lauer, Songtuan Lin, Pascal Bercher |
| 2025 | Context Beyond Simple Rules: Deploying an Automated NLP-Based Pipeline for Sentiment and Theme Prediction in Paediatric Healthcare Setting. | Caroline Baumgartner, Ewart Jonny Sheldon, Sebin Sabu, Jaskaran Singh Kawatra, Pavithra Rajendran, Shiren Patel, Mark Harris, Suzanne Collin, Taraben Kapadia |