Reasoning

Learning to Complement Humans IJCAI 2020 Learning to Correspond Dynamical Systems L4DC 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 Lee at SemEval-2020 Task 5: ALBERT Model Based on the Maximum Ensemble Strategy and Different Data Sampling Methods for Detecting Counterfactual Statements SemEval 2020 Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020 Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems AAAI 2020 Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets AAAI 2020 Liveness Verification of Stateful Network Functions NSDI 2020 Local Causal Network Learning for Finding Pairs of Total and Direct Effects JMLR 2020 Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020 Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020 Logics for Sizes with Union or Intersection AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Machine Reasoning: Technology, Dilemma and Future EMNLP 2020 MCMH: Learning Multi-Chain Multi-Hop Rules for Knowledge Graph Reasoning EMNLP 2020 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020 MeDIL: A Python Package for Causal Modelling PGM 2020 Minimax Optimal Nonparametric Estimation of Heterogeneous Treatment Effects NeurIPS 2020 Model-Based Diagnosis with Uncertain Observations AAAI 2020 Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 Multi-task Causal Learning with Gaussian Processes NeurIPS 2020 Narrative Planning Model Acquisition from Text Summaries and Descriptions AAAI 2020