Published: 2025-01-06

Practical Parallel Algorithms for Non-Monotone Submodular Maximization

Shuang Cui, Kai Han, Jing Tang, Xueying Li, Aakas Zhiyuli, Hanxiao Li

39-75

Prosociality in Microtransit

Divya Sundaresan, Akhira Watson, Eleni Bardaka, Crystal Chen Lee, Christopher B. Mayhorn, Munindar P. Singh

77-110

A Portfolio Approach to Massively Parallel Bayesian Optimization

Mickael Binois, Nicholson Collier, Jonathan Ozik

137-167

Confidence-based Estimators for Predictive Performance in Model Monitoring

Juhani Kivimäki, Jukka K. Nurminen, Jakub Białek, Wojtek Kuberski

209-240

TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence

Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum

285-311

CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization

Frederic Kirstein, Jan Philip Wahle, Bela Gipp, Terry Ruas

313-365

CPM-based Hierarchical Text Classification

Biqing Zeng, Yihao Peng, Jichen Yang, Peilin Hong, Junjie Liang

367-388

Forgetting in Abstract Argumentation: Limits and Possibilities

Ringo Baumann, Matti Berthold, Dov Gabbay, Odinaldo Rodrigues

389–431

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen

433-469

AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions

Jakob Schoeffer, Johannes Jakubik, Michael Vössing, Niklas Kühl, Gerhard Satzger

471–501

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement

Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm

563-685

Against The Achilles' Heel: A Survey on Red Teaming for Generative Models

Lizhi Lin, Honglin Mu, Zenan Zhai, Minghan Wang, Yuxia Wang, Renxi Wang, Junjie Gao, Yixuan Zhang, Wanxiang Che, Timothy Baldwin, Xudong Han, Haonan Li

687-775

Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems

Enrico Liscio, Luciano C. Siebert, Catholijn M. Jonker, Pradeep K. Murukannaiah

819-850

Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH

Mirko M. Dimartino, Peter T. Wood, Andrea Cali, Alexandra Poulovassilis

851-899

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

901-936

Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research

Eleonora Mancini, Ana Tanevska, Andrea Galassi, Alessio Galatolo, Federico Ruggeri, Paolo Torroni

937-972

Empirical Game Theoretic Analysis: A Survey

Michael P. Wellman, Karl Tuyls, Amy Greenwald

1017-1076

Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games

Joanna Kaczmarek, Jörg Rothe, Nimrod Talmon

1077–1145

Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model

Chuyuan Wei, Ke Duan, Shengda Zhuo, Hongchun Wang, Shuqiang Huang, Jie Liu

1147-1173

Rumor Detection with Adaptive Data Augmentation and Adversarial Training

Ying Wang, Fuyuan Ma, Zhaoqi Yang, Yaodi Zhu, Bo Yang, Pengfei Shen, Lei Yun

1175-1204

Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation

Xinyan Wang, Jinshuo Liu, Juan Deng, Meng Wang, Qian Deng, Youcheng Yan, Lina Wang, Yunsong Ma, Jeff Z. Pan

1243-1266

Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing

Saeid Pourmand, Wyatt D. Whiting, Alireza Aghasi, Nicholas F. Marshall

1293-1323

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions

David Speck, Jendrik Seipp, Alvaro Torralba

1349–1405

An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems

Conny Olz, Alexander Lodemann, Benedikt Jutz, Mario Schmautz, Maximilian Borowiec, Susanne Biundo, Pascal Bercher

1407-1444

Design and Effects of Co-Learning in Human-AI Teams

Karel van den Bosch, Emma M. Van Zoelen, Tjeerd A.J. Schoonderwoerd, Anthia Solaki, Birgit Van der Stigchel, Ivana Akrum

1445-1493

Maximal Combinations of Fairness Definitions

MaryBeth Defrance, Tijl De Bie

1495-1579

Computational Machine Ethics: A Survey

Tammy Zhong, Yang Song, Raynaldio Limarga, Maurice Pagnucco

1581-1628

From Knowledge to Action: Logics of Permitted and Obligatory Announcements

Xu Li, Guillaume Aucher, Dov Gabbay, Réka Markovich

1629-1672

Principles for Responsible AI Consciousness Research

Patrick Butlin, Theodoros Lappas

1673-1690

Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones

Jonathan Smith, Samuel Hall, George Coombs, Harrison Abbot, Ayat Fekry, Michael A. S. Thorne, Derek Long, Maria Fox

1845-1907

Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective

Xiaosong Chen, Hanqin Zhuang, Yang Liu, Huanle Xu, Wing Cheong Lau

1909-1942

A Divide, Align and Conquer Strategy For Program Synthesis

Jonas Witt, Sebastijan Dumančić, Tias Guns, Claus-Christian Carbon

1961-1997

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Özgür Akgün, Ian Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

1999-2056

Certified Knowledge Compilation with Application to Formally Verified Model Counting

Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

2057–2099

Solving Overlapping Coalition Structure Generation in Task-Based Settings

Guofu Zhang, Zhaopin Su, Xiaoxiao Song, Zixuan Gao, Miqing Li, Xin Yao

2125-2166

Defensive Alliances in Signed Networks

Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf

2189-2232

Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods

Kathleen C. Fraser, Hillary Dawkins, Svetlana Kiritchenko

2233-2278

AI Governance in the GCC States: A Comparative Analysis of National AI Strategies

Mohammad Rashed Albous, Odeh Rashed Al-Jayyousi , Melodena Stephens

2389-2422

Stability in Online Coalition Formation

Martin Bullinger, René Romen

2423-2452

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach

Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered

2535-2594

Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey

Genta Indra Winata, Hanyang Zhao, Anirban Das, Wenpin Tang, David D. Yao, Shi-Xiong Zhang, Sambit Sahu

2595-2661