Vol. 82 (2025) | Journal of Artificial Intelligence Research

Lizhi Lin, Honglin Mu, Zenan Zhai, Minghan Wang, Yuxia Wang, Renxi Wang, Junjie Gao, Yixuan Zhang, Wanxiang Che, Timothy Baldwin, Xudong Han, Haonan Li

687-775

PDF

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies

Davide Catta, Angelo Ferrando, Vadim Malvone

777-817

PDF

Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems

Enrico Liscio, Luciano C. Siebert, Catholijn M. Jonker, Pradeep K. Murukannaiah

819-850

PDF

Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH

Mirko M. Dimartino, Peter T. Wood, Andrea Cali, Alexandra Poulovassilis

851-899

PDF

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

901-936

PDF

Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research

Eleonora Mancini, Ana Tanevska, Andrea Galassi, Alessio Galatolo, Federico Ruggeri, Paolo Torroni

937-972

PDF

A New Literature Review of 3D Object Detection on Autonomous Driving

Peng Zhang, Xin Li, Xin Lin, Liang He

973-1015

PDF

Empirical Game Theoretic Analysis: A Survey

Michael P. Wellman, Karl Tuyls, Amy Greenwald

1017-1076

PDF

Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games

Joanna Kaczmarek, Jörg Rothe, Nimrod Talmon

1077–1145

PDF

Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model

Chuyuan Wei, Ke Duan, Shengda Zhuo, Hongchun Wang, Shuqiang Huang, Jie Liu

1147-1173

PDF

Rumor Detection with Adaptive Data Augmentation and Adversarial Training

Ying Wang, Fuyuan Ma, Zhaoqi Yang, Yaodi Zhu, Bo Yang, Pengfei Shen, Lei Yun

1175-1204

PDF

A Framework for Belief-based Programs and Their Verification

Daxin Liu, Gerhard Lakemeyer

1205-1242

PDF

Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation

Xinyan Wang, Jinshuo Liu, Juan Deng, Meng Wang, Qian Deng, Youcheng Yan, Lina Wang, Yunsong Ma, Jeff Z. Pan

1243-1266

PDF

Improving Mutual Information Based Feature Selection by Boosting Unique Relevance

Shiyu Liu, Mehul Motani

1267-1292

PDF

Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing

Saeid Pourmand, Wyatt D. Whiting, Alireza Aghasi, Nicholas F. Marshall

1293-1323

PDF

ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models

Alexey Karev, Dong Xu

1325-1347

PDF

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions

David Speck, Jendrik Seipp, Alvaro Torralba

1349–1405

PDF

An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems

Conny Olz, Alexander Lodemann, Benedikt Jutz, Mario Schmautz, Maximilian Borowiec, Susanne Biundo, Pascal Bercher

1407-1444

PDF

Design and Effects of Co-Learning in Human-AI Teams

Karel van den Bosch, Emma M. Van Zoelen, Tjeerd A.J. Schoonderwoerd, Anthia Solaki, Birgit Van der Stigchel, Ivana Akrum

1445-1493

PDF

Maximal Combinations of Fairness Definitions

MaryBeth Defrance, Tijl De Bie

1495-1579

PDF

Computational Machine Ethics: A Survey

Tammy Zhong, Yang Song, Raynaldio Limarga, Maurice Pagnucco

1581-1628

PDF

From Knowledge to Action: Logics of Permitted and Obligatory Announcements

Xu Li, Guillaume Aucher, Dov Gabbay, Réka Markovich

1629-1672

PDF

Principles for Responsible AI Consciousness Research

Patrick Butlin, Theodoros Lappas

1673-1690

PDF

MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks

Zhong Qian, Peifeng Li, Qiaoming Zhu, Guodong Zhou

1691-1710

PDF

Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games

Laurent Gourvès, Gianpiero Monaco

1711-1742

PDF

On the Consistency between Belief Revision and Belief Update

Theofanis I. Aravanis

1743-1771

PDF

Generalizing the Regret: an Analysis of Lower and Upper Bounds

Marco Mussi, Alberto Maria Metelli

1773-1806

PDF

Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models

Tameem Adel

1807-1843

PDF

Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones

Jonathan Smith, Samuel Hall, George Coombs, Harrison Abbot, Ayat Fekry, Michael A. S. Thorne, Derek Long, Maria Fox

1845-1907

PDF

Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective

Xiaosong Chen, Hanqin Zhuang, Yang Liu, Huanle Xu, Wing Cheong Lau

1909-1942

PDF

A New Regret-analysis Framework for Budgeted Multi-Armed Bandits

Evan Yifan Xu, Pan Xu

1943-1959

PDF

A Divide, Align and Conquer Strategy For Program Synthesis

Jonas Witt, Sebastijan Dumančić, Tias Guns, Claus-Christian Carbon

1961-1997

PDF

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Özgür Akgün, Ian Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

1999-2056

PDF

Certified Knowledge Compilation with Application to Formally Verified Model Counting

Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

2057–2099

PDF

From Expert Systems to Generative Artificial Experts: A New Concept for Human-AI Collaboration in Knowledge Work

Konrad Sowa, Aleksandra Przegalinska

2101-2124

PDF

Solving Overlapping Coalition Structure Generation in Task-Based Settings

Guofu Zhang, Zhaopin Su, Xiaoxiao Song, Zixuan Gao, Miqing Li, Xin Yao

2125-2166

PDF

On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows

Omar Rifki, Christine Solnon

2167-2188

PDF

Defensive Alliances in Signed Networks

Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf

2189-2232

PDF

Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods

Kathleen C. Fraser, Hillary Dawkins, Svetlana Kiritchenko

2233-2278

PDF

Counterfactual Situation Testing: From Single to Multidimensional Discrimination

Jose M. Alvarez, Salvatore Ruggieri

2279-2323

PDF

Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning

Geraud Nangue Tasse, Steven James, Benjamin Rosman

2325-2388

PDF

AI Governance in the GCC States: A Comparative Analysis of National AI Strategies

Mohammad Rashed Albous, Odeh Rashed Al-Jayyousi , Melodena Stephens

2389-2422

PDF

Stability in Online Coalition Formation

Martin Bullinger, René Romen

2423-2452

PDF

MAT2I: Enhancing Perceptual Authenticity in Text-to-Image Synthesis using Multi-Attribute Generative Adversarial Networks

Varsha Singh, Vijai Singh, Uma Shanker Tiwary

2453-2469

PDF

Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning

Thomy Phan, Timy Phan, Sven Koenig

2471-2534

PDF

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach

Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered

2535-2594

PDF

Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey

Genta Indra Winata, Hanyang Zhao, Anirban Das, Wenpin Tang, David D. Yao, Shi-Xiong Zhang, Sambit Sahu

2595-2661

PDF

Articles