Knowledge & Reasoning

Semantic Attachments for HTN Planning AAAI 2020 Semantic Image Manipulation Using Scene Graphs CVPR 2020 Semantic parsing with fuzzy meaning representations COLING 2020 SemEval-2020 Task 4: Commonsense Validation and Explanation SemEval 2020 Semiparametric Nonlinear Bipartite Graph Representation Learning with Provable Guarantees ICML 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 Sparse Graphical Memory for Robust Planning NeurIPS 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 SPECTER: Document-level Representation Learning using Citation-informed Transformers ACL 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 Aware Negative Sampling in Knowledge Graphs EMNLP 2020 Structure Learning for Cyclic Linear Causal Models UAI 2020 Suggest me a movie for tonight: Leveraging Knowledge Graphs for Conversational Recommendation COLING 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