IJCAI 2023

851 papers

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults

Prantik Chatterjee, Jose Campos, Rui Abreu, Subhajit Roy

REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing

Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto

Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic

Ringo Baumann, Maximilian Heinrich

Abstraction of Nondeterministic Situation Calculus Action Theories

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Leveraging Argumentation for Generating Robust Sample-based Explanations

Leila Amgoud, Philippe Muller, Henri Trenquier

Preferences and Constraints in Abstract Argumentation

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Spatial-Temporal Self-Attention for Asynchronous Spiking Neural Networks

Yuchen Wang, Kexin Shi, Chengzhuo Lu, Yuguo Liu, Malu Zhang

The Effects of AI Biases and Explanations on Human Decision Fairness: A Case Study of Bidding in Rental Housing Markets

Xinru Wang, Chen Liang, Ming Yin

A New ANN-SNN Conversion Method with High Accuracy, Low Latency and Good Robustness

Bingsen Wang, Jian Cao, Jue Chen, Shuo Feng, Yuan Wang

Cognitively Inspired Learning of Incremental Drifting Concepts

Mohammad Rostami, Aram Galstyan

A Low Latency Adaptive Coding Spike Framework for Deep Reinforcement Learning

Lang Qin, Rui Yan, Huajin Tang

Learning When to Advise Human Decision Makers

Gali Noti, Yiling Chen

Learning Heuristically-Selected and Neurally-Guided Feature for Age Group Recognition Using Unconstrained Smartphone Interaction

Yingmao Miao, Qiwei Tian, Chenhao Lin, Tianle Song, Yajie Zhou

Strategic Adversarial Attacks in AI-assisted Decision Making to Reduce Human Trust and Reliance

Zhuoran Lu, Zhuoyan Li, Chun-Wei Chiang, Ming Yin

A Hierarchical Approach to Population Training for Human-AI Collaboration

Yi Loo, Chen Gong, Malika Meghjani

Learnable Surrogate Gradient for Direct Training Spiking Neural Networks

Shuang Lian, Jiangrong Shen, Qianhui Liu, Ziming Wang, Rui Yan

Enhancing Efficient Continual Learning with Dynamic Structure Development of Spiking Neural Networks

Bing Han, Feifei Zhao, Yi Zeng, Wenxuan Pan, Guobin Shen

TDG4Crowd:Test Data Generation for Evaluation of Aggregation Algorithms in Crowdsourcing

Yili Fang, Chaojie Shen, Huamao Gu, Tao Han, Xinyi Ding

Black-Box Data Poisoning Attacks on Crowdsourcing

Pengpeng Chen, Yongqiang Yang, Dingqi Yang, Hailong Sun, Zhijun Chen

Sketch Recognition via Part-based Hierarchical Analogical Learning

Kezhen Chen, Ken Forbus, Balaji Vasan Srinivasan, Niyati Chhaya, Madeline Usher

Towards Collaborative Plan Acquisition through Theory of Mind Modeling in Situated Dialogue

Cristian-Paul Bara, Ziqiao Ma, Yingzhuo Yu, Julie Shah, Joyce Chai

Sequence Learning Using Equilibrium Propagation

Malyaban Bal, Abhronil Sengupta

Can You Improve My Code? Optimizing Programs with Local Search

Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor, Levi H. S. Lelis

Incentive-Compatible Selection for One or Two Influentials

Yuxin Zhao, Yao Zhang, Dengji Zhao

Approximate Envy-Freeness in Graphical Cake Cutting

Sheung Man Yuen, Warut Suksompong

Truthful Auctions for Automated Bidding in Online Advertising

Yidan Xing, Zhilin Zhang, Zhenzhe Zheng, Chuan Yu, Jian Xu

Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity

Anaëlle Wilczynski

Maximin-Aware Allocations of Indivisible Chores with Symmetric and Asymmetric Agents

Tianze Wei, Bo Li, Minming Li

Error in the Euclidean Preference Model

Luke Thorburn, Maria Polukarov, Carmine Ventre

The Computational Complexity of Single-Player Imperfect-Recall Games

Emanuel Tewolde, Caspar Oesterheld, Vincent Conitzer, Paul W. Goldberg

Participatory Budgeting with Multiple Degrees of Projects and Ranged Approval Votes

Gogulapati Sreedurga

Learning Efficient Truthful Mechanisms for Trading Networks

Takayuki Osogami, Segev Wasserkrug, Elisheva S. Shamash

Deliberation and Voting in Approval-Based Multi-Winner Elections

Kanav Mehra, Nanda Kishore Sreenivas, Kate Larson

Finding Mixed-Strategy Equilibria of Continuous-Action Games without Gradients Using Randomized Policy Networks

Carlos Martin, Tuomas Sandholm

Fair Division of a Graph into Compact Bundles

Jayakrishnan Madathil

Approximating Fair Division on D-Claw-Free Graphs

Zbigniew Lonc

Auto-bidding with Budget and ROI Constrained Buyers

Xiaodong Liu, Weiran Shen

Truthful Fair Mechanisms for Allocating Mixed Divisible and Indivisible Goods

Zihao Li, Shengxin Liu, Xinhang Lu, Biaoshuai Tao

Game Theory with Simulation of Other Players

Vojtěch Kovařík, Caspar Oesterheld, Vincent Conitzer

Random Assignment of Indivisible Goods under Constraints

Yasushi Kawase, Hanna Sumita, Yu Yokoi

Convergence in Multi-Issue Iterative Voting under Uncertainty

Joshua Kavner, Reshef Meir, Francesca Rossi, Lirong Xia

Matchings under One-Sided Preferences with Soft Quotas

Santhini K. A., Raghu Raman Ravi, Meghana Nasre

Ties in Multiwinner Approval Voting

Łukasz Janeczko, Piotr Faliszewski

Fair Division with Two-Sided Preferences

Ayumi Igarashi, Yasushi Kawase, Warut Suksompong, Hanna Sumita

On Lower Bounds for Maximin Share Guarantees

Halvard Hummel

Fairly Allocating Goods and (Terrible) Chores

Hadi Hosseini, Aghaheybat Mammadov, Tomasz Wąs

A Unifying Formal Approach to Importance Values in Boolean Functions

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff

First-Choice Maximality Meets Ex-ante and Ex-post Fairness

Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang

New Algorithms for the Fair and Efficient Allocation of Indivisible Chores

Jugal Garg, Aniket Murhekar, John Qin

Strategic Resource Selection with Homophilic Agents

Jonathan Gadea Harder, Simon Krogmann, Pascal Lenzner, Alexander Skopalik

Revenue Maximization Mechanisms for an Uninformed Mediator with Communication Abilities

Zhikang Fan, Weiran Shen

Diversity, Agreement, and Polarization in Elections

Piotr Faliszewski, Andrzej Kaczmarczyk, Krzysztof Sornat, Stanisław Szufa, Tomasz Wąs

An Experimental Comparison of Multiwinner Voting Rules on Approval Elections

Piotr Faliszewski, Martin Lackner, Krzysztof Sornat, Stanisław Szufa

Participatory Budgeting: Data, Tools and Analysis

Piotr Faliszewski, Jarosław Flis, Dominik Peters, Grzegorz Pierczyński, Piotr Skowron

Discrete Two Player All-Pay Auction with Complete Information

Marcin Dziubiński, Krzysztof Jahn

Algorithmics of Egalitarian versus Equitable Sequences of Committees

Eva Michelle Deltl, Till Fluschnik, Robert Bredereck

Complexity of Efficient Outcomes in Binary-Action Polymatrix Games and Implications for Coordination Problems

Argyrios Deligkas, Eduard Eiben, Gregory Gutin, Philip Neary, Anders Yeo

Differentiable Economics for Randomized Affine Maximizer Auctions

Michael Curry, Tuomas Sandholm, John Dickerson

Inferring Private Valuations from Behavioral Data in Bilateral Sequential Bargaining

Lvye Cui, Haoran Yu

Measuring and Controlling Divisiveness in Rank Aggregation

Rachael Colley, Umberto Grandi, César Hidalgo, Mariana Macedo, Carlos Navarrete

Measuring a Priori Voting Power in Liquid Democracy

Rachael Colley, Théo Delemazure, Hugo Gilbert

Adversarial Contention Resolution Games

Giorgos Chionas, Bogdan S. Chlebus, Dariusz R. Kowalski, Piotr Krysta

Deliberation as Evidence Disclosure: A Tale of Two Protocol Types

Julian Chingoma, Adrian Haret

Exploring Leximin Principle for Fair Core-Selecting Combinatorial Auctions: Payment Rule Design and Implementation

Hao Cheng, Shufeng Kong, Yanchen Deng, Caihua Liu, Xiaohu Wu

Rainbow Cycle Number and EFX Allocations: (Almost) Closing the Gap

Shayan Chashm Jahan, Masoud Seddighin, Seyed-Mohammad Seyed-Javadi, Mohammad Sharifi

Optimal Seat Arrangement: What Are the Hard and Easy Cases?

Esra Ceylan, Jiehua Chen, Sanjukta Roy

New Fairness Concepts for Allocating Indivisible Items

Ioannis Caragiannis, Jugal Garg, Nidhi Rathi, Eklavya Sharma, Giovanna Varricchio

Outsourcing Adjudication to Strategic Jurors

Ioannis Caragiannis, Nikolaj Schwartzbach

Proportionality Guarantees in Elections with Interdependent Issues

Markus Brill, Evangelos Markakis, Georgios Papasotiropoulos, Jannik Peters

Delegated Online Search

Pirmin Braun, Niklas Hahn, Martin Hoefer, Conrad Schecker

Schelling Games with Continuous Types

Davide Bilò, Vittorio Bilò, Michelle Döring, Pascal Lenzner, Louise Molitor

Temporal Network Creation Games

Davide Bilò, Sarel Cohen, Tobias Friedrich, Hans Gawendowicz, Nicolas Klodt

Non-Obvious Manipulability in Extensive-Form Mechanisms: The Revelation Principle for Single-Parameter Agents

Thomas Archbold, Bart de Keijzer, Carmine Ventre

Fair and Efficient Allocation of Indivisible Chores with Surplus

Hannaneh Akrami, Bhaskar Ray Chaudhury, Jugal Garg, Kurt Mehlhorn, Ruta Mehta

Simplification and Improvement of MMS Approximation

Hannaneh Akrami, Jugal Garg, Eklavya Sharma, Setareh Taki

Totally Dynamic Hypergraph Neural Networks

Peng Zhou, Zongqian Wu, Xiangxiang Zeng, Guoqiu Wen, Junbo Ma

Online Harmonizing Gradient Descent for Imbalanced Data Streams One-Pass Classification

Han Zhou, Hongpeng Yin, Xuanhong Deng, Yuyu Huang

Towards Hierarchical Policy Learning for Conversational Recommendation with Hypergraph-based Reinforcement Learning

Sen Zhao, Wei Wei, Yifan liu, Ziyang Wang, Wendi Li

Minimally Supervised Contextual Inference from Human Mobility: An Iterative Collaborative Distillation Framework

Jiayun Zhang, Xinyang Zhang, Dezhi Hong, Rajesh K. Gupta, Jingbo Shang

Towards an Integrated View of Semantic Annotation for POIs with Spatial and Textual Information

Dabin Zhang, Ronghui Xu, Weiming Huang, KAI ZHAO, Meng Chen

Sequential Recommendation with Probabilistic Logical Reasoning

Huanhuan Yuan, Pengpeng Zhao, Xuefeng Xian, Guanfeng Liu, Yanchi Liu

Commonsense Knowledge Enhanced Sentiment Dependency Graph for Sarcasm Detection

Zhe Yu, Di Jin, Xiaobao Wang, Yawen Li, Longbiao Wang

Basket Representation Learning by Hypergraph Convolution on Repeated Items for Next-basket Recommendation

Yalin Yu, Enneng Yang, Guibing Guo, Linying Jiang, Xingwei Wang

Curriculum Multi-Level Learning for Imbalanced Live-Stream Recommendation

Shuodian Yu, Junqi Jin, Li Ma, Xiaofeng Gao, Xiaopeng Wu

Exploiting Non-Interactive Exercises in Cognitive Diagnosis

Fangzhou Yao, Qi Liu, Min Hou, Shiwei Tong, Zhenya Huang

Hierarchical Apprenticeship Learning for Disease Progression Modeling

Xi Yang, Ge Gao, Min Chi

OptIForest: Optimal Isolation Forest for Anomaly Detection

Haolong Xiang, Xuyun Zhang, Hongsheng Hu, Lianyong Qi, Wanchun Dou

KDLGT: A Linear Graph Transformer Framework via Kernel Decomposition Approach

Yi Wu, Yanyang Xu, Wenhao Zhu, Guojie Song, Zhouchen Lin

KMF: Knowledge-Aware Multi-Faceted Representation Learning for Zero-Shot Node Classification

Likang Wu, Junji Jiang, Hongke Zhao, Hao Wang, Defu Lian

Feature Staleness Aware Incremental Learning for CTR Prediction

Zhikai Wang, Yanyan Shen, Zibin Zhang, Kangyi Lin

Intent-aware Recommendation via Disentangled Graph Contrastive Learning

Yuling Wang, Xiao Wang, Xiangzhou Huang, Yanhua Yu, Haoyang Li

A Canonicalization-Enhanced Known Fact-Aware Framework For Open Knowledge Graph Link Prediction

Yilin Wang, Minghao Hu, Zhen Huang, Dongsheng Li, Wei Luo

Denoised Self-Augmented Learning for Social Recommendation

Tianle Wang, Lianghao Xia, Chao Huang

Causal-Based Supervision of Attention in Graph Neural Network: A Better and Simpler Choice towards Powerful Attention

Hongjun Wang, Jiyuan Chen, Lun Du, Qiang Fu, Shi Han

SAD: Semi-Supervised Anomaly Detection on Dynamic Graphs

Sheng Tian, Jihai Dong, Jintang Li, Wenlong Zhao, Xiaolong Xu

CONGREGATE: Contrastive Graph Clustering in Curvature Spaces

Li Sun, Feiyang Wang, Junda Ye, Hao Peng, Philip S. Yu

Self-supervised Graph Disentangled Networks for Review-based Recommendation

Yuyang Ren, Haonan Zhang, Qi Li, Luoyi Fu, Xinbing Wang

Semi-supervised Domain Adaptation in Graph Transfer Learning

Ziyue Qiao, Xiao Luo, Meng Xiao, Hao Dong, Yuanchun Zhou

Discriminative-Invariant Representation Learning for Unbiased Recommendation

Hang Pan, Jiawei Chen, Fuli Feng, Wentao Shi, Junkang Wu