- Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas. ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Guan Yang, Zhiyong Zeng, Ren Duan. Diffusion Model Based on Reverse Guidance of Regional Samples. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Kazumi Kasaura. Homotopy-Aware Multi-Agent Path Planning on Plane. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Sai Krishna Theja Bhavaraju, Mohammad Amin Basiri, Charles Nicholson. General Supervised Learning Framework for Open World Classification. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Charlie Blake, Ian P. Gent. The Winnability of Klondike Solitaire and Many Other Patience Games. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Emiliano Lorini. A Rule-based Modal Framework for Causal Reasoning. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Tobias Paxian, Armin Biere. MaxSAT Fuzzing and Delta Debugging. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan 0001. Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko. Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics. J. Artif. Intell. Res. (JAIR), 85, 2026.
- Ziming Wang, Changwu Huang, Ke Tang 0001, Xin Yao 0001. Procedural Fairness in Machine Learning. J. Artif. Intell. Res. (JAIR), 85, 2026.