IJCAI 2020

778 papers

AI-Powered Oracle Bone Inscriptions Recognition and Fragments Rejoining

Chongsheng Zhang, Ruixing Zong, Shuang Cao, Yi Men, Bofeng Mo

Towards Real-Time DNN Inference on Mobile Platforms with Model Pruning and Compiler Optimization

Wei Niu, Pu Zhao, Zheng Zhan, Xue Lin, Yanzhi Wang

A Speech-to-Knowledge-Graph Construction System

Xiaoyi Fu, Jie Zhang, Hao Yu, Jiachen Li, Dong Chen

SiamBOMB: A Real-time AI-based System for Home-cage Animal Tracking, Segmentation and Behavioral Analysis

Xi Chen, Hao Zhai, Danqian Liu, Weifu Li, Chaoyue Ding

A Gamified Assessment Platform for Predicting the Risk of Dementia +Parkinson’s disease (DPD) Co-Morbidity

Zhiwei Zeng, Hongchao Jiang, Yanci Zhang, Zhiqi Shen, Jun Ji

A Testbed for Studying COVID-19 Spreading in Ride-Sharing Systems

Harrison Jun Yong Wong, Zichao Deng, Han Yu, Jianqiang Huang, Cyril Leung

Lossless Semantic Round-Tripping in PENG ASP

Rolf Schwitter

Decision Platform for Pattern Discovery and Causal Effect Estimation in Contraceptive Discontinuation

Celia Cintas, Ramya Raghavendra, Victor Akinwande, Aisha Walcott-Bryant, Charity Wayua

ProbAnch: a Modular Probabilistic Anchoring Framework

Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loufti

Inspection of Blackbox Models for Evaluating Vulnerability in Maternal, Newborn, and Child Health

William Ogallo, Skyler Speakman, Victor Akinwande, Kush R Varshney, Aisha Walcott-Bryant

A Multi-player Game for Studying Federated Learning Incentive Schemes

Kang Loon Ng, Zichen Chen, Zelei Liu, Han Yu, Yang Liu

Putting Accountability of AI Systems into Practice

Beatriz San Miguel, Aisha Naseer, Hiroya Inakoshi

FlowSynth: Simplifying Complex Audio Generation Through Explorable Latent Spaces with Normalizing Flows

Philippe Esling, Naotake Masuda, Axel Chemla--Romeu-Santos

Keep It Real: a Window to Real Reality in Virtual Reality

Baihan Lin

An AI-empowered Visual Storyline Generator

Chang Liu, Zhao Yong Lim, Han Yu, Zhiqi Shen, Ian Dixon

RLCard: A Platform for Reinforcement Learning in Card Games

Daochen Zha, Kwei-Herng Lai, Songyi Huang, Yuanpu Cao, Keerthana Reddy

An Interactive Visualization Platform for Deep Symbolic Regression

Joanne T. Kim, Sookyung Kim, Brenden K. Petersen

AILA: A Question Answering System in the Legal Domain

Weiyi Huang, Jiahao Jiang, Qiang Qu, Min Yang

AutoSurvey: Automatic Survey Generation based on a Research Draft

Hen-Hsen Huang

BlueMemo: Depression Analysis through Twitter Posts

Pengwei Hu, Chenhao Lin, Hui Su, Shaochun Li, Xue Han

Certifai: A Toolkit for Building Trust in AI Systems

Jette Henderson, shubham sharma, Alan Gee, Valeri Alexiev, Steve Draper

How Causal Structural Knowledge Adds Decision-Support in Monitoring of Automotive Body Shop Assembly Lines

Johannes Huegle, Christopher Hagedorn, Matthias Uflacker

Ddo, a Generic and Efficient Framework for MDD-Based Optimization

Xavier Gillard, Pierre Schaus, Vianney Coppé

TouIST: a Friendly Language for Propositional Logic and More

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini

Efficient and Modularized Training on FPGA for Real-time Applications

Shreyas Kolala Venkataramanaiah, Xiaocong Du, Zheng Li, Shihui Yin, Yu Cao

Yolo4Apnea: Real-time Detection of Obstructive Sleep Apnea

Sondre Hamnvik, Pierre Bernabé, Sagar Sen

DeepVentilation: Learning to Predict Physical Effort from Breathing

Sagar Sen, Pierre Bernabé, Erik Johannes B.L.G. Husom

An Anomaly Detection and Explainability Framework using Convolutional Autoencoders for Data Storage Systems

Roy Assaf, Ioana Giurgiu, Jonas Pfefferle, Serge Monney, Haris Pozidis

Pattern-Based Music Generation with Wasserstein Autoencoders and PRC Descriptions

Valentijn Borghuis, Luca Angioloni, Lorenzo Brusci, Paolo Frasconi

PyDL8.5: a Library for Learning Optimal Decision Trees

Gaël Aglin, Siegfried Nijssen, Pierre Schaus

GenC: A Fast Tool for Applications Involving Belief Revision

Aaron Hunter, John Agapeyev

Generalized Representation Learning Methods for Deep Reinforcement Learning

Hanhua Zhu

Beyond Labels: Knowledge Elicitation using Deep Metric Learning and Psychometric Testing

Lu Yin

End-to-End Signal Factorization for Speech: Identity, Content, and Style

Jennifer Williams

Predictive Uncertainty Estimation for Tractable Deep Probabilistic Models

Julissa Villanueva Llerena

Context Aware Sequence Modeling

Kyungwoo Song

Towards an Artificial Argumentation System

Ramon Ruiz-Dolz

Generating Natural Counterfactual Visual Explanations

Wenqi Zhao, Satoshi Oyama, Masahito Kurihara

Spatio-Temporal Change Detection Using Granger Sequence Pattern

Nat Pavasant, Masayuki Numao, Ken-ichi Fukui

On Building an Interpretable Topic Modeling Approach for the Urdu Language

Zarmeen Nasim

Social Network Analysis using RLVECN: Representation Learning via Knowledge-Graph Embeddings and Convolutional Neural-Network

Bonaventure C. Molokwu, Ziad Kobti

Strategies for Cooperative UAVs Using Model Predictive Control

Amith Manoharan

Design Adaptive AI for RTS Game by Learning Player's Build Order

Guillaume Lorthioir, Katsumi Inoue

Population Location and Movement Estimation through Cross-domain Data Analysis

Xinghao Yang, Wei Liu

Learning Sparse Neural Networks for Better Generalization

Shiwei Liu

An Improved Latent Low Rank Representation for Automatic Subspace Clustering

Ya-nan Han, Jian-wei Liu, Xiong-lin Luo

Towards High-Level Intrinsic Exploration in Reinforcement Learning

Nicolas Bougie, Ryutaro Ichise

Transparent Intent for Explainable Shared Control in Assistive Robotics

Mark Zolotas, Yiannis Demiris

Online Learning in Changing Environments

Lijun Zhang

Mechanism Design with Uncertainty

Taiki Todo

Closing the Loop: Bringing Humans into Empirical Computational Social Choice and Preference Reasoning

Nicholas Mattei

Optimization Learning: Perspective, Method, and Applications

Risheng Liu

Developing an Integrated Model of Speech Entrainment

Rivka Levitan

Towards Trustable Explainable AI

Alexey Ignatiev

Bridging Causality and Learning: How Do They Benefit from Each Other?

Mingming Gong

IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract)

Dianmu Zhang, Blake Hannaford

Incentivizing Evaluation with Peer Prediction and Limited Access to Ground Truth (Extended Abstract)

Alice Gao, James Wright, Kevin Leyton-brown

OptStream: Releasing Time Series Privately (Extended Abstract)

Ferdinando Fioretto, Pascal Van Hentenryck

Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract)

Eric Timmons, Brian C. Williams

Swarm Intelligence for Self-Organized Clustering (Extended Abstract)

Michael C. Thrun, Alfred Ultsch

Knowing-How under Uncertainty (Extended Abstract)

Pavel Naumov, Jia Tao

Context Vectors Are Reflections of Word Vectors in Half the Dimensions (Extended Abstract)

Zhenisbek Assylbekov, Rustem Takhanov

Language Independent Sequence Labelling for Opinion Target Extraction (Extended Abstract)

Rodrigo Agerri, German Rigau

The Computational Complexity of Angry Birds (Extended Abstract)

Matthew Stephenson, Jochen Renz, Xiaoyu Ge

From Support Propagation to Belief Propagation in Constraint Programming (Extended Abstract)

Gilles Pesant

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators (Extended Abstract)

Alvaro Perez Diaz, Enrico H. Gerding, Frank McGroarty

Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract)

Kedian Mu

A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract)

Artuur Leeuwenberg, Marie-Francine Moens

Point at the Triple: Generation of Text Summaries from Knowledge Base Triples (Extended Abstract)

Pavlos Vougiouklis, Eddy Maddalena, Jonathon Hare, Elena Simperl

Proving Semantic Properties as First-Order Satisfiability (Extended Abstract)

Salvador Lucas

Story Embedding: Learning Distributed Representations of Stories based on Character Networks (Extended Abstract)

O-Joun Lee, Jason J. Jung

Compositionality Decomposed: How do Neural Networks Generalise? (Extended Abstract)

Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni

Ontology Reasoning with Deep Neural Networks (Extended Abstract)

Patrick Hohenecker, Thomas Lukasiewicz

On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability (Extended Abstract)

Vincent Francois-Lavet, Guillaume Rabusseau, Joelle Pineau, Damien Ernst, Raphael Fonteneau

Variational Bayes in Private Settings (VIPS) (Extended Abstract)

James R. Foulds, Mijung Park, Kamalika Chaudhuri, Max Welling

Algorithms for Estimating the Partition Function of Restricted Boltzmann Machines (Extended Abstract)

Oswin Krause, Asja Fischer, Christian Igel

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

Yi-Dong Shen, Thomas Eiter

Variable Elimination in Binary CSPs (Extended Abstract)

Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux

Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games (Extended Abstract)

Jiri Cermák, Viliam Lisy, Branislav Bosansky

Rational Closure For All Description Logics (Extended Abstract)

Piero A. Bonatti

Predicting Strategic Behavior from Free Text (Extended Abstract)

Omer Ben-Porat, Lital Kuchy, Sharon Hirsch, Guy Elad, Roi Reichart

Analogy Between Concepts (Extended Abstract)

Nelly Barbot, Laurent Miclet, Henri Prade

Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models (Extended Abstract)

Mohammad Mahdi Amirian, Saeed Shiry Ghidary

Forgetting Auxiliary Atoms in Forks (Extended Abstract)

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez

A Survey on Representation Learning for User Modeling

Sheng Li, Handong Zhao

Learning for Graph Matching and Related Combinatorial Optimization Problems

Junchi Yan, Shuang Yang, Edwin Hancock

Deep Learning for Community Detection: Progress, Challenges and Opportunities

Fanzhen Liu, Shan Xue, Jia Wu, Chuan Zhou, Wenbin Hu

Beyond Intra-modality: A Survey of Heterogeneous Person Re-identification

Zheng Wang, Zhixiang Wang, Yinqiang Zheng, Yang Wu, Wenjun Zeng

Fair Division: The Computer Scientist’s Perspective

Toby Walsh

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

Human Gaze Assisted Artificial Intelligence: A Review

Ruohan Zhang, Akanksha Saran, Bo Liu, Yifeng Zhu, Sihang Guo

From Statistical Relational to Neuro-Symbolic Artificial Intelligence

Luc De Raedt, Sebastijan Dumancic, Robin Manhaeve, Giuseppe Marra

The Knowledge Acquisition Bottleneck Problem in Multilingual Word Sense Disambiguation

Tommaso Pasini

Incorporating Extra Knowledge to Enhance Word Embedding

Arpita Roy, Shimei Pan

Recent Developments in Boolean Matrix Factorization

Pauli Miettinen, Stefan Neumann

BDI Agent Architectures: A Survey

Lavindra de Silva, Felipe Meneguzzi, Brian Logan

A Survey on Using Gaze Behaviour for Natural Language Processing

Sandeep Mathias, Diptesh Kanojia, Abhijit Mishra, Pushpak Bhattacharya

Reasoning About Inconsistent Formulas

Joao Marques-Silva, Carlos Mencía

Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective

Levi H. S. Lelis

Collective Decision Making under Incomplete Knowledge: Possible and Necessary Solutions

Jérôme Lang