JAIR 2026

11 papers

Abductive Reasoning in Expansions of Belnap-Dunn Logic Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

Active Constraint Acquisition Using Large Language Models Younes Mechqrane, Christian Bessiere

Asymptotically Fair and Truthful Allocation of Public Goods Pouya Kananian, Arnesh Sujanani, Seyed Majid Zahedi

Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space Anil Yildiz, Esen Yel, Marcell Vazquez-Chanlatte, Kyle Hollins Wray, Mykel J. Kochenderfer, Stefan J. Witwicki

MaxSAT Fuzzing and Delta Debugging Tobias Paxian, Armin Biere

Nearly Equitable Allocations Beyond Additivity and Monotonicity Siddharth Barman, Umang Bhaskar, Yeshwant Pandit, Soumyajit Pyne

Quantifying Query Fairness Under Unawareness Thomas Jänich, Alejandro Moreo, Alessandro Fabris, Graham McDonald, Andrea Esuli, Iadh Ounis, Fabrizio Sebastiani

Satsuma: Structure-Based Symmetry Breaking in SAT Markus Anders, Sofia Brenner, Gaurav Rattan

Scaling Neuro-Symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning Mattia Silvestri, Senne Berden, Gaetano Signorelli, Ali Irfan Mahmutogullari, Jayanta Mandi, Brandon Amos, Tias Guns, Michele Lombardi

T-COL: Generating Counterfactual Explanations for General User Preferences on Variable Machine Learning Systems Ming Wang, Daling Wang, Wenfang Wu, Shi Feng, Yifei Zhang