Automated Reasoning

Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021 Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021 Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI EMNLP 2021 Differentiable Inductive Logic Programming for Structured Examples AAAI 2021 Differentiable Open-Ended Commonsense Reasoning NAACL 2021 Discrete Reasoning Templates for Natural Language Understanding EACL 2021 Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021 ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning EMNLP 2021 Explaining Answers with Entailment Trees EMNLP 2021 Explanation in Constraint Satisfaction: A Survey IJCAI 2021 Extracting a Knowledge Base of Mechanisms from COVID-19 Papers NAACL 2021 Fast Abductive Learning by Similarity-based Consistency Optimization NeurIPS 2021 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 Focused Inference and System P AAAI 2021 GMH: A General Multi-hop Reasoning Model for KG Completion EMNLP 2021 GraphMR: Graph Neural Network for Mathematical Reasoning EMNLP 2021 How much coffee was consumed during EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI EMNLP 2021 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021 Imagine, Reason and Write: Visual Storytelling with Graph Knowledge and Relational Reasoning AAAI 2021 Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021 Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning NeurIPS 2021 Inconsistency Measurement for Paraconsistent Inference IJCAI 2021 Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021 Is Multi-Hop Reasoning Really Explainable? Towards Benchmarking Reasoning Interpretability EMNLP 2021 Knowledge-Base Degrees of Inconsistency: Complexity and Counting AAAI 2021