Volume 84 Masthead

Published: 2025-09-02

Articles

A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures

Antonis Bikakis, Fabio Aurelio D'Asaro, Aissatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller
PDF

Robust Reward Design for Markov Decision Processes

Shuo Wu, Haoxiang Ma, Jie Fu, Shuo Han
PDF

On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios

Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
PDF

Optimal Decision Trees for Interpretable and Constrained Clustering

Pouya Shati, Yuliang Song, Eldan Cohen, Sheila A. McIlraith
PDF

Correct Explanations and How to Define Them: Properties and Metrics for Measuring Correctness of Three Forms of ML Model Input/Output Behaviour Explanations

Vandita Singh, Kristijonas Cyras, Muhammad Zain Akram, Rafia Inam
PDF

On a Simple Hedonic Game with Graph-Restricted Communication

Vittorio Bilò, Laurent Gourvès, Jérôme Monnot
PDF

Graph Collaborative Filtering Model Combining Time Factor and Attention Mechanism

Xianglin Zuo, Xin He, Tianhao Jia, Ying Wang
PDF

Thousands of AI Authors on the Future of AI

Katja Grace, Julia Fabienne Sandkühler, Harlan Stewart, Benjamin Weinstein-Raun, Stephen Thomas, Zach Stein-Perlman, John Salvatier, Jan Brauner, Richard C. Korzekwa
PDF

Finding Minimal Plan Reductions Using Classical Planning

Mauricio Salerno, Raquel Fuentetaja, Jendrik Seipp
PDF

Banal Deception and Human-AI Ecosystems: A Study of People’s Perceptions of LLM-generated Deceptive Behaviour

Xiao Zhan, Yifan Xu, Noura Abdi, Joe Collenette , Stefan Sarkadi
PDF

Recency-Weighted Temporally-Segmented Ensemble for Time Series Modeling

Pål V. B. Johnsen, Eivind Bøhn, Sølve Eidnes, Filippo Remonato, Signe Riemer-Sørensen
PDF

Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks

Yiding Yu, Wei Zong, Wenjing Su, Yang-Wai Chow, Willy Susilo
PDF

Reasoning over Streams of Events with Delayed Effects

Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis
PDF

Causal Graphs and Fairness in Machine Learning: Addressing Practical Challenges in Causal Fairness Evaluation

Lea Cohausz, Jakob Kappenberger, Heiner Stuckenschmidt
PDF

Generating Streamlining Constraints with Large Language Models

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
PDF

On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks

João Alcântara, Renan Cordeiro
PDF

Regret Analysis for Randomized Gaussian Process Upper Confidence Bound

Shion Takeno, Yu Inatsu, Masayuki Karasuyama
PDF

Improving Label Error Detection and Elimination with Uncertainty Quantification

Johannes Jakubik, Michael Vössing, Manil Maskey, Christopher Wölfle, Gerhard Satzger
PDF

Trustworthy Transfer Learning: A Survey

Jun Wu, Jingrui He
PDF

Prioritised Planning: Completeness, Optimality, and Complexity

Jonathan Morag, Yue Zhang, Daniel Koyfman, Zhe Chen, Ariel Felner, Daniel Harabor, Roni Stern
PDF

Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies

Federico Bianchi, Alberto Castellini, Edoardo Zorzi, Thiago D. Simão, Matthijs T. J. Spaan, Alessandro Farinelli
PDF

Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks

Paul Smolensky, Roland Fernandez, Zhenghao Herbert Zhou, Mattia Opper, Adam Davies, Jianfeng Gao
PDF Online Appendices

Towards a Robust Persistence Diagram via Data-dependent Kernel

Hang Zhang, Kaifeng Zhang, Kai Ming Ting, Ye Zhu
PDF

Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning

Weiye Zhao, Feihan Li, Tairan He, Changliu Liu
PDF

Monitoring Teams of AI Agents

Korok Ray
PDF

EPINN: Enhanced Physics-Informed Neural Network for Solving Continuous Integral Equations

Zhiyuan Ren, Shijie Zhou, Dong Liu, Qihe Liu
PDF

Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities

Quentin Cappart, Tias Guns, Michele Lombardi, Gilles Pesant, Dimos Tsouros
PDF

Agentic Large Language Models, a Survey

Aske Plaat, Max van Duijn, Niki van Stein, Mike Preuss, Peter van der Putten, Kees Joost Batenburg
PDF

Viewpoint: The Future of Human-Centric Explainable Artificial Intelligence (XAI) is not Post-Hoc Explanations

Vinitra Swamy, Jibril Frej, Tanja Käser
PDF

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification

Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli
PDF