IJCAI 2024

1,048 papers

P2P: Transforming from Point Supervision to Explicit Visual Prompt for Object Detection and Segmentation

Guangqian Guo, Dian Shao, Chenguang Zhu, Sha Meng, Xuan Wang

PoRank: A Practical Framework for Learning to Rank Policies

Pengjie Gu, Mengchen Zhao, Xu He, Yi Cai, Bo An

Unlearning during Learning: An Efficient Federated Machine Unlearning Method

Hanlin Gu, Gongxi Zhu, Jie Zhang, Xinyuan Zhao, Yuxing Han

Temporal Graph ODEs for Irregularly-Sampled Time Series

Alessio Gravina, Daniele Zambon, Davide Bacciu, Cesare Alippi

History Repeats Itself: A Baseline for Temporal Knowledge Graph Forecasting

Julia Gastinger, Christian Meilicke, Federico Errica, Timo Sztyler, Anett Schülke

Exterior Penalty Policy Optimization with Penalty Metric Network under Constraints

Shiqing Gao, Jiaxin Ding, Luoyi Fu, Xinbing Wang, Chenghu Zhou

Spatial-Temporal-Decoupled Masked Pre-training for Spatiotemporal Forecasting

Haotian Gao, Renhe Jiang, Zheng Dong, Jinliang Deng, Yuxin Ma

Hard-Thresholding Meets Evolution Strategies in Reinforcement Learning

Chengqian Gao, William de Vazelhes, Hualin Zhang, Bin Gu, Zhiqiang Xu

Core-Structures-Guided Multi-Modal Classification Neural Architecture Search

Pinhan Fu, Xinyan Liang, Tingjin Luo, Qian Guo, Yayu Zhang

Efficient Federated Multi-View Clustering with Integrated Matrix Factorization and K-Means

Wei Feng, Zhenwei Wu, Qianqian Wang, Bo Dong, Zhiqiang Tao

Federated Multi-View Clustering via Tensor Factorization

Wei Feng, Zhenwei Wu, Qianqian Wang, Bo Dong, Zhiqiang Tao

VCC-INFUSE: Towards Accurate and Efficient Selection of Unlabeled Examples in Semi-supervised Learning

Shijie Fang, Qianhan Feng, Tong Lin

Deep Frequency Derivative Learning for Non-stationary Time Series Forecasting

Wei Fan, Kun Yi, Hangting Ye, Zhiyuan Ning, Qi Zhang

Tolerating Outliers: Gradient-Based Penalties for Byzantine Robustness and Inclusion

Latifa Errami, El Houcine Bergou

Group-Aware Coordination Graph for Multi-Agent Reinforcement Learning

Wei Duan, Jie Lu, Junyu Xuan

SpecAR-Net: Spectrogram Analysis and Representation Network for Time Series

Yi Dong, Liwen Zhang, Youcheng Zhang, Shi Peng, Wen Chen

What Hides behind Unfairness? Exploring Dynamics Fairness in Reinforcement Learning

Zhihong Deng, Jing Jiang, Guodong Long, Chengqi Zhang

Exploring the Inefficiency of Heavy Ball as Momentum Parameter Approaches 1

Xiaoge Deng, Tao Sun, Dongsheng Li, Xicheng Lu

A Conservative Approach for Few-Shot Transfer in Off-Dynamics Reinforcement Learning

Paul Daoudi, Christophe Prieur, Bogdan Robu, Merwan Barlier, Ludovic DOS SANTOS

HypBO: Accelerating Black-Box Scientific Experiments Using Experts’ Hypotheses

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

Structure-Preserving Physics-Informed Neural Networks with Energy or Lyapunov Structure

Haoyu Chu, Yuto Miyatake, Wenjun Cui, Shikui Wei, Daisuke Furihata

Diversification of Adaptive Policy for Effective Offline Reinforcement Learning

Yunseon Choi, Li Zhao, Chuheng Zhang, Lei Song, Jiang Bian

Deep Embedding Clustering Driven by Sample Stability

Zhanwen Cheng, Feijiang Li, Jieting Wang, Yuhua Qian

Automated CPU Design by Learning from Input-Output Examples

Shuyao Cheng, Pengwei Jin, Qi Guo, Zidong Du, Rui Zhang

Disentangling Domain and General Representations for Time Series Classification

Youmin Chen, Xinyu Yan, Yang Yang, Jianfeng Zhang, Jing Zhang

Boosting Single Positive Multi-label Classification with Generalized Robust Loss

Yanxi Chen, Chunxiao Li, Xinyang Dai, Jinhuan Li, Weiyu Sun

Global Optimality of Single-Timescale Actor-Critic under Continuous State-Action Space: A Study on Linear Quadratic Regulator

Xuyang Chen, Jingliang Duan, Lin Zhao

EAT: Self-Supervised Pre-Training with Efficient Audio Transformer

Wenxi Chen, Yuzhe Liang, Ziyang Ma, Zhisheng Zheng, Xie Chen

Off-Agent Trust Region Policy Optimization

Ruiqing Chen, Xiaoyuan Zhang, Yali Du, Yifan Zhong, Zheng Tian

Breaking Barriers of System Heterogeneity: Straggler-Tolerant Multimodal Federated Learning via Knowledge Distillation

Jinqian Chen, Haoyu Tang, Junhao Cheng, Ming Yan, Ji Zhang

Learning Low-Rank Tensor Cores with Probabilistic ℓ0-Regularized Rank Selection for Model Compression

Tianxiao Cao, Lu Sun, Canh Hao Nguyen, Hiroshi Mamitsuka

Dual Contrastive Graph-Level Clustering with Multiple Cluster Perspectives Alignment

Jinyu Cai, Yunhe Zhang, Jicong Fan, Yali Du, Wenzhong Guo

LG-FGAD: An Effective Federated Graph Anomaly Detection Framework

Jinyu Cai, Yunhe Zhang, Jicong Fan, See-Kiong Ng

With a Little Help from Language: Semantic Enhanced Visual Prototype Framework for Few-Shot Learning

Hecheng Cai, Yang Liu, Shudong Huang, Jiancheng Lv

Best Arm Identification with Retroactively Increased Sampling Budget for More Resource-Efficient HPO

Jasmin Brandt, Marcel Wever, Viktor Bengs, Eyke Hüllermeier

Towards Exact Computation of Inductive Bias

Akhilan Boopathy, William Yue, Jaedong Hwang, Abhiram Iyer, Ila Fiete

Contrastive General Graph Matching with Adaptive Augmentation Sampling

Jianyuan Bo, Yuan Fang

Interpretable Network Visualizations: A Human-in-the-Loop Approach for Post-hoc Explainability of CNN-based Image Classification

Matteo Bianchi, Antonio De Santis, Andrea Tocchetti, Marco Brambilla

Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li

Online Learning with Off-Policy Feedback in Adversarial MDPs

Francesco Bacchiocchi, Francesco Emanuele Stradi, Matteo Papini, Alberto Maria Metelli, Nicola Gatti

Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

On the Computation of Example-Based Abductive Explanations for Random Forests

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Cutting the Black Box: Conceptual Interpretation of a Deep Neural Net with Multi-Modal Embeddings and Multi-Criteria Decision Aid

Nicolas Atienza, Roman Bresson, Cyriaque Rousselot, Philippe Caillou, Johanne Cohen

Contrastive Learning Is Not Optimal for Quasiperiodic Time Series

Adrian Atienza, Jakob Bardram, Sadasivan Puthusserypady

Contract Scheduling with Distributional and Multiple Advice

Spyros Angelopoulos, Marcin Bienkowski, Christoph Dürr, Bertrand Simon

Fine-tuning Pre-trained Models for Robustness under Noisy Labels

Sumyeong Ahn, Sihyeon Kim, Jongwoo Ko, Se-Young Yun

The Trembling-Hand Problem for LTLf Planning

Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Vardi

Explaining Arguments’ Strength: Unveiling the Role of Attacks and Supports

Xiang Yin, Nico Potyka, Francesca Toni

Temporal Inductive Logic Reasoning over Hypergraphs

Yuan Yang, Siheng Xiong, Ali Payani, James C. Kerce, Faramarz Fekri

NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning

Nathaniel Weir, Peter Clark, Benjamin Van Durme

Structured d-DNNF Is Not Closed under Negation

Harry Vinall-Smeeth

A Tensor-Based Formalization of the Event Calculus

Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras

Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics

Matthias Thimm

On the Power and Limitations of Examples for Description Logic Concepts

Balder ten Cate, Raoul Koudijs, Ana Ozaki

Agentive Permissions in Multiagent Systems

Qi SHI

The Transformation Logics

Alessandro Ronca

Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases

Badran Raddaoui, Christian Straßer, Said Jabbour

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks

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

Preferred Reasoning in ABA by Cycle-Breaking

Kiet Nguyen Anh, Markus Ulbricht

Revising Beliefs and Intentions in Stochastic Environments

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

CPa-WAC: Constellation Partitioning-based Scalable Weighted Aggregation Composition for Knowledge Graph Embedding

Sudipta Modak, Aakarsh Malhotra, Sarthak Malik, Anil Surisetty, Esam Abdel-Raheem

Model-Free Preference Elicitation

Carlos Martin, Craig Boutilier, Ofer Meshi, Tuomas Sandholm

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

Timothy S. Lyon, Jonas Karge

First-Order Progression beyond Local-Effect and Normal Actions

Daxin Liu, Jens Claßen

Regression Residual Reasoning with Pseudo-labeled Contrastive Learning for Uncovering Multiple Complex Compositional Relations

Chengtai Li, Yuting He, Jianfeng Ren, Ruibin Bai, Yitian Zhao

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner

Extremal Separation Problems for Temporal Instance Queries

Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

LLMs Can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought

Zhuoxuan Jiang, Haoyuan Peng, Shanshan Feng, Fan Li, Dongsheng Li

Learning Big Logical Rules by Joining Small Rules

Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

Learning Logic Programs by Discovering Higher-Order Abstractions

Céline Hocquette, Sebastijan Dumancic, Andrew Cropper

Semantics for Non-Flat Assumption-Based Argumentation, Revisited

Jesse Heyninck, Ofer Arieli

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation

Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt

Learning Conditional Preference Networks: An Approach Based on the Minimum Description Length Principle

Pierre-François Gimenez, Jérôme Mengin

Finite Groundings for ASP with Functions: A Journey through Consistency

Lukas Gerlach, David Carral, Markus Hecher

Revisiting Causal Discovery from a Complexity-Theoretic Perspective

Robert Ganian, Viktoriia Korchemna, Stefan Szeider

Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Giuseppina Monterosso

On the Logic of Theory Change Iteration of KM-Update, Revised

Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai

Computational Aspects of Progression for Temporal Equilibrium Logic

Thomas Eiter, Davide Soldà

Epistemic Logic Programs: Non-Ground and Counting Complexity

Thomas Eiter, Johannes K. Fichte, Markus Hecher, Stefan Woltran

Model Checking Causality

Tiago de Lima, Emiliano Lorini

Compilation and Fast Model Counting beyond CNF

Alexis de Colnet, Stefan Szeider, Tianwei Zhang

Enhancing Controlled Query Evaluation through Epistemic Policies

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

Temporal Knowledge Graph Extrapolation via Causal Subhistory Identification

Kai Chen, Ye Wang, XIN SONG, SIWEI CHEN, Han Yu

Capturing Knowledge Graphs and Rules with Octagon Embeddings

Victor Charpenay, Steven Schockaert

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Giovanni Buraglio, Wolfgang Dvořák, Matthias König, Markus Ulbricht

Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring

Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno

Primal Grammars Driven Automated Induction

Adel Bouhoula, Miki Hermann

Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting

Alexander Beiser, Markus Hecher, Kaan Unalan, Stefan Woltran

Data Complexity in Expressive Description Logics with Path Expressions

Bartosz Bednarczyk

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

Higher-Order Argumentation Frameworks: Principles and Gradual Semantics

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

AMO-aware Aggregates in Answer Set Programming

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

General Epistemic Abstract Argumentation Framework: Semantics and Complexity

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

CausVSR: Causality Inspired Visual Sentiment Recognition

Xinyue Zhang, Zhaoxia Wang, Hailing Wang, Jing Xiang, Chunwei Wu

Dialogue Cross-Enhanced Central Engagement Attention Model for Real-Time Engagement Estimation

Jun Yu, Keda Lu, Ji Zhao, Zhihong Wei, Iek-Heng Chu

CoCoG: Controllable Visual Stimuli Generation Based on Human Concept Representations

CHEN WEI, Jiachen Zou, Dietmar Heinke, Quanying Liu

Multi-scale Context-Aware Networks Based on Fragment Association for Human Activity Recognition

Zhiqiong Wang, Hanyu Liu, Boyang Zhao, Qi Shen, Mingzhe Li

Apprenticeship-Inspired Elegance: Synergistic Knowledge Distillation Empowers Spiking Neural Networks for Efficient Single-Eye Emotion Recognition

Yang Wang, Haiyang Mei, Qirui Bao, Ziqi Wei, Mike Zheng Shou

MetaJND: A Meta-Learning Approach for Just Noticeable Difference Estimation

Miaohui Wang, Yukuan Zhu, Rong Zhang, Wuyuan Xie