| 2025 | Learning Optimal Oblique Decision Trees with (Max)SAT. | Florent Avellaneda |
| 2025 | Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions. | ngel Aso-Mollar, Diego Aineto, Enrico Scala, Eva Onaindia |
| 2025 | Implicitly Aligning Humans and Autonomous Agents through Shared Task Abstractions. | Stphane Aroca-Ouellette, Miguel Aroca-Ouellette, Katharina von der Wense, Alessandro Roncone |
| 2025 | A Symmetric Relative-Error Loss Function for Intermittent Multiscale Signal Modelling. | Sergio M. Vanegas Arias, Lasse Lensu, Fredy Ruiz Palacios |
| 2025 | Top-I2P: Explore Open-Domain Image-to-Point Cloud Registration Using Topology Relationship. | Pei An, Jiaqi Yang, Muyao Peng, You Yang, Qiong Liu, Jie Ma, Liangliang Nan |
| 2025 | Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It. | Denis Antipov, Benjamin Doerr |
| 2025 | AriGraph: Learning Knowledge Graph World Models with Episodic Memory for LLM Agents. | Petr Anokhin, Nikita Semenov, Artyom Y. Sorokin, Dmitry Evseev, Andrey Kravchenko, Mikhail Burtsev, Evgeny Burnaev |
| 2025 | Taking STEPS Forward: Enhancing Online Peer-Counseling with Schema Therapy via Socratic Questioning. | Beng Heng Ang, Sujatha Das Gollapalli, See-Kiong Ng |
| 2025 | Never Train from Scratch: Fair Comparison of Long-Sequence Models Requires Data-Driven Priors (Extended Abstract). | Ido Amos, Jonathan Berant, Ankit Gupta |
| 2025 | LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi |
| 2025 | ASP Chef Chats with Large Language Models. | Mario Alviano, Pietro Macr, Luis Angel Rodriguez Reiners |
| 2025 | Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language. | Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners |
| 2025 | Explainable Automatic Fact-Checking for Journalists Augmentation in the Wild. | Filipe Altoe, Srgio Miguel Gonalves Pinto, H. Sofia Pinto |
| 2025 | Deep Learning Based Multimodal Human Activity Recognition in Smart Homes Using SDHAR-HOME. | Nowayer Alrashidi, Shichao Liu, Takayuki Ito, Jawad Ahmad Haqbeen, Alan Ruth |
| 2025 | Finding Our Moral Values: Guidelines for Value System Aggregation. | Vctor Abia Alonso, Marc Serramia, Eduardo Alonso |
| 2025 | Proven Approximation Guarantees in Multi-Objective Optimization: SPEA2 Beats NSGA-II. | Yasser Alghouass, Benjamin Doerr, Martin S. Krejca, Mohammed Lagmah |
| 2025 | Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation. | Gianvincenzo Alfano, Adam Gould, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2025 | Featured Argumentation Framework: Semantics and Complexity. | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
| 2025 | Credulous Acceptance in High-Order Argumentation Frameworks with Necessities: An Incremental Approach (Abstract Reprint). | Gianvincenzo Alfano, Andrea Cohen, Sebastian Gottifredi, Sergio Greco, Francesco Parisi, Guillermo Ricardo Simari |
| 2025 | Synthesising Minimum Cost Dynamic Norms. | Natasha Alechina, Brian Logan, Giuseppe Perelli |
| 2025 | Cap-and-Penalize: Competitive Mechanisms for Multi-Phase Regularized Online Allocation. | Seyedehkimia Alaviyar, Faraz Zargari, John Tyler, Yunwei Ryan Li, Xiaoqi Tan |
| 2025 | SHIELD: A Self-supervised, Silicosis-focused Hierarchical Imaging Framework for Occupational Lung Disease Diagnosis. | Yasmeena Akhter, Rishabh Ranjan, Richa Singh, Mayank Vatsa |
| 2025 | Data-Centric AI for Chest X-Ray Analysis in Resource-Constrained Settings. | Yasmeena Akhter |
| 2025 | Moral Compass: A Data-Driven Benchmark for Ethical Cognition in AI. | Aisha Aijaz, Arnav Batra, Aryaan Bazaz, Srinath Srinivasa, Raghava Mutharaju, Manohar Kumar |
| 2025 | Sketch Decompositions for Classical Planning via Deep Reinforcement Learning. | Michael Aichmller, Hector Geffner |