Published: 2026-01-27

Articles

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints

Lucas Kletzander, Tommaso Mannelli Mazzoli, Nysret Musliu, Pascal Van Hentenryck
PDF

TeamTTA: Efficient Multi-Device Collaboration for Open-Set Test-Time Adaptation via Cloud Integration

Anqi Lu, Youbing Hu, Yun Cheng, Dawei Wei, Zhiqiang Cao, Jie Liu, Zhijun Li
PDF

Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory

Assaf Libman, Nir Oren, Bruno Yun
PDF

A Review of Causal Decision Making

Lin Ge, Hengrui Cai, Runzhe Wan, Yang Xu, Rui Song
PDF

Partial Minimum Satisfiability: Fine-Grained Analysis

Ivan Bliznets, Danil Sagunov, Kirill Simonov
PDF

Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting

Zsuzsanna Jankó, Attila Joó, Erel Segal-Halevi, Sheung Man Yuen
PDF

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
PDF

ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations

Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas
PDF

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures

Foivos Fioravantes, Dušan Knop, Jan Matyáš Křišťan, Nikolaos Melissinos, Michal Opler
PDF

Improving Plan Execution Flexibility using Block-Substitution

Sabah Binte Noor, Fazlul Hasan Siddiqui
PDF

A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions

Pascal J. Sager, Benjamin Meyer, Peng Yan, Rebekka von Wartburg-Kottler, Layan Etaiwi, Aref Enayati, Gabriel Nobel, Ahmed Abdulkadir, Benjamin F. Grewe, Thilo Stadelmann
PDF

Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion

Atrisha Sarkar, Gillian K. Hadfield
PDF

Understanding AI Trustworthiness: A Scoping Review of AIES & FAccT Articles

Siddharth Mehrotra, Jin Huang, Xuelong Fu, Roel Dobbe, Clara I. Sánchez, Maarten de Rijke
PDF

Scalable Multi-Objective Reinforcement Learning with Fairness Guarantees using Lorenz Dominance

Dimitris Michailidis, Willem Röpke, Diederik M. Roijers, Sennay Ghebreab, Fernando P. Santos
PDF

Generalised Merge and Shrink Abstractions for Temporal Planning

Martim Brandao, Amanda Coles, Andrew Coles, Rebecca Eifler
PDF

Understanding the Process of Human-AI Value Alignment

Jack McKinlay, Marina De Vos, Janina A. Hoffmann, Andreas Theodorou
PDF

Learning-guided Prioritized Planning for Lifelong Multi-Agent Path Finding in Warehouse Automation

Han Zheng, Yining Ma, Brandon Araki, Jingkai Chen, Cathy Wu
PDF

Diffusion Model Based on Reverse Guidance of Regional Samples

Guan Yang, Zhiyong Zeng, Ren Duan
PDF

A Review of Pseudo-Labeling for Computer Vision

Patrick Kage, Jay C. Rothenberger, Pavlos Andreadis, Dimitrios I. Diochnos
PDF

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
PDF

PGB: One-Shot Pruning for BERT via Weight Grouping and Permutation

Hyemin Lim, Jaeyeon Lee, Dong-Wan Choi
PDF

Approximating Proportional and Maximin Allocations on D-Claw-Free Graphs

Zbigniew Lonc
PDF

Label-Aware Pseudo-Training Sample Generation for Text Classification

Arash Yousefi Jordehi, Seyed Abolghasem Mirroshandel, Owen Rambow
PDF

The Winnability of Klondike Solitaire and Many Other Patience Games

Charlie Blake, Ian Gent
PDF

Procedural Fairness in Machine Learning

Ziming Wang, Changwu Huang, Ke Tang, Xin Yao
PDF

Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
PDF

General Supervised Learning Framework for Open World Classification

Sai Krishna Theja Bhavaraju, Mohammad Amin Basiri, Charles Nicholson
PDF

Proportional Aggregation of Preferences for Sequential Decision Making

Nikhil Chandak, Shashwat Goel, Dominik Peters
PDF

Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences

Josep Alòs, Carlos Ansótegui, Eduard Torres
PDF

Homotopy-Aware Multi-Agent Path Planning on Plane

Kazumi Kasaura
PDF

ℵ-IPOMDP: Mitigating Deception in a Cognitive Hierarchy with Off-Policy Counterfactual Anomaly Detection

Nitay Alon, Joseph M. Barnby , Stefan Sarkadi , Lion Schulz, Jeffrey S. Rosenschein, Peter Dayan
PDF

A Rule-based Modal Framework for Causal Reasoning

Emiliano Lorini
PDF

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek
PDF

Active Constraint Acquisition Using Large Language Models

Younes Mechqrane, Christian Bessiere
PDF

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning

Mattia Silvestri, Senne Berden, Gaetano Signorelli, Ali İrfan Mahmutoğulları, Jayanta Mandi, Brandon Amos, Tias Guns, Michele Lombardi
PDF

MaxSAT Fuzzing and Delta Debugging

Tobias Paxian, Armin Biere
PDF

Abductive Reasoning in Expansions of Belnap-Dunn Logic

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
PDF

Quantifying Query Fairness Under Unawareness

Thomas Jaenich, Alejandro Moreo, Alessandro Fabris , Graham McDonald, Andrea Esuli, Iadh Ounis, Fabrizio Sebastiani
PDF

Satsuma: Structure-Based Symmetry Breaking in SAT

Markus Anders, Sofia Brenner, Gaurav Rattan
PDF

T-COL: Generating Counterfactual Explanations for General User Preferences on Variable Machine Learning Systems

Ming Wang, Daling Wang, Wenfang Wu, Shi Feng, Yifei Zhang
PDF

Asymptotically Fair and Truthful Allocation of Public Goods

Pouya Kananian, Arnesh Sujanani, Seyed Majid Zahedi
PDF

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives

Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex
PDF

Nearly Equitable Allocations Beyond Additivity and Monotonicity

Siddharth Barman, Umang Bhaskar, Yeshwant Pandit, Soumyajit Pyne
PDF

Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space

Anil Yildiz, Esen Yel, Marcell Vazquez-Chanlatte, Kyle Wray, Mykel J. Kochenderfer, Stefan J. Witwicki
PDF