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)

Refinement of Intentions IJCAI 2017
Automated Planning for Urban Traffic Management IJCAI 2017
Real--Time UAV Maneuvering via Automated Planning in Simulations IJCAI 2017
Limbo: A Reasoning System for Limited Belief IJCAI 2017
Enabling Transitivity for Lexical Inference on Chinese Verbs Using Probabilistic Soft Logic IJCNLP 2017
Capturing Long-range Contextual Dependencies with Memory-enhanced Conditional Random Fields IJCNLP 2017
Guess What: A Question Answering Game via On-demand Knowledge Validation IJCNLP 2017
Deep Neural Network based system for solving Arithmetic Word problems IJCNLP 2017
Faithfulness of Probability Distributions and Graphs JMLR 2017
Identification and Overidentification of Linear Structural Equation Models NIPS 2016
Long-term Causal Effects via Behavioral Game Theory NIPS 2016
Causal Bandits: Learning Good Interventions via Causal Inference NIPS 2016
Ancestral Causal Inference NIPS 2016
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation COLING 2016
Towards Time-Aware Knowledge Graph Completion COLING 2016
Recommendations as Treatments: Debiasing Learning and Evaluation ICML 2016
Learning Granger Causality for Hawkes Processes ICML 2016
The Arrow of Time in Multivariate Time Series ICML 2016
Non-linear Causal Inference using Gaussianity Measures JMLR 2016
Distinguishing Cause from Effect Using Observational Data: Methods and Benchmarks JMLR 2016
Estimating Causal Structure Using Conditional DAG Models JMLR 2016
Learning Latent Variable Models by Pairwise Cluster Comparison: Part I - Theory and Overview JMLR 2016
Correlated Crash Vulnerabilities OSDI 2016
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016
A Differential Approach to Causality in Staged Trees PGM 2016