conftrace_
← Knowledge & Reasoning
Knowledge & Reasoning ›

Reasoning

2,428 papers (30 classified directly here)

Subtopics

Causal Inference (936) Automated Reasoning (843) Formal Methods (351) Automated Planning (288) Graph Embeddings (215)

Papers per year

11
11
272
299
'10
'15
'20
'25

Papers (including subtopics)

A Generalized Knowledge Hunting Framework for the Winograd Schema Challenge NAACL 2018
Computational Argumentation: A Journey Beyond Semantics, Logic, Opinions, and Easy Tasks NAACL 2018
Building and Learning Structures in a Situated Blocks World Through Deep Language Understanding NAACL 2018
Anaphora Resolution for Improving Spatial Relation Extraction from Text NAACL 2018
Multi-hop Inference for Sentence-level TextGraphs: How Challenging is Meaningfully Combining Information for Science Question Answering? NAACL 2018
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Verifying concurrent software using movers in CSPEC OSDI 2018
Proving confidentiality in a file system using DiskSec OSDI 2018
Structure Learning Under Missing Data PGM 2018
Formal Verification of Bayesian Network Classifiers PGM 2018
NewsReader at SemEval-2018 Task 5: Counting events by reasoning over event-centric-knowledge-graphs SEMEVAL 2018
Differentiable Learning of Logical Rules for Knowledge Base Reasoning NIPS 2017
Premise Selection for Theorem Proving by Deep Graph Embedding NIPS 2017
Counterfactual Fairness NIPS 2017
End-to-end Differentiable Proving NIPS 2017
Verb Physics: Relative Physical Knowledge of Actions and Objects ACL 2017
Semantic Parsing of Pre-university Math Problems ACL 2017
Answering Complex Questions Using Open Information Extraction ACL 2017
Learning Cost-Effective and Interpretable Treatment Regimes AISTATS 2017
A Framework for Optimal Matching for Causal Inference AISTATS 2017
Robust Causal Estimation in the Large-Sample Limit without Strict Faithfulness AISTATS 2017
Learning MSO-definable hypotheses on strings ALT 2017
Discovering Causal Signals in Images CVPR 2017
Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017
The ContrastMedium Algorithm: Taxonomy Induction From Noisy Knowledge Graphs With Just A Few Links EACL 2017