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

Does CLIP Know My Face?

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

1033-1062

Unifying SAT-Based Approaches to Maximum Satisfiability Solving

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

931-976

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

Simulating Counterfactuals

Juha Karvanen, Santtu Tikka, Matti Vihola

835-857

Counting Complexity for Reasoning in Abstract Argumentation

Johannes K. Fichte, Markus Hecher, Arne Meier

805–834

Robust Average-Reward Reinforcement Learning

Yue Wang, Alvaro Velasquez, George Atia, Ashley Prater-Bennette, Shaofeng Zou

719-803

Best of Both Worlds: Agents with Entitlements

Martin Hoefer, Marco Schmalhofer, Giovanna Varricchio

559-591

Computing Unsatisfiable Cores for LTLf Specifications

Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

517-558

Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models

Farzane Aminmansour, Taher Jafferjee, Ehsan Imani, Erin J. Talvitie, Michael Bowling, Martha White

441-473

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization

Furkan Cantürk, Taha Varol, Reyhan Aydoğan, Okan Örsan Özener

327-376

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning

Rafael V. Bettker, Pedro P. Minini, André G. Pereira, Marcus Ritt

243-271

Effectiveness of Tree-based Ensembles for Anomaly Discovery: Insights, Batch and Streaming Active Learning

Shubhomoy Das, Md Rakibul Islam, Nitthilan Kannappan Jayakodi, Janardhan Rao Doppa

127-170

Estimating Agent Skill in Continuous Action Domains

Christopher Archibald, Delma Nieves-Rivera

27-86

View All Issues