← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2595 directly classified papers

Papers per year

Papers

Action Graphs for Goal Recognition Problems with Inaccurate Initial States (Student Abstract) AAAI 2020
LGML: Logic Guided Machine Learning (Student Abstract) AAAI 2020
Explicit Memory Tracker with Coarse-to-Fine Reasoning for Conversational Machine Reading ACL 2020
Pre-training Is (Almost) All You Need: An Application to Commonsense Reasoning ACL 2020
Improving Multi-hop Question Answering over Knowledge Graphs using Knowledge Base Embeddings ACL 2020
LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network ACL 2020
Recurrent Chunking Mechanisms for Long-Text Machine Reading Comprehension ACL 2020
Contrastive Self-Supervised Learning for Commonsense Reasoning ACL 2020
Learning Web-based Procedures by Reasoning over Explanations and Demonstrations in Context ACL 2020
Are Natural Language Inference Models IMPPRESsive? Learning IMPlicature and PRESupposition ACL 2020
Commonsense Reasoning for Natural Language Processing ACL 2020
Figure Captioning with Relation Maps for Reasoning WACV 2020
PlotQA: Reasoning over Scientific Plots WACV 2020
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense AAAI 2020
Forgetting an Argument AAAI 2020
Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020
Predicting Propositional Satisfiability via End-to-End Learning AAAI 2020
Forgetting to Learn Logic Programs AAAI 2020
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation AAAI 2020
Corpus Wide Argument Mining—A Working Solution AAAI 2020
Context-Aware Word Segmentation for Chinese Real-World Discourse AACL 2020
Generating Commonsense Explanation by Extracting Bridge Concepts from Reasoning Paths AACL 2020
Learning nonlinear dynamical systems from a single trajectory L4DC 2020