Knowledge Representation

Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Hypernym Detection Using Strict Partial Order Networks AAAI 2020 Induction of Subgoal Automata for Reinforcement Learning AAAI 2020 Interpreting Open-Domain Modifiers: Decomposition of Wikipedia Categories into Disambiguated Property-Value Pairs EMNLP 2020 Knowledge Transfer for Learning Markov Equivalence Classes PGM 2020 Language-aware Interlingua for Multilingual Neural Machine Translation ACL 2020 Layering-MCMC for Structure Learning in Bayesian Networks UAI 2020 Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020 Line Graph Enhanced AMR-to-Text Generation with Mix-Order Graph Attention Networks ACL 2020 Logics for Sizes with Union or Intersection AAAI 2020 Lower Bounds for Approximate Knowledge Compilation IJCAI 2020 MEGATRON-CNTRL: Controllable Story Generation with External Knowledge Using Large-Scale Language Models EMNLP 2020 NeuInfer: Knowledge Inference on N-ary Facts ACL 2020 On the Complementary Nature of Knowledge Graph Embedding, Fine Grain Entity Types, and Language Modeling EMNLP 2020 On the Expressivity of ASK Queries in SPARQL AAAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020 Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020 Parsing into Variable-in-situ Logico-Semantic Graphs ACL 2020 Penman: An Open-Source Library and Tool for AMR Graphs ACL 2020 Proportional Belief Merging AAAI 2020 Provenance for the Description Logic ELHr IJCAI 2020 Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Rational Closure For All Description Logics (Extended Abstract) IJCAI 2020 Scalable Neural Methods for Reasoning With a Symbolic Knowledge Base ICLR 2020