Knowledge & Reasoning

Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Bayesian network structure learning with causal effects in the presence of latent variables PGM 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Benchmark and Best Practices for Biomedical Knowledge Graph Embeddings ACL 2020 BERT-INT:A BERT-based Interaction Model For Knowledge Graph Alignment IJCAI 2020 Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs NeurIPS 2020 Better AMR-To-Text Generation with Graph Structure Reconstruction IJCAI 2020 Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020 Big Green at WNUT 2020 Shared Task-1: Relation Extraction as Contextualized Sequence Classification EMNLP 2020 Biomedical Event Extraction with Hierarchical Knowledge Graphs EMNLP 2020 BoxE: A Box Embedding Model for Knowledge Base Completion NeurIPS 2020 Breaking Through the 80% Glass Ceiling: Raising the State of the Art in Word Sense Disambiguation by Incorporating Knowledge Graph Information ACL 2020 Bridging the Structural Gap Between Encoding and Decoding for Data-To-Text Generation ACL 2020 Building Causal Interaction Models by Recursive Unfolding PGM 2020 C3MM: Clique-Closure based Hyperlink Prediction IJCAI 2020 Can Knowledge Graph Embeddings Tell Us What Fact-checked Claims Are About? EMNLP 2020 Can We Predict New Facts with Open Knowledge Graph Embeddings? A Benchmark for Open Link Prediction ACL 2020 CASTLE: Regularization via Auxiliary Causal Graph Discovery NeurIPS 2020 Causal Bayesian Optimization AISTATS 2020 Causal Discovery from Heterogeneous/Nonstationary Data JMLR 2020 Causal Discovery from Soft Interventions with Unknown Targets: Characterization and Learning NeurIPS 2020 Causal Discovery in Physical Systems from Videos NeurIPS 2020 Causal Discovery Toolbox: Uncovering causal relationships in Python JMLR 2020 Causal Estimation with Functional Confounders NeurIPS 2020