Articles

1. 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
2. Symbolic Task Inference in Deep Reinforcement Learning. --Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
3. On the Convergence of Swap Dynamics to Pareto-Optimal Matchings. --Felix Brandt, Anaëlle Wilczynski
4. Does CLIP Know My Face?. --Dominik Hintersdorf, Lukas Struppek, Manuel Brack, Felix Friedrich, Patrick Schramowski, Kristian Kersting
4. Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. --Jorge Fandinno, Zachary Hansen, Yuliya Lierler
5. Unifying SAT-Based Approaches to Maximum Satisfiability Solving. --Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
6. 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
7. SAT-based Decision Tree Learning for Large Data Sets. --Andre Schidler, Stefan Szeider
8. Individual Fairness, Base Rate Tracking and the Lipschitz Condition. --Benjamin Eva
9. Simulating Counterfactuals. --Juha Karvanen, Santtu Tikka, Matti Vihola
10. Counting Complexity for Reasoning in Abstract Argumentation. --Johannes K. Fichte, Markus Hecher, Arne Meier
11. Robust Average-Reward Reinforcement Learning. --Yue Wang, Alvaro Velasquez, George Atia, Ashley Prater-Bennette, Shaofeng Zou
12. Using Constraint Propagation to Bound Linear Programs. --Tomáš Dlask, Tomáš Werner
13. The TOAD System for Totally Ordered HTN Planning. --Daniel Höller
14. Methods for Recovering Conditional Independence Graphs: A Survey. --Harsh Shrivastava, Urszula Chajewska
15. Best of Both Worlds: Agents with Entitlements. --Martin Hoefer, Marco Schmalhofer, Giovanna Varricchio
16. Computing Unsatisfiable Cores for LTLf Specifications. --Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
17. General Policies, Subgoal Structure, and Planning Width. --Blai Bonet, Hector Geffner
18. Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models. --Farzane Aminmansour, Taher Jafferjee, Ehsan Imani, Erin J. Talvitie, Michael Bowling, Martha White
19. Exploiting Contextual Target Attributes for Target Sentiment Classification. --Bowen Xing, Ivor W. Tsang
20. Similarity-Based Adaptation for Task-Aware and Task-Free Continual Learning. --Tameem Adel
21. Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization. --Furkan Cantürk, Taha Varol, Reyhan Aydoğan, Okan Örsan Özener
22. On the Trade-off between Redundancy and Cohesiveness in Extractive Summarization. --Ronald Cardenas, Matthias Galle, Shay B. Cohen
23. Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning. --Rafael V. Bettker, Pedro P. Minini, André G. Pereira, Marcus Ritt
24. Block Domain Knowledge-Driven Learning of Chain Graphs Structure. --Shujing Yang, Fuyuan Cao
25. Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches. --Dominik Drexler, Jendrik Seipp, Hector Geffner
26. 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
27. Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length. --Amer Farea, Frank Emmert-Streib
28. Estimating Agent Skill in Continuous Action Domains. --Christopher Archibald, Delma Nieves-Rivera
29. Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods. --Jugal Garg, Aniket Murhekar