Articles

1. Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing). --Andrew Cropper, Filipe Gouveia, David M. Cerna
2. Representation Results for Belief Update in Closed Fragments of Propositional Logic. --Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran
3. Multi-Agent Pathfinding Under Team-Connected Communication Constraint via Adaptive Path Expansion and Dynamic Leading. --Hoang-Dung Bui, Erion Plaku, Gregory J. Stein
4. WorldView-Bench: A Benchmark for Evaluating Global Cultural Perspectives in Large Language Models. --Abdullah Mushtaq, Imran Taj, Rafay Naeem, Ibrahim Ghaznavi, Junaid Qadir
5. 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
6. 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
7. Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory. --Assaf Libman, Nir Oren, Bruno Yun
8. A Review of Causal Decision Making. --Lin Ge, Hengrui Cai, Runzhe Wan, Yang Xu, Rui Song
9. Partial Minimum Satisfiability: Fine-Grained Analysis. --Ivan Bliznets, Danil Sagunov, Kirill Simonov
10. Fairer than Fair: Sharp Bounds for Connected Super-Proportional Cake Cutting. --Zsuzsanna Jankó, Attila Joó, Erel Segal-Halevi, Sheung Man Yuen
11. Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. --Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan
12. ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations. --Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas
13. 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
14. Improving Plan Execution Flexibility using Block-Substitution. --Sabah Binte Noor, Fazlul Hasan Siddiqui
15. A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions. --Pascal J. Sager
----------
----------