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 Conflict-Embedded Narrative Generation Using Commonsense Reasoning IJCAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024
PyClause - Simple and Efficient Rule Handling for Knowledge Graphs IJCAI 2024
Axiomatic effect propagation in structural causal models JMLR 2024
Causal-learn: Causal Discovery in Python JMLR 2024
Functional Directed Acyclic Graphs JMLR 2024
DoWhy-GCM: An Extension of DoWhy for Causal Inference in Graphical Causal Models JMLR 2024
A Kernel Test for Causal Association via Noise Contrastive Backdoor Adjustment JMLR 2024
Generalized Independent Noise Condition for Estimating Causal Structure with Latent Variables JMLR 2024
On Doubly Robust Inference for Double Machine Learning in Semiparametric Regression JMLR 2024
Learning and scoring Gaussian latent variable causal models with unknown additive interventions JMLR 2024
Causal Discovery with Generalized Linear Models through Peeling Algorithms JMLR 2024
Causal effects of intervening variables in settings with unmeasured confounding JMLR 2024
Learning Gaussian DAGs from Network Data JMLR 2024
Stage-Aware Learning for Dynamic Treatments JMLR 2024
Few-shot Knowledge Graph Relational Reasoning via Subgraph Adaptation NAACL 2024
Exploring Causal Mechanisms for Machine Text Detection Methods NAACL 2024
Beaver: Practical Partial Snapshots for Distributed Cloud Services OSDI 2024
VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024
Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024
IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024
HW-TSC at SemEval-2024 Task 5: Self-Eval? A Confident LLM System for Auto Prediction and Evaluation for the Legal Argument Reasoning Task SEMEVAL 2024
Out-of-Distribution Detection With Logical Reasoning WACV 2024
Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024