Automated Reasoning

On the Learning Mechanisms in Physical Reasoning NeurIPS 2022 OPERA: Operation-Pivoted Discrete Reasoning over Text NAACL 2022 Query2Particles: Knowledge Graph Reasoning with Particle Embeddings NAACL 2022 Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022 Ruleformer: Context-aware Rule Mining over Knowledge Graph COLING 2022 Rushing and Strolling among Answer Sets – Navigation Made Easy AAAI 2022 Seeking Diverse Reasoning Logic: Controlled Equation Expression Generation for Solving Math Word Problems AACL 2022 SEEN: Structured Event Enhancement Network for Explainable Need Detection of Information Recall Assistance EMNLP 2022 Semantic Framework based Query Generation for Temporal Question Answering over Knowledge Graphs EMNLP 2022 Simulating Sets in Answer Set Programming IJCAI 2022 Solving Quantitative Reasoning Problems with Language Models NeurIPS 2022 Solving Visual Analogies Using Neural Algorithmic Reasoning (Student Abstract) AAAI 2022 StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts AAAI 2022 SYGMA: A System for Generalizable and Modular Question Answering Over Knowledge Bases EMNLP 2022 System 1 + System 2 = Better World: Neural-Symbolic Chain of Logic Reasoning EMNLP 2022 TAG: Learning Timed Automata from Logs AAAI 2022 TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022 The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022 TLogic: Temporal Logical Rules for Explainable Link Forecasting on Temporal Knowledge Graphs AAAI 2022 Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022 Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures AAAI 2022 Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database EMNLP 2022 Using Conditional Independence for Belief Revision AAAI 2022 Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022