Journal of Artificial Intelligence Research

The Journal of Artificial Intelligence Research (JAIR) is dedicated to the rapid dissemination of important research results to the global artificial intelligence (AI) community. The journal’s scope encompasses all areas of AI, including agents and multi-agent systems, automated reasoning, constraint processing and search, knowledge representation, machine learning, natural language, planning and scheduling, robotics and vision, and uncertainty in AI.

Vol. 85 (2026)

Published: 2026-01-27

Improving Plan Execution Flexibility using Block-Substitution

Sabah Binte Noor, Fazlul Hasan Siddiqui

PDF

A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions

Pascal J. Sager, Benjamin Meyer, Peng Yan, Rebekka von Wartburg-Kottler, Layan Etaiwi, Aref Enayati, Gabriel Nobel, Ahmed Abdulkadir, Benjamin F. Grewe, Thilo Stadelmann

PDF

Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion

Atrisha Sarkar, Gillian K. Hadfield

PDF

View All Issues

Current Issue

Articles

Improving Plan Execution Flexibility using Block-Substitution

A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions

Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion

Understanding AI Trustworthiness: A Scoping Review of AIES & FAccT Articles

Scalable Multi-Objective Reinforcement Learning with Fairness Guarantees using Lorenz Dominance

Generalised Merge and Shrink Abstractions for Temporal Planning

Understanding the Process of Human-AI Value Alignment

Learning-guided Prioritized Planning for Lifelong Multi-Agent Path Finding in Warehouse Automation

Diffusion Model Based on Reverse Guidance of Regional Samples

A Review of Pseudo-Labeling for Computer Vision

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives

PGB: One-Shot Pruning for BERT via Weight Grouping and Permutation

Approximating Proportional and Maximin Allocations on D-Claw-Free Graphs

Label-Aware Pseudo-Training Sample Generation for Text Classification

The Winnability of Klondike Solitaire and Many Other Patience Games

Procedural Fairness in Machine Learning

Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics

General Supervised Learning Framework for Open World Classification

Proportional Aggregation of Preferences for Sequential Decision Making

Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences

Homotopy-Aware Multi-Agent Path Planning on Plane

ℵ-IPOMDP: Mitigating Deception in a Cognitive Hierarchy with Off-Policy Counterfactual Anomaly Detection

A Rule-based Modal Framework for Causal Reasoning

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Active Constraint Acquisition Using Large Language Models

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning

MaxSAT Fuzzing and Delta Debugging

Abductive Reasoning in Expansions of Belnap-Dunn Logic

Quantifying Query Fairness Under Unawareness

Satsuma: Structure-Based Symmetry Breaking in SAT

T-COL: Generating Counterfactual Explanations for General User Preferences on Variable Machine Learning Systems

Asymptotically Fair and Truthful Allocation of Public Goods

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives

Nearly Equitable Allocations Beyond Additivity and Monotonicity

Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space