Volume 80 Masthead

Published: 2024-05-10

Articles

Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods

Jugal Garg, Aniket Murhekar

1-25

PDF

Estimating Agent Skill in Continuous Action Domains

Christopher Archibald, Delma Nieves-Rivera

27-86

PDF

Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length

Amer Farea, Frank Emmert-Streib

87-125

PDF

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

PDF

Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches

Dominik Drexler, Jendrik Seipp, Hector Geffner

171–208

PDF

Block Domain Knowledge-Driven Learning of Chain Graphs Structure

Shujing Yang, Fuyuan Cao

209-242

PDF

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning

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

243-271

PDF

On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization

Ronald Cardenas, Matthias Galle, Shay B. Cohen

273-326

PDF

Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization

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

327-376

PDF

Similarity-Based Adaptation for Task-Aware and Task-Free Continual Learning

Tameem Adel

377-417

PDF

Exploiting Contextual Target Attributes for Target Sentiment Classification

Bowen Xing, Ivor W. Tsang

419-439

PDF

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

PDF

General Policies, Subgoal Structure, and Planning Width

Blai Bonet, Hector Geffner

475-516

PDF

Computing Unsatisfiable Cores for LTLf Specifications

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

517-558

PDF

Best of Both Worlds: Agents with Entitlements

Martin Hoefer, Marco Schmalhofer, Giovanna Varricchio

559-591

PDF

Methods for Recovering Conditional Independence Graphs: A Survey

Harsh Shrivastava, Urszula Chajewska

593-612

PDF

The TOAD System for Totally Ordered HTN Planning

Daniel Höller

613-663

PDF

Using Constraint Propagation to Bound Linear Programs

Tomáš Dlask, Tomáš Werner

665-718

PDF

Robust Average-Reward Reinforcement Learning

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

719-803

PDF

Counting Complexity for Reasoning in Abstract Argumentation

Johannes K. Fichte, Markus Hecher, Arne Meier

805–834

PDF

Simulating Counterfactuals

Juha Karvanen, Santtu Tikka, Matti Vihola

835-857

PDF

Individual Fairness, Base Rate Tracking and the Lipschitz Condition

Benjamin Eva

859-873

PDF

SAT-based Decision Tree Learning for Large Data Sets

Andre Schidler, Stefan Szeider

875-918

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

Unifying SAT-Based Approaches to Maximum Satisfiability Solving

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

931-976

PDF

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

Jorge Fandinno, Zachary Hansen, Yuliya Lierler

977-1031

PDF

Does CLIP Know My Face?

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

1033-1062

PDF

On the Convergence of Swap Dynamics to Pareto-Optimal Matchings

Felix Brandt, Anaëlle Wilczynski

1063-1098

PDF

Symbolic Task Inference in Deep Reinforcement Learning

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

1099-1137

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

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

From Single-Objective to Bi-Objective Maximum Satisfiability Solving

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

1223-1269

PDF

Computational Argumentation-based Chatbots: A Survey

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

1271-1310

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

The Complexity of Subelection Isomorphism Problems

Piotr Faliszewski, Krzysztof Sornat, Stanisław Szufa

1343-1371

PDF

Mixed Fair Division: A Survey

Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh

1373-1406

PDF

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

Felix Weitkämper

1407-1436

PDF

MallobSat: Scalable SAT Solving by Clause Sharing

Dominik Schreiber, Peter Sanders

1437-1495

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

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

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

Yixin Chen, Tonmoy Dey, Alan Kuhnle

1575-1622

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

The Goal after Tomorrow: Offline Goal Reasoning with Norms

Pere Pardo, Christian Strasser

1703-1759

PDF