conftrace_
← Topics

Knowledge & Reasoning

3,940 papers (1 classified directly here)

Subtopics

Reasoning (2,428) Representation (1,906)

Papers per year

17
13
418
543
'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
A Speech-to-Knowledge-Graph Construction System IJCAI 2020
Entity Linking for Short Text Using Structured Knowledge Graph via Multi-Grained Text Matching INTERSPEECH 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
Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020