conftrace_

Reasoning

2,774 papers (30 classified directly here)

Subtopics · a paper can sit in several, so these overlap

Causal Inference (1,197) Automated Reasoning (876) Formal Methods (379) Automated Planning (304) Graph Embeddings (227)

Papers per year

5

6

14

6

11

15

17

25

15

13

23

99

132

205

277

248

308

329

465

453

108

'10

'15

'20

'25

Papers (including subtopics)

SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024 Scalable and Flexible Causal Discovery with an Efficient Test for Adjacency ICML 2024 Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024 Score-Based Causal Discovery of Latent Variable Causal Models ICML 2024 Self-Compatibility: Evaluating Causal Discovery without Ground Truth AISTATS 2024 Semantics for Non-Flat Assumption-Based Argumentation, Revisited IJCAI 2024 Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024 SG-Nav: Online 3D Scene Graph Prompting for LLM-based Zero-shot Object Navigation NeurIPS 2024 s-ID: Causal Effect Identification in a Sub-population AAAI 2024 Simplifying Complex Observation Models in Continuous POMDP Planning with Probabilistic Guarantees and Practice AAAI 2024 Smaller Confidence Intervals From IPW Estimators via Data-Dependent Coarsening (Extended Abstract) COLT 2024 Smoke and Mirrors in Causal Downstream Tasks NeurIPS 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024 Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives UAI 2024 SpaRC and SpaRP: Spatial Reasoning Characterization and Path Generation for Understanding Spatial Reasoning Capability of Large Language Models ACL 2024 Stable Differentiable Causal Discovery ICML 2024 Stable Model Semantics for Description Logic Terminologies AAAI 2024 Stage-Aware Learning for Dynamic Treatments JMLR 2024 Statistical and Causal Robustness for Causal Null Hypothesis Tests UAI 2024 Statistical Inference Under Constrained Selection Bias ICML 2024 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024 Structural Estimation of Partially Observed Linear Non-Gaussian Acyclic Model: A Practical Approach with Identifiability ICLR 2024 Structurally Guided Task Decomposition in Spatial Navigation Tasks (Student Abstract) AAAI 2024 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Submodel Enumeration for CTL Is Hard AAAI 2024