BERJAYA

Answering Path Queries under Linear and Guarded Existential Rules

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo

PDF

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, Stefano Teso

PDF

Adaptive Neighborhood Selection for MAPF via Non-Stationary Bandits

Amath Sow, Daniel de Leng, Mariusz Wzorek, Fredrik Heintz

PDF

Free-Riding in Multi-Issue Decisions

Martin Lackner, Jan Maly, Oliviero Nardi

PDF

Can LLMs Replace Economic Choice Prediction Labs? The Case of Language-based Persuasion Games

Eilam Shapira, Omer Madmon, Roi Reichart, Moshe Tennenholtz

PDF

Symbols and Neurons: A Review of Symbolic XAI in Deep Learning

Ionel Eduard Stan, Guido Sciavicco, Paolo Napoletano

PDF

Extension-ranking Semantics for Abstract Argumentation

Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner

PDF

GEPR: Group-knowledge Enhanced Personalized Educational Resource Recommendation

Liqin Wang, Hanshuo Liu, Rui Zhang, Xu Wang, Yongfeng Dong

PDF

Reward Generation for Model-Free Reinforcement Learning from Formal Specifications

Nikhil Singh, Indranil Saha

PDF

Capacity Analysis of Vector Symbolic Architectures

Kenneth L Clarkson, Shashanka Ubaru, Elizabeth Yang

PDF

Gradual Semantics for Weighted Higher-Order Argumentation Frameworks

Leila Amgoud, Dragan Doder, Marie-Christine Lagasquie-Schiex

PDF

Machine Learning for Constraint-based Configuration: A Survey

Christian Bähnisch, Alexander Felfernig, Damian Garber, Albert Haag, Denis Helic, Lothar Hotz, Viet-Man Le, Sebastian Lubos

PDF

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, Shaowei Cai

PDF

Hierarchical Reinforcement Learning with Optimal Level Synchronization Based on Flow-Based Deep Generative Model

Jaeyoon Kim, Junyu Xuan, Christy Liang, Farookh Hussain

PDF

Frugal Algorithm Selection for Combinatorial Search

Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel, Lars Kotthoff

PDF

Deep Neural Network Compression via Data-Driven Low-Rank Singular Value Decomposition

Abdelfattah Toulaoui, Hamza Khalfi, Imad Hafidi

PDF

Kernel-Based Learning of Safety Barriers

Oliver Schön, Zhengang Zhong, Sadegh Soudjani

PDF

An Empirical Comparison of Cost Functions in Inductive Logic Programming

Céline Hocquette, Andrew Cropper

PDF

De-biasing Facial Albedo Estimation via Visual-Textual Cues

Xingyu Ren, Jiankang Deng, Chao Ma, Yichao Yan, Wenhan Zhu, Xiaokang Yang

PDF

Jump Over Dynamic Block (JODB): An Efficient Line-of-Sight Checker for Dynamic Grid/Voxel Maps with Sparse Obstacles

Zhuo Yao, Wei Wang, Yueri Cai

PDF

Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning

Guocheng He, Ziyan An, Meiyi Ma

PDF

Efficiently Negative: Complexity and Approximations of Targeted Negative Campaigning

Avishai Zagoury, Orgad Keller, Avinatan Hassidim, Noam Hazon

PDF

Towards Verified and Targeted Explanations through Formal Methods

Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma

PDF

The Complexity of Extending Fair Allocations of Indivisible Goods

Argyrios Deligkas, Eduard Eiben, Robert Ganian, Tiger-Lily Goldsmith, Stavros D. Ioannidis

PDF

How to DP-Fy Your Data: A Practical Guide to Generating Synthetic Data With Differential Privacy

Natalia Ponomareva, Zheng Xu, H. Brendan McMahan, Peter Kairouz, Lucas Rosenblatt, Vincent Cohen-Addad, Cristobal Guzman, Ryan McKenna, Galen Andrew, Alex Bie, Da Yu, Alex Kurakin, Morteza Zadimoghaddam, Sergei Vassilvitskii, Andreas Terzis

PDF

Explainable Bayesian Deep Learning through Input-skip Latent Binary Bayesian Neural Networks

Eirik Høyheim, Lars Skaaret-Lund, Solve Sæbø, Aliaksandr Hubin

PDF

Maximizing the Spread of Influence through a Social Network Using Partial Incentives

Abhishek K. Umrawal, Eliot W. Robson, Vaneet Aggarwal, Christopher J. Quinn

PDF

Doing More with Less: A Survey on Routing Strategies for Resource Optimisation in Large Language Model-Based Systems

Clovis Varangot-Reille, Christophe Bouvard, Mathieu Ciancone, Antoine Gourru, Marion Schaeffer, François Jacquenet

PDF

Language Model Self-improvement by Reinforcement Learning Contemplation without External Supervision

Jing-Cheng Pang, Kaiyuan Li, Pengyuan Wang, Xiong-Hui Chen, Jiacheng Xu, Zongzhang Zhang, Yang Yu

PDF

Trustworthy AI and Mixed Reality in Police Interventions: Challenges and Opportunities

Andreas Brännström, Eduardo García Laredo, Bernat Vivolas Jorda, Lola Valles, Jonas Hansson, Emili Martinez Cañaveras, Anders Schogster, David Martin-Moncunill, Juan Carlos Nieves

PDF