Papers
Causal View of Time Series Imputation: Some Identification Results on Missing Mechanism
Ruichu Cai, Kaitao Zheng, Junxian Huang et al.
Dirichlet Process-Based Robust Clustering Using the Median-of-Means Estimator
Supratik Basu, Jyotishka Ray Choudhury, Debolina Paul et al.
CD^2: Constrained Dataset Distillation for Few-Shot Class-Incremental Learning
Kexin Bao, Daichi Zhang, Hansong Zhang et al.
A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective
Nasim Baharisangari, Yucheng Ruan, Chengcheng Zhao et al.
Universal Backdoor Defense via Label Consistency in Vertical Federated Learning
Peng Chen, Haolong Xiang, Xin Du et al.
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
Xiaokai Zhang, Yang Li, Na Zhu et al.
Automated Strategy Invention for Confluence of Term Rewrite Systems
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv et al.
LLM4VKG: Leveraging Large Language Models for Virtual Knowledge Graph Construction
Guohui Xiao, Lin Ren, Guilin Qi et al.
Identifying Causal Mechanism Shifts Under Additive Models with Arbitrary Noise
Yewei Xia, Xueliang Cui, Hao Zhang et al.
Witnesses for Answer Sets of Basic Logic Programs
Yisong Wang, Xianglong Wang, Zhongtao Xie et al.
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques
Christian Straßer, Badran Raddaoui, Said Jabbour
Generalized Safe Conditional Syntax Splitting of Belief Bases
Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck et al.
Iterated Belief Change as Learning
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny et al.
Verifying Quantized Graph Neural Networks is PSPACE-complete
Marco Sälzer, Francois Schwarzentruber, Nicolas Troquard
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
Rajarshi Roy, Yash Pote, Dave Parker et al.
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers
Mohammad Raza, Natasa Milic-Frayling
Rewarding Explainability in Drug Repurposing with Knowledge Graphs
Susana Nunes, Samy Badreddine, Catia Pesquita
Combining MORL with Restraining Bolts to Learn Normative Behaviour
Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan
Responsibility Gap in Collective Decision Making
Pavel Naumov, Jia Tao
FS-KEN: Few-shot Knowledge Graph Reasoning by Adversarial Negative Enhancing
Lingyuan Meng, Ke Liang, Zeyu Zhu et al.
On Definite Iterated Belief Revision with Belief Algebras
Hua Meng, Zhiguo Long, Michael Sioutis et al.
Test-Time Adaptation on Recommender System with Data-Centric Graph Transformation
Yating Liu, Xin Zheng, Yi Li et al.
Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning
Xinrui Lin, Yangfan Wu, Huanyu Yang et al.
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt