IJCAI 2025

1,280 papers

LoD: Loss-difference OOD Detection by Intentionally Label-Noisifying Unlabeled Wild Data

Chuanxing Geng, Qifei Li, Xinrui Wang, Dong Liang, Songcan Chen

T2S: High-resolution Time Series Generation with Text-to-Series Diffusion Models

Yunfeng Ge, Jiawei Li, Yiji Zhao, Haomin Wen, Zhao Li

Decoupled Imbalanced Label Distribution Learning

Yongbiao Gao, Xiangcheng Sun, Miaogen Ling, Chao Tan, Yi Zhai

Dual-Agent Reinforcement Learning for Automated Feature Generation

Wanfu Gao, Zengyao Man, Hanlin Pan, Kunpeng Liu

Two-Stage Feature Generation with Transformer and Reinforcement Learning

Wanfu Gao, Zengyao Man, Zebin He, Yuhao Tang, Jun Gao

Noise-Resistant Label Reconstruction Feature Selection for Partial Multi-Label Learning

Wanfu Gao, Hanlin Pan, Qingqi Han, Kunpeng Liu

Graph Random Walk with Feature-Label Space Alignment: A Multi-Label Feature Selection Method

Wanfu Gao, Jun Gao, Qingqi Han, Hanlin Pan, Kunpeng Liu

Structure-Aware Handwritten Text Recognition via Graph-Enhanced Cross-Modal Mutual Learning

Ji Gan, Yupeng Zhou, Yanming Zhang, Jiaxu Leng, Xinbo Gao

Learn from Global Rather Than Local: Consistent Context-Aware Representation Learning for Multi-View Graph Clustering

Lele Fu, Bowen Deng, Sheng Huang, Tianchi Liao, Chuanfu Zhang

Optimal Transport on Categorical Data for Conterfactuals Using Compositional Data and Dirichlet Transport

Agathe Fernandes Machado, Ewen Gallic, Arthur Charpentier

Tensorial Multi-view Clustering with Deep Anchor Graph Projection

Wei Feng, Dongyuvan Wei, Qianqian Wang, Bo Dong

Federated Multi-view Graph Clustering with Incomplete Attribute Imputation

Wei Feng, Zeyu Bi, Qianqian Wang, Bo Dong

HiTuner: Hierarchical Semantic Fusion Model Fine-Tuning on Text-Attributed Graphs

Zihan Fang, Zhiling Cai, Yuxuan Zheng, Shide Du, Yanchao Tan

Screening, Rectifying, and Re-Screening: A Unified Framework for Tuning Vision-Language Models with Noisy Labels

Chaowei Fang, Hangfei Ma, Zhihao Li, De Cheng, Yue Zhang

Open-World Semi-Supervised Learning with Class Semantic Correlations

Yuxin Fan, Junbiao Cui, Jiye Liang, Jianqing Liang

Not All Layers of LLMs Are Necessary During Inference

Siqi Fan, Xin Jiang, Xiang Li, Xuying Meng, Peng Han

One-step Label Shift Adaptation via Robust Weight Estimation

Ruidong Fan, Xiao Ouyang, Tingjin Luo, Lijun Zhang, Chenping Hou

Multi-player Multi-armed Bandits with Delayed Feedback

Jingqi Fan, Zilong Wang, Shuai Li, Linghe Kong

Continuous-Time Reward Machines

Amin Falah, Shibashis Guha, Ashutosh Trivedi

A Methodological Framework for Measuring Spatial Labeling Similarity

Yihang Du, Jiaying Hu, Suyang Hou, Yueyang Ding, Xiaobo Sun

Counterfactual Explanations for Continuous Action Reinforcement Learning

Shuyang Dong, Shangtong Zhang, Lu Feng

Block Circulant Adapter for Large Language Models

Xinyu Ding, Meiqi Wang, Siyu Liao, Zhongfeng Wang

FedDLAD: A Federated Learning Dual-Layer Anomaly Detection Framework for Enhancing Resilience Against Backdoor Attacks

Binbin Ding, Penghui Yang, Sheng-jun Huang

Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits

Lucile Dierckx, Alexandre Dubray, Siegfried Nijssen

A Fast Neural Architecture Search Method for Multi-Modal Classification via Knowledge Sharing

Zhihua Cui, Shiwu Sun, Qian Guo, Xinyan Liang, Yuhua Qian

KIPPO: Koopman-Inspired Proximal Policy Optimization

Andrei Cozma, Landon Harris, Hairong Qi

Interpretable DNFs

Martin C. Cooper, Imane Bousdira, Clement Carbonnel

SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL

Jacques Cloete, Nikolaus Vertovec, Alessandro Abate

Language-Based Bayesian Optimization Research Assistant (BORA)

Abdoulatif Cissé, Xenophon Evangelopoulos, Vladimir V. Gusev, Andrew I. Cooper

Maximum Entropy Softmax Policy Gradient via Entropy Advantage Estimation

Jean Seong Bjorn Choe, Jong-kook Kim

GRAPE: Heterogeneous Graph Representation Learning for Genetic Perturbation with Coding and Non-Coding Biotype

Changxi Chi, Jun Xia, Jingbo Zhou, Jiabei Cheng, Chang Yu

Fully Test-Time Adaptation for Feature Decrement in Tabular Data

Zi-Jian Cheng, Zi-Yi Jia, Kun-Yang Yu, Zhi Zhou, Lan-Zhe Guo

Automated Superscalar Processor Design by Learning Data Dependencies

Shuyao Cheng, Rui Zhang, Wenkai He, Pengwei Jin, Chongxiao Li

A Hybrid Multi-Factor Network with Dynamic Sequence Modeling for Early Warning of Intraoperative Hypotension

Mingyue Cheng, Jintao Zhang, Zhiding Liu, Chunli Liu

Multi-Objective Neural Bandits with Random Scalarization

Ji Cheng, Bo Xue, Chengyu Lu, Ziqiang Cui, Qingfu Zhang

DO-CoLM: Dynamic 3D Conformation Relationships Capture with Self-Adaptive Ordering Molecular Relational Modeling in Language Models

Zhuo Chen, Jiahui Zhang, Sihan Wang, Hongxin Xiang, Jianmin Wang

Pseudo-Label Reconstruction for Partial Multi-Label Learning

Yu Chen, Fang Li, Na Han, Guanbin Li, Hongbo Gao

Neuromorphic Sequential Arena: A Benchmark for Neuromorphic Temporal Processing

Xinyi Chen, Chenxiang Ma, YuJie Wu, Kay Chen Tan, Jibin Wu

Multimodal Inference with Incremental Tabular Attributes

Xinda Chen, Zhen Xing, Zixian Zhang, Weimin Tan, Bo Yan

Learning to Extrapolate and Adjust: Two-Stage Meta-Learning for Concept Drift in Online Time Series Forecasting

Weiqi Chen, Zhaoyang Zhu, Yifan Zhang, Lefei Shen, Linxiao Yang

Optimizing Personalized Federated Learning Through Adaptive Layer-Wise Learning

Weihang Chen, Cheng Yang, Jie Ren, Zhiqiang Li, Zheng Wang

Pixel-wise Divide and Conquer for Federated Vessel Segmentation

Tian Chen, Wenke Huang, Zhihao Wang, Zekun Shi, He Li

Disconfounding Fake News Video Explanation with Causal Inference

Lizhi Chen, Zhong Qian, Peifeng Li, Qiaoming Zhu

Variational Offline Multi-agent Skill Discovery

Jiayu Chen, Tian Lan, Vaneet Aggarwal

DERI: Cross-Modal ECG Representation Learning with Deep ECG-Report Interaction

Jian Chen, Xiaoru Dong, Wei Wang, Shaorui Zhou, Lequan Yu

Where Does This Data Come From? Enhanced Source Inference Attacks in Federated Learning

Haiyang Chen, Xiaolong Xu, Xiang Zhu, Xiaokang Zhou, Fei Dai

Grounding Methods for Neural-Symbolic AI

Rodrigo Castellano Ontiveros, Francesco Giannini, Marco Gori, Giuseppe Marra, Michelangelo Diligenti

Adversarial Training for Graph Convolutional Networks: Stability and Generalization Analysis

Chang Cao, Han Li, Yulong Wang, Rui Wu, Hong Chen

Long-Term Individual Causal Effect Estimation via Identifiable Latent Representation Learning

Ruichu Cai, Junjie Wan, Weilin Chen, Zeqin Yang, Zijian Li

Causal View of Time Series Imputation: Some Identification Results on Missing Mechanism

Ruichu Cai, Kaitao Zheng, Junxian Huang, Zijian Li, Zhengming Chen

Dirichlet Process-Based Robust Clustering Using the Median-of-Means Estimator

Supratik Basu, Jyotishka Ray Choudhury, Debolina Paul, Swagatam Das

CD^2: Constrained Dataset Distillation for Few-Shot Class-Incremental Learning

Kexin Bao, Daichi Zhang, Hansong Zhang, Yong Li, Yutao Yue

A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective

Nasim Baharisangari, Yucheng Ruan, Chengcheng Zhao, Zhe Xu

Universal Backdoor Defense via Label Consistency in Vertical Federated Learning

Peng Chen, Haolong Xiang, Xin Du, Xiaolong Xu, Xuhao Jiang

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network

Xiaokai Zhang, Yang Li, Na Zhu, Cheng Qin, Zhenbing Zeng

Automated Strategy Invention for Confluence of Term Rewrite Systems

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk

LLM4VKG: Leveraging Large Language Models for Virtual Knowledge Graph Construction

Guohui Xiao, Lin Ren, Guilin Qi, Haohan Xue, Marco Di Panfilo

Identifying Causal Mechanism Shifts Under Additive Models with Arbitrary Noise

Yewei Xia, Xueliang Cui, Hao Zhang, Yixin Ren, Feng Xie

Witnesses for Answer Sets of Basic Logic Programs

Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter

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, Gabriele Kern-Isberner, Christoph Beierle

Iterated Belief Change as Learning

Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

Verifying Quantized Graph Neural Networks is PSPACE-complete

Marco Sälzer, François Schwarzentruber, Nicolas Troquard

A Game-Theoretic Perspective on Inconsistency Handling

Yakoub Salhi

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska

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, Xinwang Liu, Wenpeng Lu

On Definite Iterated Belief Revision with Belief Algebras

Hua Meng, Zhiguo Long, Michael Sioutis, Zhengchun Zhou

Test-Time Adaptation on Recommender System with Data-Centric Graph Transformation

Yating Liu, Xin Zheng, Yi Li, Yanqing Guo

Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning

Xinrui Lin, Yangfan Wu, Huanyu Yang, Yuting Huang, Yu Zhang

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds

Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt

Reasoning About Causal Knowledge in Nondeterministic Domains

Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics

Pascal Kettmann, Jesse Heyninck, Hannes Strass

Human-Readable Neuro-Fuzzy Networks from Frequent Yet Discernible Patterns in Reward-Based Environments

John Wesley Hostetter, Adittya Soukarjya Saha, Md Mirajul Islam, Tiffany Barnes, Min Chi

Relational Decomposition for Program Synthesis

Céline Hocquette, Andrew Cropper

On Middle Grounds for Preference Statements

Anne-Marie George, Ana Ozaki

Non-expansive Fuzzy ALC

Stefan Gebhart, Lutz Schröder, Paul Wild

Are Large Language Models Fluent in Declarative Process Mining?

Valeria Fionda, Antonio Ielo, Francesco Ricca

Facets in Argumentation: A Formal Approach to Argument Significance

Johannes K. Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood

Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

On Temporal ASP with Eager Unfoldable Operators

Thomas Eiter, Davide Soldà

A Sequent Calculus for Answer Set Entailment

Thomas Eiter, Tobias Geibinger

Circuit-Aware d-DNNF Compilation

Vincent Derkinderen, Jean-Marie Lagniez

A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims

Victor David, Anthony Hunter

Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies

Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo

Parallel Belief Contraction via Order Aggregation

Jake Chandler, Richard Booth

Parallel Belief Revision via Order Aggregation

Jake Chandler, Richard Booth

First-Order Coalition Logic

Davide Catta, Rustam Galimullin, Aniello Murano

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol

A Structural Complexity Analysis of Hierarchical Task Network Planning

Cornelius Brand, Robert Ganian, Fionn Mc Inerney, Simon Wietheger

On Independence and SCC-Recursiveness in Assumption-Based Argumentation

Lydia Blümel, Anna Rapberger, Matthias Thimm, Francesca Toni

Inconsistency Handling in DatalogMTL

Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki

Initial Models and Serialisability in Abstract Dialectical Frameworks

Lars Bengel, Matthias Thimm

A Datalog Rewriting Algorithm for Warded Ontologies

Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, Adriano Vlad-Starrabba

A Logic of General Attention Using Edge-Conditioned Event Models

Gaia Belardinelli, Thomas Bolander, Sebastian Watzl

EnergyCompress: A General Case Base Learning Strategy

Fadi Badra, Esteban Marquer, Marie-jeanne Lesot, Miguel Couceiro, David Leake

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