Reasoning

Graph Neural Architecture Search IJCAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020 High-recall causal discovery for autocorrelated time series with latent confounders NeurIPS 2020 HoVer: A Dataset for Many-Hop Fact Extraction And Claim Verification EMNLP 2020 How Causal Structural Knowledge Adds Decision-Support in Monitoring of Automotive Body Shop Assembly Lines IJCAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 IDA with Background Knowledge UAI 2020 Identifiability of Additive Noise Models Using Conditional Variances JMLR 2020 Identification and Estimation of Causal Effects Defined by Shift Interventions UAI 2020 IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020 Implicit Coordination Using FOND Planning AAAI 2020 Improving Multi-hop Question Answering over Knowledge Graphs using Knowledge Base Embeddings ACL 2020 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020 Independence Promoted Graph Disentangled Networks AAAI 2020 Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain IJCAI 2020 Information Shaping for Enhanced Goal Recognition of Partially-Informed Agents AAAI 2020 Integrating Deep Learning with Logic Fusion for Information Extraction AAAI 2020 Integrating External Event Knowledge for Script Learning COLING 2020 Integrating Overlapping Datasets Using Bivariate Causal Discovery AAAI 2020 InteractE: Improving Convolution-Based Knowledge Graph Embeddings by Increasing Feature Interactions AAAI 2020 Interactive Task Learning from GUI-Grounded Natural Language Instructions and Demonstrations ACL 2020 Interstellar: Searching Recurrent Architecture for Knowledge Graph Embedding NeurIPS 2020 Invariant Causal Prediction for Block MDPs ICML 2020 Ivy: Instrumental Variable Synthesis for Causal Inference AISTATS 2020