IJCAI 2019

964 papers

Graph WaveNet for Deep Spatial-Temporal Graph Modeling

Zonghan Wu, Shirui Pan, Guodong Long, Jing Jiang, Chengqi Zhang

A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic

Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König

Cross-City Transfer Learning for Deep Spatio-Temporal Prediction

Leye Wang, Xu Geng, Xiaojuan Ma, Feng Liu, Qiang Yang

DatalogMTL: Computational Complexity and Expressive Power

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

Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving

Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan

Estimating Causal Effects of Tone in Online Debates

Dhanya Sridhar, Lise Getoor

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario

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

Belief Update without Compactness in Non-finitary Languages

Jandson S Ribeiro, Abhaya Nayak, Renata Wassermann

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics

Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

Boosting for Comparison-Based Learning

Michaël Perrot, Ulrike Von Luxburg

Monitoring of a Dynamic System Based on Autoencoders

Aomar Osmani, Massinissa Hamidi, Salah Bouhouche

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

BiOWA for Preference Aggregation with Bipolar Scales: Application to Fair Optimization in Combinatorial Domains

Hugo Martin, Patrice Perny

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants

Kailun Luo, Yongmei Liu

Geo-ALM: POI Recommendation by Fusing Geographical Information and Adversarial Learning Mechanism

Wei Liu, Zhi-Jie Wang, Bin Yao, Jian Yin

Story Ending Prediction by Transferable BERT

Zhongyang Li, Xiao Ding, Ting Liu

Unit Selection Based on Counterfactual Logic

Ang Li, Judea Pearl

Revisiting Controlled Query Evaluation in Description Logics

Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo

Augmenting Transfer Learning with Semantic Reasoning

Freddy Lecue, Jiaoyan Chen, Jeff Z. Pan, Huajun Chen

Travel Time Estimation without Road Networks: An Urban Morphological Layout Representation Approach

Wuwei Lan, Yanyan Xu, Bin Zhao

A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief

Gerhard Lakemeyer, Hector J. Levesque

How to Handle Missing Values in Multi-Criteria Decision Aiding?

Christophe Labreuche, Sébastien Destercke

Rational Inference Relations from Maximal Consistent Subsets Selection

Sébastien Konieczny, Pierre Marquis, Srdjan Vesic

Converging on Common Knowledge

Dominik Klein, Rasmus Kræmmer Rendsvig

Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)

Wojciech Jamroga, Michał Knapik

Belief Revision Operators with Varying Attitudes Towards Initial Beliefs

Adrian Haret, Stefan Woltran

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak

On Division Versus Saturation in Pseudo-Boolean Solving

Stephan Gocht, Jakob Nordström, Amir Yehudayoff

Best Answers over Incomplete Data : Complexity and First-Order Rewritings

Amélie Gheerbrant, Cristina Sirangelo

Approximating Integer Solution Counting via Space Quantification for Linear Constraints

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang

Aggressive Driving Saves More Time? Multi-task Learning for Customized Travel Time Estimation

Ruipeng Gao, Xiaoyu Guo, Fuyong Sun, Lin Dai, Jiayan Zhu

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic

Camillo Fiorentini

Answer Set Programming for Judgment Aggregation

Ronald de Haan, Marija Slavkovik

From Statistical Transportability to Estimating the Effect of Stochastic Interventions

Juan D. Correa, Elias Bareinboim

Measuring the Likelihood of Numerical Constraints

Marco Console, Matthias Hofer, Leonid Libkin

Semantic Characterization of Data Services through Ontologies

Gianluca Cima, Maurizio Lenzerini, Antonella Poggi

Explanations for Query Answers under Existential Rules

İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavičius

Simple Conditionals with Constrained Right Weakening

Giovanni Casini, Thomas Meyer, Ivan Varzinczak

Chasing Sets: How to Use Existential Rules for Expressive Reasoning

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

Enriching Ontology-based Data Access with Provenance

Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao

Causal Discovery with Cascade Nonlinear Additive Noise Model

Ruichu Cai, Jie Qiao, Kun Zhang, Zhenjie Zhang, Zhifeng Hao

Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains

Ronen I. Brafman, Giuseppe De Giacomo

The Complexity of Model Checking Knowledge and Time

Laura Bozzelli, Bastien Maubert, Aniello Murano

Reasoning about Quality and Fuzziness of Strategic Behaviours

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana

Ontology Approximation in Horn Description Logics

Anneke Bötcher, Carsten Lutz, Frank Wolter

Guarantees for Sound Abstractions for Generalized Planning

Blai Bonet, Raquel Fuentetaja, Yolanda E-Martín, Daniel Borrajo

Mixed-World Reasoning with Existential Rules under Active-Domain Semantics

Meghyn Bienvenu, Pierre Bourhis

Reasoning about Disclosure in Data Integration in the Presence of Source Constraints

Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo

Possibilistic Games with Incomplete Information

Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi

Comparing Options with Argument Schemes Powered by Cancellation

Khaled Belahcène, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting

Bartosz Bednarczyk, Sebastian Rudolph

Stratified Evidence Logics

Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini

Do You Need Infinite Time?

Alessandro Artale, Andrea Mazzullo, Ana Ozaki

Observations on Darwiche and Pearl's Approach for Iterated Belief Revision

Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams

Compilation of Logical Arguments

Leila Amgoud, Dragan Doder

On the Integration of CP-nets in ASPRIN

Mario Alviano, Javier Romero, Torsten Schaub

ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions

Zhalama, Jiji Zhang, Frederick Eberhardt, Wolfgang Mayer, Mark Junjie Li

FAHT: An Adaptive Fairness-aware Decision Tree Classifier

Wenbin Zhang, Eirini Ntoutsi

Multiple Noisy Label Distribution Propagation for Crowdsourcing

Hao Zhang, Liangxiao Jiang, Wenqiang Xu

An Input-aware Factorization Machine for Sparse Prediction

Yantao Yu, Zhen Wang, Bo Yuan

DeepAPF: Deep Attentive Probabilistic Factorization for Multi-site Video Recommendation

Huan Yan, Xiangning Chen, Chen Gao, Yong Li, Depeng Jin

Achieving Causal Fairness through Generative Adversarial Networks

Depeng Xu, Yongkai Wu, Shuhan Yuan, Lu Zhang, Xintao Wu

Fast and Accurate Classification with a Multi-Spike Learning Algorithm for Spiking Neurons

Rong Xiao, Qiang Yu, Rui Yan, Huajin Tang

Counterfactual Fairness: Unidentification, Bound and Algorithm

Yongkai Wu, Lu Zhang, Xintao Wu

Personalized Multimedia Item and Key Frame Recommendation

Le Wu, Lei Chen, Yonghui Yang, Richang Hong, Yong Ge

Why Can’t You Do That HAL? Explaining Unsolvability of Planning Tasks

Sarath Sreedharan, Siddharth Srivastava, David Smith, Subbarao Kambhampati

DeepFlow: Detecting Optimal User Experience From Physiological Data Using Deep Neural Networks

Marco Maier, Daniel Elsner, Chadly Marouane, Meike Zehnle, Christoph Fuchs

Minimizing Time-to-Rank: A Learning and Recommendation Approach

Haoming Li, Sujoy Sikdar, Rohit Vaish, Junming Wang, Lirong Xia

Exploring Computational User Models for Agent Policy Summarization

Isaac Lage, Daphna Lifschitz, Finale Doshi-velez, Ofra Amir

MiSC: Mixed Strategies Crowdsourcing

Ching Yun Ko, Rui Lin, Shu Li, Ngai Wong

Decoding EEG by Visual-guided Deep Neural Networks

Zhicheng Jiao, Haoxuan You, Fan Yang, Xin Li, Han Zhang

Discrete Trust-aware Matrix Factorization for Fast Recommendation

Guibing Guo, Enneng Yang, Li Shen, Xiaochun Yang, Xiaodong He

Dynamic Item Block and Prediction Enhancing Block for Sequential Recommendation

Guibing Guo, Shichang Ouyang, Xiaodong He, Fajie Yuan, Xiaohua Liu

STCA: Spatio-Temporal Credit Assignment with Delayed Feedback in Deep Spiking Neural Networks

Pengjie Gu, Rong Xiao, Gang Pan, Huajin Tang

A Semantics-based Model for Predicting Children's Vocabulary

Ishaan Grover, Hae Won Park, Cynthia Breazeal

Deep Adversarial Social Recommendation

Wenqi Fan, Tyler Derr, Yao Ma, Jianping Wang, Jiliang Tang

Multi-agent Attentional Activity Recognition

Kaixuan Chen, Lina Yao, Dalin Zhang, Bin Guo, Zhiwen Yu

Balancing Explicability and Explanations in Human-Aware Planning

Tathagata Chakraborti, Sarath Sreedharan, Subbarao Kambhampati

Explaining Reinforcement Learning to Mere Mortals: An Empirical Study

Andrew Anderson, Jonathan Dodge, Amrita Sadarangani, Zoe Juozapaitis, Evan Newman

Non-smooth Optimization over Stiefel Manifolds with Applications to Dimensionality Reduction and Graph Clustering

Fariba Zohrizadeh, Mohsen Kheirandishfard, Farhad Kamangar, Ramtin Madani

Heuristic Search for Homology Localization Problem and Its Application in Cardiac Trabeculae Reconstruction

Xudong Zhang, Pengxiang Wu, Changhe Yuan, Yusu Wang, Dimitris Metaxas

Learning Deep Decentralized Policy Network by Collective Rewards for Real-Time Combat Game

Peixi Peng, Junliang Xing, Lili Cao, Lisen Mu, Chang Huang

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover

Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang

Branch-and-Cut-and-Price for Multi-Agent Pathfinding

Edward Lam, Pierre Le Bodic, Daniel D. Harabor, Peter J. Stuckey

Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces

Akihiro Kishimoto, Adi Botea, Radu Marinescu

Graph Mining Meets Crowdsourcing: Extracting Experts for Answer Aggregation

Yasushi Kawase, Yuko Kuroki, Atsushi Miyauchi

DeltaDou: Expert-level Doudizhu AI through Self-play

Qiqi Jiang, Kuangzheng Li, Boyao Du, Hao Chen, Hai Fang

Direction-Optimizing Breadth-First Search with External Memory Storage

Shuli Hu, Nathan R. Sturtevant

Iterative Budgeted Exponential Search

Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant

Regarding Jump Point Search and Subgoal Graphs

Daniel D. Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig

An Evolution Strategy with Progressive Episode Lengths for Playing Games

Lior Fuks, Noor Awad, Frank Hutter, Marius Lindauer

An Efficient Evolutionary Algorithm for Minimum Cost Submodular Cover

Victoria G. Crawford

Conditions for Avoiding Node Re-expansions in Bounded Suboptimal Search

Jingwei Chen, Nathan R. Sturtevant

Deanonymizing Social Networks Using Structural Information

Ioannis Caragiannis, Evanthia Tsitsoka

A*+IDA*: A Simple Hybrid Search Algorithm

Zhaoxing Bu, Richard E. Korf

Path Planning with CPD Heuristics

Massimo Bono, Alfonso E. Gerevini, Daniel D. Harabor, Peter J. Stuckey

Resolution and Domination: An Improved Exact MaxSAT Algorithm

Chao Xu, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms

Miguel Terra-Neves, Ines Lynce, Vasco Manquinho