← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Active Goal Recognition AAAI 2020
Ordering-Based Causal Structure Learning in the Presence of Latent Variables AISTATS 2020
Use of Claim Graphing and Argumentation Schemes in Biomedical Literature: A Manual Approach to Analysis COLING 2020
WinoWhy: A Deep Diagnosis of Essential Commonsense Knowledge for Answering Winograd Schema Challenge ACL 2020
Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020
Learning LWF Chain Graphs: A Markov Blanket Discovery Approach UAI 2020
TextGraphs 2020 Shared Task on Multi-Hop Inference for Explanation Regeneration COLING 2020
SemEval-2020 Task 4: Commonsense Validation and Explanation SEMEVAL 2020
Are Pretrained Language Models Symbolic Reasoners over Knowledge? CONLL 2020
UAICS at SemEval-2020 Task 4: Using a Bidirectional Transformer for Task a COLING 2020
Unsupervised Fact Checking by Counter-Weighted Positive and Negative Evidential Paths in A Knowledge Graph COLING 2020
PGL at TextGraphs 2020 Shared Task: Explanation Regeneration using Language and Graph Learning Methods COLING 2020
Explanation Regeneration via Multi-Hop ILP Inference over Knowledge Base COLING 2020
Generating Commonsense Explanation by Extracting Bridge Concepts from Reasoning Paths AACL 2020
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020
Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020
ABox Abduction via Forgetting in ALC AAAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019
Chains-of-Reasoning at TextGraphs 2019 Shared Task: Reasoning over Chains of Facts for Explainable Multi-hop Inference EMNLP 2019
Modular Materialisation of Datalog Programs AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019
TextGraphs 2019 Shared Task on Multi-Hop Inference for Explanation Regeneration EMNLP 2019
OpenDialKG: Explainable Conversational Reasoning with Attention-based Walks over Knowledge Graphs ACL 2019
Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019