IJCAI 2023

851 papers

Bayesian Federated Learning: A Survey

Longbing Cao, Hui Chen, Xuhui Fan, João Gama, Yew-Soon Ong

Multi-objective Search via Lazy and Efficient Dominance Checks

Carlos Hernández, William Yeoh, Jorge A. Baier, Ariel Felner, Oren Salzman

Dual Prompt Learning for Continual Rain Removal from Single Images

Minghao Liu, Wenhan Yang, Yuzhang Hu, Jiaying Liu

Imbalanced Node Classification Beyond Homophilic Assumption

Jie Liu, Mengting He, Guangtao Wang, Quoc Viet Hung Nguyen, Xuequn Shang

Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture

Yingjie Li, Weilu Gao, Cunxi Yu

IMPsys: An Intelligent Mold Processing System for Smart Factory

Xueyi Zhou, Yohan Na, Minju Bang, Dong-Kyu Chae

Matting Moments: A Unified Data-Driven Matting Engine for Mobile AIGC in Photo Gallery

Yanhao Zhang, Fanyi Wang, Weixuan Sun, Jingwen Su, Peng Liu

VideoMaster: A Multimodal Micro Game Video Recreator

Yipeng Yu, Xiao Chen, Hui Zhan

AutoML for Outlier Detection with Optimal Transport Distances

Prabhant Singh, Joaquin Vanschoren

LingGe: An Automatic Ancient Chinese Poem-to-Song Generation System

Yong Shan, Jinchao Zhang, Huiying Ren, Yao Qiu, Jie Zhou

Modeling the Impact of Policy Interventions for Sustainable Development

Sowmith Nandan Rachuri, Arpitha Malavalli, Niharika Sri Parasa, Pooja Bassin, Srinath Srinivasa

Humming2Music: Being A Composer As Long As You Can Humming

Yao Qiu, Jinchao Zhang, Huiying Ren, Yong Shan, Jie Zhou

Plansformer Tool: Demonstrating Generation of Symbolic Plans Using Transformers

Vishal Pallagani, Bharath Muppasani, Biplav Srivastava, Francesca Rossi, Lior Horesh

Fedstellar: A Platform for Training Models in a Privacy-preserving and Decentralized Fashion

Enrique Tomás Martínez Beltrán, Pedro Miguel Sánchez Sánchez, Sergio López Bernal, Gérôme Bovet, Manuel Gil Pérez

SupervisorBot: NLP-Annotated Real-Time Recommendations of Psychotherapy Treatment Strategies with Deep Reinforcement Learning

Baihan Lin, Guillermo Cecchi, Djallel Bouneffouf

Optimized Crystallographic Graph Generation for Material Science

Astrid Klipfel, Yaël Fregier, Adlane Sayede, Zied Bouraoui

A Human-in-the-Loop Tool for Annotating Passive Acoustic Monitoring Datasets

Hannes Kath, Thiago S. Gouvêa, Daniel Sonntag

Practical Model Reductions for Verification of Multi-Agent Systems

Wojciech Jamroga, Yan Kim

Understanding the Night-Sky? Developing AI-Enabled System for Exploring Night-Light Usage Patterns

Jakob Hederich, Shreya Ghosh, Zeyu He, Prasenjit Mitra

Latent Inspector: An Interactive Tool for Probing Neural Network Behaviors Through Arbitrary Latent Activation

Daniel Geißler, Bo Zhou, Paul Lukowicz

NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs

Victor David, Raphael Fournier-S'niehotta, Nicolas Travers

Automated Planning for Generating and Simulating Traffic Signal Strategies

Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas McCluskey, Francesco Percassi

SiWare: Contextual Understanding of Industrial Data for Situational Awareness

Anuradha Bhamidipaty, Elham Khabiri, Bhavna Agrawal, Yingjie Li

Bias On Demand: Investigating Bias with a Synthetic Data Generator

Joachim Baumann, Alessandro Castelnovo, Andrea Cosentini, Riccardo Crupi, Nicole Inverardi

SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code

Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas

Object Detection in Real Open Environment

Xiaowei Zhao

A Framework for Participatory Budgeting with Resource Pooling

Jeremy Vollen

Sample Efficient Paradigms for Personalized Assessment of Taskable AI Systems

Pulkit Verma

Automated Content Moderation Using Transparent Solutions and Linguistic Expertise

Veronika Solopova

On Building a Semi-Automated Framework for Generating Causal Bayesian Networks from Raw Text

Solat J. Sheikh

Reliable Neuro-Symbolic Abstractions for Planning and Learning

Naman Shah

Argumentation for Interactive Causal Discovery

Fabrizio Russo

Human-AI Collaboration in Recruitment and Selection

Neil Natarajan

Exploring Multilingual Intent Dynamics and Applications

Ankan Mullick

Human-Centred Multimodal Deep Learning Models for Chest X-Ray Diagnosis

Chihcheng Hsieh

Interpretability and Fairness in Machine Learning: A Formal Methods Approach

Bishwamittra Ghosh

Sources and Information Reliability Measures

Quentin Elsaesser

Fairness and Stability in Complex Domains

Julian Chingoma

On Adaptivity and Safety in Sequential Decision Making

Sapana Chaudhary

AI Techniques for Urban Traffic Control and Mobility

Saumya Bhatnagar

Predictive Modelling of Human Reasoning Using AGM Belief Revision

Clayton Baker

Cost-effective Artificial Neural Networks

Zahra Atashgahi

Using Liquid Democracy For Attention-Aware Social Choice

Shiri Alouf-Heffetz

Large Decision Models

Weinan Zhang

The Economics of Machine Learning

Haifeng Xu

Pushing the Limits of Fairness in Algorithmic Decision-Making

Nisarg Shah

AI Planning for Hybrid Systems

Enrico Scala

Algorithmic Motion Planning Meets Minimially-Invasive Robotic Surgery

Oren Salzman

A Pathway Towards Responsible AI Generated Content

Lingjuan Lyu

The Importance of Human-Labeled Data in the Era of LLMs

Yang Liu

Counting and Sampling Models in First-Order Logic

Ondrej Kuzelka

Towards Formal Verification of Neuro-symbolic Multi-agent Systems

Panagiotis Kouvaros

Artificial Intelligence, Bias, and Ethics

Aylin Caliskan

Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract)

Andrey Zhitnikov, Vadim Indelman

Unsupervised and Few-Shot Parsing from Pretrained Language Models (Extended Abstract)

Zhiyuan Zeng, Deyi Xiong

Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract)

Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck

A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract)

Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore

Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence (Extended Abstract)

Loïs Vanhée, Melania Borit

Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)

Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras

Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search (Extended Abstract)

Daniel Strawser, Brian Williams

A Survey of Methods for Automated Algorithm Configuration (Extended Abstract)

Elias Schede, Jasmin Brandt, Alexander Tornede, Marcel Wever, Viktor Bengs

Q-Learning-Based Model Predictive Variable Impedance Control for Physical Human-Robot Collaboration (Extended Abstract)

Loris Roveda, Andrea Testa, Asad Ali Shahid, Francesco Braghin, Dario Piga

Memory-Limited Model-Based Diagnosis (Extended Abstract)

Patrick Rodler

Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation (Extended Abstract)

Eugénio Ribeiro, Ricardo Ribeiro, David Martins de Matos

Proofs and Certificates for Max-SAT (Extended Abstract)

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

A Computational Model of Ostrom's Institutional Analysis and Development Framework (Extended Abstract)

Nieves Montes, Nardine Osman, Carles Sierra

Learning to Design Fair and Private Voting Rules (Extended Abstract)

Farhad Mohsin, Ao Liu, Pin-Yu Chen, Francesca Rossi, Lirong Xia

Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning (Extended Abstract)

Xiaoteng Ma, Shuai Ma, Li Xia, Qianchuan Zhao

Rethinking Formal Models of Partially Observable Multiagent Decision Making (Extended Abstract)

Vojtěch Kovařík, Martin Schmid, Neil Burch, Michael Bowling, Viliam Lisy

Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract)

Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati

Data-Informed Knowledge and Strategies (Extended Abstract)

Junli Jiang, Pavel Naumov

Get Out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula (Extended Abstract)

Rana Tallal Javed, Osama Nasir, Melania Borit, Loïs Vanhée, Elias Zea

On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)

Yacine Izza, Alexey Ignatiev, Joao Marques-Silva

Ordinal Maximin Share Approximation for Goods (Extended Abstract)

Hadi Hosseini, Andrew Searns, Erel Segal-Halevi

Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework (Extended Abstract)

Evana Gizzi, Lakshmi Nair, Sonia Chernova, Jivko Sinapov

Multi-Agent Advisor Q-Learning (Extended Abstract)

Sriram Ganapathi Subramanian, Matthew E. Taylor, Kate Larson, Mark Crowley

Core Challenges in Embodied Vision-Language Planning (Extended Abstract)

Jonathan Francis, Nariaki Kitamura, Felix Labelle, Xiaopeng Lu, Ingrid Navarro

Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality (Extended Abstract)

Radwa El Shawi, Mouaz Al-Mallah

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)

Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare

Optimizing the Computation of Overriding in DLN (Extended Abstract)

Piero A. Bonatti, Iliana Petrova, Luigi Sauro

A False Sense of Security (Extended Abstract)

Piero A. Bonatti

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean

Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)

Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant

Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features (Extended Abstract)

Taha Belkhouja, Janardhan Rao Doppa

Survey and Evaluation of Causal Discovery Methods for Time Series (Extended Abstract)

Charles K. Assaad, Emilie Devijver, Eric Gaussier

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel

A Survey on Efficient Training of Transformers

Bohan Zhuang, Jing Liu, Zizheng Pan, Haoyu He, Yuetian Weng

State-wise Safe Reinforcement Learning: A Survey

Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu

A Survey on Masked Autoencoder for Visual Self-supervised Learning

Chaoning Zhang, Chenshuang Zhang, Junha Song, John Seon Keun Yi, In So Kweon

Recent Advances in Direct Speech-to-text Translation

Chen Xu, Rong Ye, Qianqian Dong, Chengqi Zhao, Tom Ko

A Systematic Survey of Chemical Pre-trained Models

Jun Xia, Yanqiao Zhu, Yuanqi Du, Stan Z. Li

Transformers in Time Series: A Survey

Qingsong Wen, Tian Zhou, Chaoli Zhang, Weiqi Chen, Ziqing MA

A Survey of Federated Evaluation in Federated Learning

Behnaz Soltani, Yipeng Zhou, Venus Haghighi, John C. S. Lui

Heuristic-Search Approaches for the Multi-Objective Shortest-Path Problem: Progress and Research Opportunities

Oren Salzman, Ariel Felner, Carlos Hernández, Han Zhang, Shao-Hung Chan

Uncovering the Deceptions: An Analysis on Audio Spoofing Detection and Future Prospects

Rishabh Ranjan, Mayank Vatsa, Richa Singh

What Lies beyond the Pareto Front? A Survey on Decision-Support Methods for Multi-Objective Optimization

Zuzanna Osika, Jazmin Zatarain Salazar, Diederik M. Roijers, Frans A. Oliehoek, Pradeep K. Murukannaiah

Complexity Results and Exact Algorithms for Fair Division of Indivisible Items: A Survey

Trung Thanh Nguyen, Jörg Rothe

A Unified View of Deep Learning for Reaction and Retrosynthesis Prediction: Current Status and Future Challenges

Ziqiao Meng, Peilin Zhao, Yang Yu, Irwin King

Graph Pooling for Graph Neural Networks: Progress, Challenges, and Opportunities

Chuang Liu, Yibing Zhan, Jia Wu, Chang Li, Bo Du