Reasoning

Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Evaluating Commonsense in Pre-Trained Language Models AAAI 2020 Explicit Memory Tracker with Coarse-to-Fine Reasoning for Conversational Machine Reading ACL 2020 Extracting Implicitly Asserted Propositions in Argumentation EMNLP 2020 FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria AAAI 2020 Few-Shot Bayesian Imitation Learning with Logical Program Policies AAAI 2020 Figure Captioning with Relation Maps for Reasoning WACV 2020 f-IRL: Inverse Reinforcement Learning via State Marginal Matching CoRL 2020 Forgetting an Argument AAAI 2020 Forgetting to Learn Logic Programs AAAI 2020 Generating Commonsense Explanation by Extracting Bridge Concepts from Reasoning Paths AACL 2020 Grounding Language to Non-Markovian Tasks with No Supervision of Task Specifications RSS 2020 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020 Hard Examples for Common Variable Decision Heuristics AAAI 2020 Hierarchical Average Reward Policy Gradient Algorithms (Student Abstract) AAAI 2020 Hierarchically Organized Latent Modules for Exploratory Search in Morphogenetic Systems NeurIPS 2020 Hierarchical Poset Decoding for Compositional Generalization in Language NeurIPS 2020 HoVer: A Dataset for Many-Hop Fact Extraction And Claim Verification EMNLP 2020 Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic IJCAI 2020 Improving Multi-hop Question Answering over Knowledge Graphs using Knowledge Base Embeddings ACL 2020 Incremental Sampling Without Replacement for Sequence Models ICML 2020 Is Multihop QA in DiRe Condition? Measuring and Reducing Disconnected Reasoning EMNLP 2020 Iteratively Questioning and Answering for Interpretable Legal Judgment Prediction AAAI 2020 Joint Constrained Learning for Event-Event Relation Extraction EMNLP 2020 KnowIT VQA: Answering Knowledge-Based Questions about Videos AAAI 2020