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. 76 (2023)

Published: 2023-01-05

On the Evaluation of (Meta-)solver Approaches

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

705-719

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

645-703

Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof

David Fernández Llorca, Vicky Charisi, Ronan Hamon, Ignacio Sánchez, Emilia Gómez

613-644

On Fair Division under Heterogeneous Matroid Constraints

Amitay Dror, Michal Feldman, Erel Segal-Halevi

567–611

A Logic of East and West

Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

527-565

Introduction to the Special Track on Artificial Intelligence and COVID-19

Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla

523-525

Finite Materialisability of Datalog Programs with Metric Temporal Operators

Przemysław Wałęga, Michał Zawidzki, Bernardo Cuenca Grau

471–521

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden

Dongdong Zhao, Lei Liao, Wenjian Luo, Jianwen Xiang, Hao Jiang, Xiaoyi Hu

435-470

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

Jeroen Fransman, Joris Sijs, Henry Dol, Erik Theunissen, Bart De Schutter

393-433

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen

341-391

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms

Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang

287-339

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

Robert Kirk, Amy Zhang, Edward Grefenstette, Tim Rocktäschel

201-264

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

Federico Bianchi, Amanda Cercas Curry, Dirk Hovy

193-199

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

59-114

Lifted Reasoning for Combinatorial Counting

Pietro Totis, Jesse Davis, Luc de Raedt, Angelika Kimmig

1-58

View All Issues