Reasoning
2,774 papers (30 classified directly here)
Subtopics · a paper can sit in several, so these overlap
Papers per year
5
6
14
6
11
15
17
25
15
13
23
99
132
205
277
248
308
329
465
453
108
'10
'15
'20
'25
Papers (including subtopics)
Counting and Sampling from Markov Equivalent DAGs Using Clique Trees
AAAI 2019
Counting and Sampling Markov Equivalent Directed Acyclic Graphs
AAAI 2019
Counting Complexity for Reasoning in Abstract Argumentation
AAAI 2019
Cracking the Contextual Commonsense Code: Understanding Commonsense Reasoning Aptitude of Deep Contextual Representations
EMNLP 2019
Cross-document coreference: An approach to capturing coreference without context
EMNLP 2019
CXPlain: Causal Explanations for Model Interpretation under Uncertainty
NeurIPS 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics
IJCAI 2019
DatalogMTL: Computational Complexity and Expressive Power
IJCAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming
AAAI 2019
Decompositional Argument Mining: A General Purpose Approach for Argument Graph Construction
ACL 2019
Deep Natural Language Understanding of News Text
NAACL 2019
Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Extended Abtract
IJCAI 2019
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
AAAI 2019
Distributed Representation of Words in Cause and Effect Spaces
AAAI 2019
Domain-Size Aware Markov Logic Networks
AISTATS 2019
Do We Need Many-valued Logics for Incomplete Information?
IJCAI 2019
Do You Need Infinite Time?
IJCAI 2019
DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs
NeurIPS 2019
Duality of Link Prediction and Entailment Graph Induction
ACL 2019
Dynamic logic of parallel propositional assignments and its applications to planning
IJCAI 2019
Efficient Concept Induction for Description Logics
AAAI 2019
Efficient Planning Under Uncertainty with Incremental Refinement
UAI 2019
Efficient Search-Based Weighted Model Integration
UAI 2019
Efficient Temporal Planning Using Metastates
AAAI 2019
EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference
CoNLL 2019