PPaperPicks
← All conferences
Editions202620252024

IJCAI 2025

A*

International Joint Conference on Artificial Intelligence

Official site ↗
1,288
accepted papers
5,533
authors
August 16-22, 2025
dates
Canada.
location

300 / 1,288 papers

  1. 1
    2D Gaussian Splatting for Outdoor Scene Decomposition and Relighting
    Wei Feng
    ,
    Kangrui Ye
    ,
    Qi Zhang
    ,
    Qian Zhang
    ,
    Nan Li
  2. 2
    40 Years of Research in Possibilistic Logic - a Survey
    Didier Dubois
    ,
    Henri Prade
  3. 3
    A Case for Validation Buffer in Pessimistic Actor-Critic
    Michal Nauman
    ,
    Mateusz Ostaszewski
    ,
    Marek Cygan
  4. 4
    A Centrality-based Graph Learning Framework
    Jiajun Yu
    ,
    Zhihao Wu
    ,
    Jielong Lu
    ,
    Tianyue Wang
    ,
    Haishuai Wang
  5. 5
    A Comprehensive and Systematic Review for Deep Learning-Based De Novo Peptide Sequencing
    Jun Xia
    ,
    Jingbo Zhou
    ,
    Shaorong Chen
    ,
    Tianze Ling
    ,
    Stan Z. Li
  6. 6
    A Comprehensive Survey on Physical Risk Control in the Era of Foundation Model-enabled Robotics
    Takeshi Kojima
    ,
    Yaonan Zhu
    ,
    Yusuke Iwasawa
    ,
    Toshinori Kitamura
    ,
    Gang Yan
    ,
    Shu Morikuni
    ,
    Ryosuke Takanami
    ,
    Alfredo Solano
    ,
    Tatsuya Matsushima
    ,
    Akiko Murakami
    ,
    Yutaka Matsuo
  7. 7
    A Correlation Manifold Self-Attention Network for EEG Decoding
    Chen Hu
    ,
    Rui Wang
    ,
    Xiaoning Song
    ,
    Tao Zhou
    ,
    Xiao-Jun Wu
    ,
    Nicu Sebe
    ,
    Ziheng Chen
  8. 8
    A Cross-Modal Densely Guided Knowledge Distillation Based on Modality Rebalancing Strategy for Enhanced Unimodal Emotion Recognition
    Shuang Wu
    ,
    Heng Liang
    ,
    Yong Zhang
    ,
    Yanlin Chen
    ,
    Ziyu Jia
  9. 9
    A Datalog Rewriting Algorithm for Warded Ontologies
    Davide Benedetto
    ,
    Marco Calautti
    ,
    Hebatalla Hammad
    ,
    Emanuel Sallinger
    ,
    Adriano Vlad-Starrabba
  10. 10
    A Dual Stream Visual Tokenizer for LLM Image Generation
    Yongqian Li
    ,
    Yong Luo
    ,
    Xiantao Cai
    ,
    Zheng He
    ,
    Zhennan Meng
    ,
    Nidong Wang
    ,
    Yunlin Chen
    ,
    Zhifei Li
  11. 11
    A Dynamic Knowledge Update-Driven Model with Large Language Models for Fake News Detection
    Di Jin
    ,
    Jun Yang
    ,
    Xiaobao Wang
    ,
    Junwei Zhang
    ,
    Shuqi Li
    ,
    Dongxiao He
  12. 12
    A Dynamic Stiefel Graph Neural Network for Efficient Spatio-Temporal Time Series Forecasting
    Jiankai Zheng
    ,
    Liang Xie
  13. 13
    A Fast and Accurate ANN-SNN Conversion Algorithm with Negative Spikes
    Xu Wang
    ,
    Dongchen Zhu
    ,
    Jiamao Li
  14. 14
    A Fast Neural Architecture Search Method for Multi-Modal Classification via Knowledge Sharing
    Zhihua Cui
    ,
    Shiwu Sun
    ,
    Qian Guo
    ,
    Xinyan Liang
    ,
    Yuhua Qian
    ,
    Zhixia Zhang
  15. 15
    A Fast-Adaptive Cognitive Diagnosis Framework for Computerized Adaptive Testing Systems
    Yuanhao Liu
    ,
    Yiya You
    ,
    Shuo Liu
    ,
    Hong Qian
    ,
    Ying Qian
    ,
    Aimin Zhou
  16. 16
    A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
    Victor Lagerkvist
    ,
    Mohamed Maizia
    ,
    Johannes Schmidt
  17. 17
    A Finite-State Controller Based Offline Solver for Deterministic POMDPs
    Alex Schutz
    ,
    Yang You
    ,
    Matías Mattamala
    ,
    Ipek Caliskanelli
    ,
    Bruno Lacerda
    ,
    Nick Hawes
  18. 18
    A First Runtime Analysis of NSGA-III on a Many-Objective Multimodal Problem: Provable Exponential Speedup via Stochastic Population Update
    Andre Opris
  19. 19
    A Formal Theory of Optimal Learning with Experimental Results
    Michael Timothy Bennett
  20. 20
    A Game-Theoretic Perspective on Inconsistency Handling
    Yakoub Salhi
  21. 21
    A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
    Simone Caruso
    ,
    Carmine Dodaro
    ,
    Marco Maratea
    ,
    Alice Tarzariol
  22. 22
    A Generalized Diffusion Framework with Learnable Propagation Dynamics for Source Localization
    Dongpeng Hou
    ,
    Yuchen Wang
    ,
    Chao Gao
    ,
    Xianghua Li
  23. 23
    A Hybrid Multi-Factor Network with Dynamic Sequence Modeling for Early Warning of Intraoperative Hypotension
    Mingyue Cheng
    ,
    Jintao Zhang
    ,
    Zhiding Liu
    ,
    Chunli Liu
  24. 24
    A Little Subsidy Ensures MMS Allocation for Three Agents
    Xiaowei Wu
    ,
    Quan Xue
    ,
    Shengwei Zhou
  25. 25
    A Logic of General Attention Using Edge-Conditioned Event Models
    Gaia Belardinelli
    ,
    Thomas Bolander
    ,
    Sebastian Watzl
  26. 26
    A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective
    Nasim Baharisangari
    ,
    Yucheng Ruan
    ,
    Chengcheng Zhao
    ,
    Zhe Xu
  27. 27
    A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims
    Victor David
    ,
    Anthony Hunter
  28. 28
    A Medical Image Classification Network Based on Multi-View Consistent Momentum Contrastive Learning
    Chuangui Cao
    ,
    Shifei Ding
    ,
    Lili Guo
  29. 29
    A Methodological Framework for Measuring Spatial Labeling Similarity
    Yihang Du
    ,
    Jiaying Hu
    ,
    Suyang Hou
    ,
    Yueyang Ding
    ,
    Xiaobo Sun
  30. 30
    A Multi-Granularity Clustering Approach for Federated Backdoor Defense with the Adam Optimizer
    Jidong Yuan
    ,
    Qihang Zhang
    ,
    Naiyue Chen
    ,
    Shengbo Chen
    ,
    Baomin Xu
  31. 31
    A Multi-view Fusion Approach for Enhancing Speech Signals via Short-time Fractional Fourier Transform
    Zikun Jin
    ,
    Yuhua Qian
    ,
    Xinyan Liang
    ,
    Haijun Geng
  32. 32
    A Multimodal AI Dialogue System for Unified Document, Visual, and Audio Interaction
    Yujun Feng
    ,
    Jingyi Huang
    ,
    Yang Zhang
  33. 33
    A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
    Luca Salvatore Lorello
    ,
    Marco Lippi
    ,
    Stefano Melacci
  34. 34
    A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals
    Carlos Aguilera-Ventura
    ,
    Xinghan Liu
    ,
    Emiliano Lorini
    ,
    Dmitry Rozplokhas
  35. 35
    A Novel Local Search Algorithm for the Vertex Bisection Minimization Problem
    Rui Sun
    ,
    Xinyu Wang
    ,
    Yiyuan Wang
    ,
    Jiangnan Li
    ,
    Yi Zhou
  36. 36
    A Novel Sparse Active Online Learning Framework for Fast and Accurate Streaming Anomaly Detection Over Data Streams
    Zhong Chen
    ,
    Yi He
    ,
    Di Wu
    ,
    Chen Zhao
    ,
    Meikang Qiu
  37. 37
    A Picture is Worth a Thousand Prompts? Efficacy of Iterative Human-Driven Prompt Refinement in Image Regeneration Tasks
    Khoi Trinh
    ,
    Scott Seidenberger
    ,
    Raveen Wijewickrama
    ,
    Murtuza Jadliwala
    ,
    Anindya Maiti
  38. 38
    A Primal-dual Perspective for Distributed TD-learning
    Han-Dong Lim
    ,
    Donghwan Lee
  39. 39
    A Prior-based Discrete Diffusion Model for Social Graph Generation
    Shu Yin
    ,
    Dongpeng Hou
    ,
    Lianwei Wu
    ,
    Xianghua Li
    ,
    Chao Gao
  40. 40
    A Priori Estimation of the Approximation, Optimization and Generalization Errors of Random Neural Networks for Solving Partial Differential Equations
    Xianliang Xu
    ,
    Ye Li
    ,
    Zhongyi Huang
  41. 41
    A Reduction-Based Algorithm for the Clique Interdiction Problem
    Chenghao Zhu
    ,
    Yi Zhou
    ,
    Haoyu Jiang
  42. 42
    A Relaxed Symmetric Non-negative Matrix Factorization Approach for Community Discovery (Extended Abstract)
    Zhigang Liu
    ,
    Hao Yan
    ,
    Yurong Zhong
    ,
    Weiling Li
  43. 43
    A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
    Rei Higuchi
    ,
    Takehide Soh
    ,
    Daniel Le Berre
    ,
    Morgan Magnin
    ,
    Mutsunori Banbara
    ,
    Naoyuki Tamura
  44. 44
    A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)
    Alejandra López de Aberasturi-Gómez
    ,
    Jordi Sabater-Mir
    ,
    Carles Sierra
  45. 45
    A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)
    Simon Odense
    ,
    Artur S. d'Avila Garcez
  46. 46
    A Sequent Calculus for Answer Set Entailment
    Thomas Eiter
    ,
    Tobias Geibinger
  47. 47
    A Simple yet Effective Hypergraph Clustering Network
    Qianqian Wang
    ,
    Bowen Zhao
    ,
    Zhengming Ding
    ,
    Xiangdong Zhang
    ,
    Quanxue Gao
  48. 48
    A Smart Multimodal Healthcare Copilot with Powerful LLM Reasoning
    Xuejiao Zhao
    ,
    Siyan Liu
    ,
    Su-Yin Yang
    ,
    Chunyan Miao
  49. 49
    A Structural Complexity Analysis of Hierarchical Task Network Planning
    Cornelius Brand
    ,
    Robert Ganian
    ,
    Fionn Mc Inerney
    ,
    Simon Wietheger
  50. 50
    A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions
    Ziyang Xiao
    ,
    Jingrong Xie
    ,
    Lilin Xu
    ,
    Shisi Guan
    ,
    Jingyan Zhu
    ,
    Xiongwei Han
    ,
    Xiaojin Fu
    ,
    WingYin Yu
    ,
    Han Wu
    ,
    Wei Shi
    ,
    Qingcan Kang
    ,
    Jiahui Duan
    ,
    Tao Zhong
    ,
    Mingxuan Yuan
    ,
    Jia Zeng
    ,
    Yuan Wang
    ,
    Gang Chen
    ,
    Dongxiang Zhang