| 2023 | Good Explanations in Explainable Artificial Intelligence (XAI): Evidence from Human Explanatory Reasoning. | Ruth M. J. Byrne |
| 2023 | Proportionality Guarantees in Elections with Interdependent Issues. | Markus Brill, Evangelos Markakis, Georgios Papasotiropoulos, Jannik Peters |
| 2023 | Delegated Online Search. | Pirmin Braun, Niklas Hahn, Martin Hoefer, Conrad Schecker |
| 2023 | Half-Positional Objectives Recognized by Deterministic Bchi Automata (Extended Abstract). | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2023 | Constraints First: A New MDD-based Model to Generate Sentences Under Constraints. | Alexandre Bonlarron, Aurlie Calabrse, Pierre Kornprobst, Jean-Charles Rgin |
| 2023 | Optimizing the Computation of Overriding in DLN (Extended Abstract). | Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro |
| 2023 | A False Sense of Security (Extended Abstract). | Piero A. Bonatti |
| 2023 | Explainable Multi-Agent Reinforcement Learning for Temporal Queries. | Kayla Boggess, Sarit Kraus, Lu Feng |
| 2023 | Using Multimodal Clustering on Formal Contexts in Event Extraction with Neural Nets. | Mikhail Bogatyrev, Dmitry Orlov, Ilya Zapyantsev |
| 2023 | SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). | Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret |
| 2023 | Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). | Miquel Bofill, Jordi Coll, Marc Garcia, Jess Girldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret |
| 2023 | Faster Exact MPE and Constrained Optimization with Deterministic Finite State Automata. | Filippo Bistaffa |
| 2023 | Temporal Network Creation Games. | Davide Bil, Sarel Cohen, Tobias Friedrich, Hans Gawendowicz, Nicolas Klodt, Pascal Lenzner, George Skretas |
| 2023 | Schelling Games with Continuous Types. | Davide Bil, Vittorio Bil, Michelle Dring, Pascal Lenzner, Louise Molitor, Jonas Schmidt |
| 2023 | REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing. | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto |
| 2023 | Toward Job Recommendation for All. | Guillaume Bied, Solal Nathan, Elia Perennes, Morgane Hoffmann, Philippe Caillou, Bruno Crpon, Christophe Gaillac, Michle Sebag |
| 2023 | Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models. | Debarun Bhattacharjya, Oktie Hassanzadeh, Ronny Luss, Keerthiram Murugesan |
| 2023 | Automated Planning for Generating and Simulating Traffic Signal Strategies. | Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Francesco Percassi, Mauro Vallati |
| 2023 | AI Techniques for Urban Traffic Control and Mobility. | Saumya Bhatnagar |
| 2023 | SiWare: Contextual Understanding of Industrial Data for Situational Awareness. | Anuradha Bhamidipaty, Elham Khabiri, Bhavna Agrawal, Yingjie Li |
| 2023 | Learning Constraint Networks over Unknown Constraint Languages. | Christian Bessiere, Clment Carbonnel, Areski Himeur |
| 2023 | Fedstellar: A Platform for Training Models in a Privacy-preserving and Decentralized Fashion. | Enrique Toms Martnez Beltrn, Pedro Miguel Snchez Snchez, Sergio Lpez Bernal, Grme Bovet, Manuel Gil Prez, Gregorio Martnez Prez, Alberto Huertas Celdrn |
| 2023 | Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features (Extended Abstract). | Taha Belkhouja, Janardhan Rao Doppa |
| 2023 | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | Poisoning the Well: Can We Simultaneously Attack a Group of Learning Agents? | Ridhima Bector, Hang Xu, Abhay Aradhya, Chai Quek, Zinovi Rabinovich |