IJCAI 2020

778 papers

Positive Unlabeled Learning with Class-prior Approximation

Shizhen Chang, Bo Du, Liangpei Zhang

Explainable Inference on Sequential Data via Memory-Tracking

Biagio La Rosa, Roberto Capobianco, Daniele Nardi

A New Attention Mechanism to Classify Multivariate Time Series

Yifan Hao, Huiping Cao

Reinforcement Learning with Dynamic Boltzmann Softmax Updates

Ling Pan, Qingpeng Cai, Qi Meng, Wei Chen, Longbo Huang

Neural Representation and Learning of Hierarchical 2-additive Choquet Integrals

Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche, Michele Sebag

Order-Dependent Event Models for Agent Interactions

Debarun Bhattacharjya, Tian Gao, Dharmashankar Subramanian

Learning Interpretable Representations with Informative Entanglements

Ege Beyazıt, Doruk Tuncel, Xu Yuan, Nian-Feng Tzeng, Xindong Wu

Learning With Subquadratic Regularization : A Primal-Dual Approach

Raman Sankaran, Francis Bach, Chiranjib Bhattacharyya

Stabilizing Adversarial Invariance Induction from Divergence Minimization Perspective

Yusuke Iwasawa, Kei Akuzawa, Yutaka Matsuo

Learning and Solving Regular Decision Processes

Eden Abadi, Ronen I. Brafman

Model-theoretic Characterizations of Existential Rule Languages

Heng Zhang, Yan Zhang, Guifei Jiang

Query Answering for Existential Rules via Efficient Datalog Rewriting

Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan

Reasoning Like Human: Hierarchical Reinforcement Learning for Knowledge Graph Reasoning

Guojia Wan, Shirui Pan, Chen Gong, Chuan Zhou, Gholamreza Haffari

Tractable Fragments of Datalog with Metric Temporal Operators

Przemysław A. Wałęga, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Ranking Semantics for Argumentation Systems With Necessities

Dragan Doder, Srdjan Vesic, Madalina Croitoru

Adversarial Oracular Seq2seq Learning for Sequential Recommendation

Pengyu Zhao, Tianxiao Shui, Yuanxing Zhang, Kecheng Xiao, Kaigui Bian

Threshold Treewidth and Hypertree Width

Robert Ganian, Andre Schidler, Manuel Sorge, Stefan Szeider

Inconsistency Measurement for Improving Logical Formula Clustering

Yakoub Salhi

Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems

Stéphanie Roussel, Xavier Pucel, Valentin Bouziat, Louise Travé-Massuyès

Concurrent Games in Dynamic Epistemic Logic

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

On the Learnability of Possibilistic Theories

Cosimo Persia, Ana Ozaki

Provenance for the Description Logic ELHr

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu

Controllability of Control Argumentation Frameworks

Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo

Solving Analogies on Words based on Minimal Complexity Transformation

Pierre-Alexandre Murena, Marie Al-Ghossein, Jean-Louis Dessalles, Antoine Cornuéjols

A Fully Rational Account of Structured Argumentation Under Resource Bounds

Marcello D'Agostino, Sanjay Modgil

Lower Bounds for Approximate Knowledge Compilation

Alexis de Colnet, Stefan Mengel

A Journey into Ontology Approximation: From Non-Horn to Horn

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Cone Semantics for Logics with Negation

Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter

On Robustness in Qualitative Constraint Networks

Michael Sioutis, Zhiguo Long, Tomi Janhunen

A Modal Logic for Joint Abilities under Strategy Commitments

Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu

On the Decidability of Intuitionistic Tense Logic without Disjunction

Fei Liang, Zhe Lin

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

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

Lower Bounds and Faster Algorithms for Equality Constraints

Peter Jonsson, Victor Lagerkvist

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

David Carral, Markus Krötzsch

On Computational Aspects of Iterated Belief Change

Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

Belief Merging Operators as Maximum Likelihood Estimators

Patricia Everaere, Sébastien Konieczny, Pierre Marquis

NeurASP: Embracing Neural Networks into Answer Set Programming

Zhun Yang, Adam Ishay, Joohyung Lee

Enriching Documents with Compact, Representative, Relevant Knowledge Graphs

Shuxin Li, Zixian Huang, Gong Cheng, Evgeny Kharlamov, Kalpa Gunaratna

The Complexity Landscape of Resource-Constrained Scheduling

Robert Ganian, Thekla Hamm, Guillaume Mescoff

Smart Voting

Rachael Colley, Umberto Grandi, Arianna Novaro

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler

All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs

Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja

Revisiting the Notion of Extension over Incomplete Abstract Argumentation Frameworks

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers

Kaisheng Wu, Liangda Fang, Liping Xiong, Zhao-Rong Lai, Yong Qiao

A Logic of Directions

Heshan Du, Natasha Alechina, Anthony G. Cohn

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

A Framework for Reasoning about Dynamic Axioms in Description Logics

Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti

Synthesizing strategies under expected and exceptional environment behaviors

Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Deep Learning for Abstract Argumentation Semantics

Dennis Craandijk, Floris Bex

Counting Query Answers over a DL-Lite Knowledge Base

Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski

Switch-List Representations in a Knowledge Compilation Map

Ondřej Čepek, Miloš Chromý

Neural Entity Summarization with Joint Encoding and Weak Supervision

Junyou Li, Gong Cheng, Qingxia Liu, Wen Zhang, Evgeny Kharlamov

Deductive Module Extraction for Expressive Description Logics

Patrick Koopmann, Jieying Chen

Diagnosing Software Faults Using Multiverse Analysis

Prantik Chatterjee, Abhijit Chatterjee, Jose Campos, Rui Abreu, Subhajit Roy

Maximizing the Spread of an Opinion in Few Steps: Opinion Diffusion in Non-Binary Networks

Robert Bredereck, Lilian Jacobs, Leon Kellerhals

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic

Lasse Dissing, Thomas Bolander

Answering Counting Queries over DL-Lite Ontologies

Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

A Dataset Complexity Measure for Analogical Transfer

Fadi Badra

Pitfalls of Learning a Reward Function Online

Stuart Armstrong, Jan Leike, Laurent Orseau, Shane Legg

Boolean Games: Inferring Agents' Goals Using Taxation Queries

Abhijin Adiga, Sarit Kraus, Oleg Maksimov, S. S. Ravi

Improving Knowledge Tracing via Pre-training Question Embeddings

Yunfei Liu, Yang Yang, Xianyu Chen, Jian Shen, Haifeng Zhang

Learning Regional Attention Convolutional Neural Network for Motion Intention Recognition Based on EEG Data

Zhijie Fang, Weiqun Wang, Shixin Ren, Jiaxing Wang, Weiguo Shi

Optimal Complex Task Assignment in Service Crowdsourcing

Feilong Tang

Incorporating Failure Events in Agents’ Decision Making to Improve User Satisfaction

David Sarne, Chen Rozenshtein

Aggregating Crowd Wisdom with Side Information via a Clustering-based Label-aware Autoencoder

Li'ang Yin, Yunfei Liu, Weinan Zhang, Yong Yu

Performance as a Constraint: An Improved Wisdom of Crowds Using Performance Regularization

Jiyi Li, Yasushi Kawase, Yukino Baba, Hisashi Kashima

Learning to Complement Humans

Bryan Wilder, Eric Horvitz, Ece Kamar

LISNN: Improving Spiking Neural Networks with Lateral Interactions for Robust Object Recognition

Xiang Cheng, Yunzhe Hao, Jiaming Xu, Bo Xu

Structured Probabilistic End-to-End Learning from Crowds

Zhijun Chen, Huimin Wang, Hailong Sun, Pengpeng Chen, Tao Han

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang

Intelligent Virtual Machine Provisioning in Cloud Computing

Chuan Luo, Bo Qiao, Xin Chen, Pu Zhao, Randolph Yao

Exploration Based Language Learning for Text-Based Games

Andrea Madotto, Mahdi Namazifar, Joost Huizinga, Piero Molino, Adrien Ecoffet

Vertex Weighting-Based Tabu Search for p-Center Problem

Qingyun Zhang, Zhipeng Lü, Zhouxing Su, Chumin Li, Yuan Fang

Self-Guided Evolution Strategies with Historical Estimated Gradients

Fei-Yu Liu, Zi-Niu Li, Chao Qian

Two-goal Local Search and Inference Rules for Minimum Dominating Set

Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem

Curtis Bright, Kevin K.H. Cheung, Brett Stevens, Ilias Kotsireas, Vijay Ganesh

Bilinear Graph Neural Network with Neighbor Interactions

Hongmin Zhu, Fuli Feng, Xiangnan He, Xiang Wang, Yan Li

Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization

Yi Zhou, Zhe Wang, Kaiyi Ji, Yingbin Liang, Vahid Tarokh

BANANA: when Behavior ANAlysis meets social Network Alignment

Fuxin Ren, Zhongbao Zhang, Jiawei Zhang, Sen Su, Li Sun

Entity Synonym Discovery via Multipiece Bilateral Context Matching

Chenwei Zhang, Yaliang Li, Nan Du, Wei Fan, Philip S. Yu

Joint Representation Learning of Legislator and Legislation for Roll Call Prediction

Yuqiao Yang, Xiaoqiang Lin, Geng Lin, zengfeng Huang, Changjian Jiang

Rumor Detection on Social Media with Graph Structured Adversarial Learning

Xiaoyu Yang, Yuefei Lyu, TIAN TIAN, Yifei Liu, Yudong Liu

Domain Adaptive Classification on Heterogeneous Information Networks

Shuwen Yang, Guojie Song, Yilun Jin, Lun Du

Graph Neural Architecture Search

Yang Gao, Hong Yang, Peng Zhang, Chuan Zhou, Yue Hu

Improving Attention Mechanism in Graph Neural Networks via Cardinality Preservation

Shuo Zhang, Lei Xie

Evidence-Aware Hierarchical Interactive Attention Networks for Explainable Claim Verification

Lianwei Wu, Yuan Rao, Xiong Yang, Wanzhen Wang, Ambreen Nazir

JANE: Jointly Adversarial Network Embedding

Liang Yang, Yuexue Wang, Junhua Gu, Chuan Wang, Xiaochun Cao

Recovering Accurate Labeling Information from Partially Valid Data for Effective Multi-Label Learning

Ximing Li, Yang Wang

Network Schema Preserving Heterogeneous Information Network Embedding

Jianan Zhao, Xiao Wang, Chuan Shi, Zekuan Liu, Yanfang Ye

Online Semi-supervised Multi-label Classification with Label Compression and Local Smooth Regression

Peiyan Li, Honglian Wang, Christian Böhm, Junming Shao

Multi-Channel Graph Neural Networks

Kaixiong Zhou, Qingquan Song, Xiao Huang, Daochen Zha, Na Zou

Understanding the Success of Graph-based Semi-Supervised Learning using Partially Labelled Stochastic Block Model

Avirup Saha, Shreyas Sheshadri, Samik Datta, Niloy Ganguly, Disha Makhija

Rebalancing Expanding EV Sharing Systems with Deep Reinforcement Learning

Man Luo, Wenzhe Zhang, Tianyou Song, Kun Li, Hongming Zhu

A Sequential Convolution Network for Population Flow Prediction with Explicitly Correlation Modelling

Jie Feng, Ziqian Lin, Tong Xia, Funing Sun, Diansheng Guo

GraphSleepNet: Adaptive Spatial-Temporal Graph Convolutional Networks for Sleep Stage Classification

Ziyu Jia, Youfang Lin, Jing Wang, Ronghao Zhou, Xiaojun Ning

GoGNN: Graph of Graphs Neural Network for Predicting Structured Entity Interactions

Hanchen Wang, Defu Lian, Ying Zhang, Lu Qin, Xuemin Lin

A Spatial Missing Value Imputation Method for Multi-view Urban Statistical Data

Yongshun Gong, Zhibin Li, Jian Zhang, Wei Liu, Bei Chen

When Do GNNs Work: Understanding and Improving Neighborhood Aggregation

Yiqing Xie, Sha Li, Carl Yang, Raymond Chi-Wing Wong, Jiawei Han

Enhancing Urban Flow Maps via Neural ODEs

Fan Zhou, Liang Li, Ting Zhong, Goce Trajcevski, Kunpeng Zhang

Inductive Anomaly Detection on Attributed Networks

Kaize Ding, Jundong Li, Nitin Agarwal, Huan Liu