Automated Reasoning

Are Pretrained Language Models Symbolic Reasoners over Knowledge? CoNLL 2020 Assessing SATNet's Ability to Solve the Symbol Grounding Problem NeurIPS 2020 A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020 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 Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020 Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020 Closing the Loop: Bringing Humans into Empirical Computational Social Choice and Preference Reasoning IJCAI 2020 Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020 Cone Semantics for Logics with Negation IJCAI 2020 Counting Query Answers over a DL-Lite Knowledge Base IJCAI 2020 Deciding Acceptance in Incomplete Argumentation Frameworks AAAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Deeply Embedded Knowledge Representation & Reasoning For Natural Language Question Answering: A Practitioner’s Perspective EMNLP 2020 Deep Weighted MaxSAT for Aspect-based Opinion Extraction EMNLP 2020 Differentiable Reasoning on Large Knowledge Bases and Natural Language AAAI 2020 Discern: Discourse-Aware Entailment Reasoning Network for Conversational Machine Reading EMNLP 2020 Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Exact yet Efficient Graph Parsing, Bi-directional Locality and the Constructivist Hypothesis ACL 2020 Explanation Regeneration via Multi-Hop ILP Inference over Knowledge Base COLING 2020 Explanations for Inconsistency-Tolerant Query Answering under Existential Rules AAAI 2020 Explicit Memory Tracker with Coarse-to-Fine Reasoning for Conversational Machine Reading ACL 2020 Faithful Embeddings for Knowledge Base Queries NeurIPS 2020 Few-Shot Multi-Hop Relation Reasoning over Knowledge Bases EMNLP 2020