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)

Closing the Loop: Bringing Humans into Empirical Computational Social Choice and Preference Reasoning IJCAI 2020
Spatio-Temporal Change Detection Using Granger Sequence Pattern IJCAI 2020
GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020
How Causal Structural Knowledge Adds Decision-Support in Monitoring of Automotive Body Shop Assembly Lines IJCAI 2020
Decision Platform for Pattern Discovery and Causal Effect Estimation in Contraceptive Discontinuation IJCAI 2020
Causal Discovery Toolbox: Uncovering causal relationships in Python JMLR 2020
Learning Linear Non-Gaussian Causal Models in the Presence of Latent Variables JMLR 2020
Switching Regression Models and Causal Inference in the Presence of Discrete Latent Variables JMLR 2020
Generalized Optimal Matching Methods for Causal Inference JMLR 2020
Identifiability of Additive Noise Models Using Conditional Variances JMLR 2020
Causal Discovery from Heterogeneous/Nonstationary Data JMLR 2020
Joint Causal Inference from Multiple Contexts JMLR 2020
Local Causal Network Learning for Finding Pairs of Total and Direct Effects JMLR 2020
Efficient Adjustment Sets for Population Average Causal Treatment Effect Estimation in Graphical Models JMLR 2020
algcomparison: Comparing the Performance of Graphical Structure Learning Algorithms with TETRAD JMLR 2020
On Efficient Adjustment in Causal Graphs JMLR 2020
Learning to Correspond Dynamical Systems L4DC 2020
Learning solutions to hybrid control problems using Benders cuts L4DC 2020
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020
Liveness Verification of Stateful Network Functions NSDI 2020
Check before You Change: Preventing Correlated Failures in Service Updates NSDI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020
Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020
A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020