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. 80 (2024)

Published: 2024-05-10

The Goal after Tomorrow: Offline Goal Reasoning with Norms

Pere Pardo, Christian Strasser

1703-1759

PDF

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities

Jayanta Mandi, James Kotary, Senne Berden, Maxime Mulamba, Victor Bucarey, Tias Guns, Ferdinando Fioretto

1623-1701

PDF Code

Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models

Yixin Chen, Tonmoy Dey, Alan Kuhnle

1575-1622

PDF

The RL/LLM Taxonomy Tree: Reviewing Synergies Between Reinforcement Learning and Large Language Models

Moschoula Pternea, Prerna Singh, Abir Chakraborty, Yagna Oruganti, Mirco Milletari, Sayli Bapat, Kebei Jiang

1525-1573

PDF

Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges

Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony Cohn, Nigel Shadbolt, Michael Wooldridge

1497-1523

PDF

MallobSat: Scalable SAT Solving by Clause Sharing

Dominik Schreiber, Peter Sanders

1437-1495

PDF

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

Felix Weitkämper

1407-1436

PDF

Mixed Fair Division: A Survey

Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh

1373-1406

PDF

The Complexity of Subelection Isomorphism Problems

Piotr Faliszewski, Krzysztof Sornat, Stanisław Szufa

1343-1371

PDF

Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST)

Pouria Salehi, Yang Ba, Nayoung Kim, Ahmadreza Mosallanezhad, Anna Pan, Myke C. Cohen, Yixuan Wang, Jieqiong Zhao, Shawaiz Bhatti, James Sung, Erik Blasch, Michelle V. Mancenido, Erin K. Chiou

1311-1341

PDF

Computational Argumentation-based Chatbots: A Survey

Federico Castagna, Nadin Kökciyan, Isabel Sassoon, Simon Parsons, Elizabeth Sklar

1271-1310

PDF

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

1223-1269

PDF

A Hybrid Intelligence Method for Argument Mining

Michiel van der Meer, Enrico Liscio, Catholijn M. Jonker, Aske Plaat, Piek Vossen, Pradeep K. Murukannaiah

1187-1222

PDF

Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination

Yang Li, Shao Zhang, Jichen Sun, Wenhao Zhang, Yali Du, Ying Wen, Xinbing Wang, Wei Pan

1139-1185

PDF

Symbolic Task Inference in Deep Reinforcement Learning

Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

1099-1137

PDF

On the Convergence of Swap Dynamics to Pareto-Optimal Matchings

Felix Brandt, Anaëlle Wilczynski

1063-1098

PDF

Does CLIP Know My Face?

Dominik Hintersdorf, Lukas Struppek, Manuel Brack, Felix Friedrich, Patrick Schramowski, Kristian Kersting

1033-1062

PDF

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

977-1031

PDF

Unifying SAT-Based Approaches to Maximum Satisfiability Solving

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

931-976

PDF

Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management

Bernd J. W. Dudzik, Jasper S. van der Waa, Pei-Yu Chen, Roel Dobbe, Íñigo M.D.R. de Troya, Roos M. Bakker, Maaike H. T. de Boer, Quirine T.S. Smit, Davide Dell'Anna, Emre Erdogan, Pinar Yolum, Shihan Wang, Selene Baez Santamaria, Lea Krause, Bart A. Kamphorst

919-929

PDF