Reasoning

Semantic parsing with fuzzy meaning representations COLING 2020 SemEval-2020 Task 4: Commonsense Validation and Explanation SemEval 2020 Sense and Sensitivity Analysis: Simple Post-Hoc Analysis of Bias Due to Unobserved Confounding NeurIPS 2020 Social Commonsense Reasoning with Multi-Head Knowledge Attention EMNLP 2020 Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning IJCAI 2020 Spatio-Temporal Change Detection Using Granger Sequence Pattern IJCAI 2020 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020 Statistically Efficient Greedy Equivalence Search UAI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Strategic Classification is Causal Modeling in Disguise ICML 2020 Structural Causal Models Are (Solvable by) Credal Networks PGM 2020 Structural Decompositions of Epistemic Logic Programs AAAI 2020 Structure Learning for Cyclic Linear Causal Models UAI 2020 Switching Regression Models and Causal Inference in the Presence of Discrete Latent Variables JMLR 2020 Switch-List Representations in a Knowledge Compilation Map IJCAI 2020 Symbolic Top-k Planning AAAI 2020 Table Fact Verification with Structure-Aware Transformer EMNLP 2020 Task Scoping for Efficient Planning in Open Worlds (Student Abstract) AAAI 2020 Temporal Network Embedding with High-Order Nonlinear Information AAAI 2020 Temporal Planning with Intermediate Conditions and Effects AAAI 2020 Text and Causal Inference: A Review of Using Text to Remove Confounding from Causal Estimates ACL 2020 TextGraphs 2020 Shared Task on Multi-Hop Inference for Explanation Regeneration COLING 2020 The Emerging Landscape of Explainable Automated Planning & Decision Making IJCAI 2020 Time Series Deconfounder: Estimating Treatment Effects over Time in the Presence of Hidden Confounders ICML 2020 Towards Interpretable Reasoning over Paragraph Effects in Situation EMNLP 2020