AAAI 2020

1,794 papers

Learning-Based Efficient Graph Similarity Computation via Multi-Scale Convolutional Set Matching

Yunsheng Bai, Hao Ding, Ken Gu, Yizhou Sun, Wei Wang

A Three-Level Optimization Model for Nonlinearly Separable Clustering

Liang Bai, Jiye Liang

Few Shot Network Compression via Cross Distillation

Haoli Bai, Jiaxiang Wu, Irwin King, Michael Lyu

Efficient Inference of Optimal Decision Trees

Florent Avellaneda

Kriging Convolutional Networks

Gabriel Appleby, Linfeng Liu, Li-Ping Liu

An Implicit Form of Krasulina's k-PCA Update without the Orthonormality Constraint

Ehsan Amid, Manfred K. Warmuth

Pursuit of Low-Rank Models of Time-Varying Matrices Robust to Sparse and Measurement Noise

Albert Akhriev, Jakub Marecek, Andrea Simonetto

Exact and Efficient Inference for Collective Flow Diffusion Model via Minimum Convex Cost Flow Algorithm

Yasunori Akagi, Takuya Nishimura, Yusuke Tanaka, Takeshi Kurashima, Hiroyuki Toda

Detecting Semantic Anomalies

Faruk Ahmed, Aaron Courville

Learning Optimal Decision Trees Using Caching Branch-and-Bound Search

Gaël Aglin, Siegfried Nijssen, Pierre Schaus

Bounds and Complexity Results for Learning Coalition-Based Interaction Functions in Networked Social Systems

Abhijin Adiga, Chris Kuhlman, Madhav Marathe, S. Ravi, Daniel Rosenkranz

DeGAN: Data-Enriching GAN for Retrieving Representative Samples from a Trained Classifier

Sravanti Addepalli, Gaurav Kumar Nayak, Anirban Chakraborty, Venkatesh Babu Radhakrishnan

Image-Adaptive GAN Based Reconstruction

Shady Abu Hussein, Tom Tirer, Raja Giryes

Indirect Stochastic Gradient Quantization and Its Application in Distributed Deep Learning

Afshin Abdi, Faramarz Fekri

Quantized Compressive Sampling of Stochastic Gradients for Efficient Communication in Distributed Deep Learning

Afshin Abdi, Faramarz Fekri

Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting

Ralph Abboud, Ismail Ceylan, Thomas Lukasiewicz

LTLƒ Synthesis with Fairness and Stability Assumptions

Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Sen Zheng, Renate Schmidt

A Practical Approach to Forgetting in Description Logics with Nominals

Yizheng Zhao, Renate Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng

Learning Hierarchy-Aware Knowledge Graph Embeddings for Link Prediction

Zhanqiu Zhang, Jianyu Cai, Yongdong Zhang, Jie Wang

On the Expressivity of ASK Queries in SPARQL

Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang

Towards Universal Languages for Tractable Ontology Mediated Query Answering

Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

Few-Shot Knowledge Graph Completion

Chuxu Zhang, Huaxiu Yao, Chao Huang, Meng Jiang, Zhenhui Li

Ranking-Based Semantics for Sets of Attacking Arguments

Bruno Yun, Srdjan Vesic, Madalina Croitoru

COTSAE: CO-Training of Structure and Attribute Embeddings for Entity Alignment

Kai Yang, Shaoqin Liu, Junfeng Zhao, Yasha Wang, Bing Xie

Query Answering with Guarded Existential Rules under Stable Model Semantics

Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen

InteractE: Improving Convolution-Based Knowledge Graph Embeddings by Increasing Feature Interactions

Shikhar Vashishth, Soumya Sanyal, Vikram Nitin, Nilesh Agrawal, Partha Talukdar

Contextual Parameter Generation for Knowledge Graph Link Prediction

George Stoica, Otilia Stretcu, Emmanouil Antonios Platanios, Tom Mitchell, Barnabás Póczos

Adversarial Deep Network Embedding for Cross-Network Node Classification

Xiao Shen, Quanyu Dai, Fu-lai Chung, Wei Lu, Kup-Sze Choi

A Framework for Measuring Information Asymmetry

Yakoub Salhi

Giuseppe Pirrò

Graph Representations for Higher-Order Logic and Theorem Proving

Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, Christian Szegedy

Learning Query Inseparable εℒℋ Ontologies

Ana Ozaki, Cosimo Persia, Andrea Mazzullo

Rule-Guided Compositional Representation Learning on Knowledge Graphs

Guanglin Niu, Yongfei Zhang, Bo Li, Peng Cui, Si Liu

Deciding Acceptance in Incomplete Argumentation Frameworks

Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe

Blameworthiness in Security Games

Pavel Naumov, Jia Tao

Commonsense Knowledge Base Completion with Structural and Semantic Context

Chaitanya Malaviya, Chandra Bhagavatula, Antoine Bosselut, Yejin Choi

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies

Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus

Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro

K-BERT: Enabling Language Representation with Knowledge Graph

Weijie Liu, Peng Zhou, Zhe Zhao, Zhiruo Wang, Qi Ju

Path Ranking with Attention to Type Hierarchies

Weiyu Liu, Angel Daruna, Zsolt Kira, Sonia Chernova

Automatic Verification of Liveness Properties in the Situation Calculus

Jian Li, Yongmei Liu

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria

Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

Logics for Sizes with Union or Intersection

Caleb Kisby, Saúl Blanco, Alex Kruckman, Lawrence Moss

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

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

Least General Generalizations in Description Logic: Verification and Existence

Jean Christoph Jung, Carsten Lutz, Frank Wolter

Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation

Anthony Hunter, Kawsar Noor

Going Deep: Graph Convolutional Ladder-Shape Networks

Ruiqi Hu, Shirui Pan, Guodong Long, Qinghua Lu, Liming Zhu

Structural Decompositions of Epistemic Logic Programs

Markus Hecher, Michael Morak, Stefan Woltran

Proportional Belief Merging

Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes P. Wallner

Efficient Model-Based Diagnosis of Sequential Circuits

Alexander Feldman, Ingo Pill, Franza Wotawa, Ion Matei, Johan de Kleer

ElGolog: A High-Level Programming Language with Memory of the Execution History

Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska

Hypothetical Answers to Continuous Queries over Data Streams

Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar

Epistemic Integrity Constraints for Ontology-Based Data Management

Marco Console, Maurizio Lenzerini

Answering Conjunctive Queries with Inequalities in DL-Liteℛ

Gianluca Cima, Maurizio Lenzerini, Antonella Poggi

ParamE: Regarding Neural Network Parameters as Relation Embeddings for Knowledge Graph Completion

Feihu Che, Dawei Zhang, Jianhua Tao, Mingyue Niu, Bocheng Zhao

Model-Based Diagnosis with Uncertain Observations

Dean Cazes, Meir Kalech

Checking Chase Termination over Ontologies of Existential Rules with Equality

David Carral, Jacopo Urbani

Forgetting an Argument

Ringo Baumann, Dov Gabbay, Odinaldo Rodrigues

Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense

Ringo Baumann, Gerhard Brewka, Markus Ulbricht

Query Rewriting for Ontology-Mediated Conditional Answers

Medina Andreşel, Magdalena Ortiz, Mantas Šimkus

Learning and Reasoning for Robot Sequential Decision Making under Uncertainty

Saeid Amiri, Mohammad Shokrolah Shirazi, Shiqi Zhang

Fine-Grained Machine Teaching with Attention Modeling

Jiacheng Liu, Xiaofeng Hou, Feilong Tang

HirePeer: Impartial Peer-Assessed Hiring at Scale in Expert Crowdsourcing Markets

Yasmine Kotturi, Anson Kahng, Ariel Procaccia, Chinmay Kulkarni

Cost-Accuracy Aware Adaptive Labeling for Active Learning

Ruijiang Gao, Maytal Saar-Tsechansky

BAR — A Reinforcement Learning Agent for Bounding-Box Automated Refinement

Morgane Ayle, Jimmy Tekli, Julia El-Zini, Boulos El-Asmar, Mariette Awad

Crowd-Assisted Disaster Scene Assessment with Human-AI Interactive Attention

Daniel (Yue) Zhang, Yifeng Huang, Yang Zhang, Dong Wang

Variational Pathway Reasoning for EEG Emotion Recognition

Tong Zhang, Zhen Cui, Chunyan Xu, Wenming Zheng, Jian Yang

Instance-Adaptive Graph for EEG Emotion Recognition

Tengfei Song, Suyuan Liu, Wenming Zheng, Yuan Zong, Zhen Cui

Reinforcing an Image Caption Generator Using Off-Line Human Feedback

Paul Hongsuck Seo, Piyush Sharma, Tomer Levinboim, Bohyung Han, Radu Soricut

Towards Socially Responsible AI: Cognitive Bias-Aware Multi-Objective Learning

Procheta Sen, Debasis Ganguly

UCF-STAR: A Large Scale Still Image Dataset for Understanding Human Actions

Marjaneh Safaei, Pooyan Balouchian, Hassan Foroosh

Learning Graph Convolutional Network for Skeleton-Based Human Action Recognition by Neural Searching

Wei Peng, Xiaopeng Hong, Haoyu Chen, Guoying Zhao

Multi-Source Domain Adaptation for Visual Sentiment Classification

Chuang Lin, Sicheng Zhao, Lei Meng, Tat-Seng Chua

Graph-Based Decoding Model for Functional Alignment of Unaligned fMRI Data

Weida Li, Mingxia Liu, Fang Chen, Daoqiang Zhang

Harnessing GANs for Zero-Shot Learning of New Classes in Visual Speech Recognition

Yaman Kumar, Dhruva Sahrawat, Shubham Maheshwari, Debanjan Mahata, Amanda Stent

GaSPing for Utility

Mengyang Gu, Debarun Bhattacharjya, Dharmashankar Subramanian

Conditional Generative Neural Decoding with Structured CNN Feature Prediction

Changde Du, Changying Du, Lijie Huang, Huiguang He

MIMAMO Net: Integrating Micro- and Macro-Motion for Video Emotion Recognition

Didan Deng, Zhaokang Chen, Yuqian Zhou, Bertram Shi

Regression under Human Assistance

Abir De, Paramita Koley, Niloy Ganguly, Manuel Gomez-Rodriguez

Towards Awareness of Human Relational Strategies in Virtual Agents

Ian Beaver, Cynthia Freeman, Abdullah Mueen

CoCoX: Generating Conceptual and Counterfactual Explanations via Fault-Lines

Arjun Akula, Shuai Wang, Song-chun Zhu

Querying to Find a Safe Policy under Uncertain Safety Constraints in Markov Decision Processes

Shun Zhang, Edmund Durfee, Satinder Singh

CG-GAN: An Interactive Evolutionary GAN-Based Approach for Facial Composite Generation

Nicola Zaltron, Luisa Zurlo, Sebastian Risi

Learning to Interactively Learn and Assist

Mark Woodward, Chelsea Finn, Karol Hausman

Corpus-Level End-to-End Exploration for Interactive Systems

Zhiwen Tang, Grace Hui Yang

Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning

Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati

Human-Machine Collaboration for Fast Land Cover Mapping

Caleb Robinson, Anthony Ortiz, Kolya Malkin, Blake Elias, Andi Peng

Relative Attributing Propagation: Interpreting the Comparative Contributions of Individual Units in Deep Neural Networks

Woo-Jeoung Nam, Shir Gur, Jaesik Choi, Lior Wolf, Seong-Whan Lee

Explainable Reinforcement Learning through a Causal Lens

Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere

What Is It You Really Want of Me? Generalized Reward Learning with Biased Beliefs about Domain Dynamics

Ze Gong, Yu Zhang

A Framework for Engineering Human/Agent Teaming Systems

Rick Evertsz, John Thangarajah

Asymptotically Unambitious Artificial General Intelligence

Michael Cohen, Badri Vellambi, Marcus Hutter

Just Ask: An Interactive Learning Framework for Vision and Language Navigation

Ta-Chung Chi, Minmin Shen, Mihail Eric, Seokhwan Kim, Dilek Hakkani-Tur

A Human-AI Loop Approach for Joint Keyword Discovery and Expectation Estimation in Micropost Event Detection

Akansha Bhardwaj, jie Yang, Philippe Cudré-Mauroux

Enumerating Maximal k-Plexes with Worst-Case Time Guarantee

Yi Zhou, Jingwei Xu, Zhenyu Guo, Mingyu Xiao, Yan Jin

Reduction and Local Search for Weighted Graph Coloring Problem

Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Monghao Yin

Trading Convergence Rate with Computational Budget in High Dimensional Bayesian Optimization

Hung Tran-The, Sunil Gupta, Santu Rana, Svetha Venkatesh

Asymptotic Risk of Bézier Simplex Fitting

Akinori Tanaka, Akiyoshi Sannai, Ken Kobayashi, Naoki Hamada

Subset Selection by Pareto Optimization with Recombination

Chao Qian, Chao Bian, Chao Feng