Automated Reasoning

Forgetting an Argument AAAI 2020 Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract) IJCAI 2020 GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020 Generating Commonsense Explanation by Extracting Bridge Concepts from Reasoning Paths AACL 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020 Improving Multi-hop Question Answering over Knowledge Graphs using Knowledge Base Embeddings ACL 2020 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020 JEC-QA: A Legal-Domain Question Answering Dataset AAAI 2020 Joint Constrained Learning for Event-Event Relation Extraction EMNLP 2020 Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge NeurIPS 2020 Learning Collaborative Agents with Rule Guidance for Knowledge Graph Reasoning EMNLP 2020 Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning ICLR 2020 Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020 Learning LWF Chain Graphs: A Markov Blanket Discovery Approach UAI 2020 Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020 Learning to Complement Humans IJCAI 2020 Learning Weighted Model Integration Distributions AAAI 2020 Learn to Explain Efficiently via Neural Logic Inductive Learning ICLR 2020 Least General Generalizations in Description Logic: Verification and Existence AAAI 2020 Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets AAAI 2020 Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020 Logics for Sizes with Union or Intersection AAAI 2020 Machine Reasoning: Technology, Dilemma and Future EMNLP 2020 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020