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)

MAmmoTH2: Scaling Instructions from the Web NIPS 2024
Graph Learning for Numeric Planning NIPS 2024
Markov Equivalence and Consistency in Differentiable Structure Learning NIPS 2024
MECD: Unlocking Multi-Event Causal Discovery in Video Reasoning NIPS 2024
On Causal Discovery in the Presence of Deterministic Relations NIPS 2024
Hybrid Top-Down Global Causal Discovery with Local Search for Linear and Nonlinear Additive Noise Models NIPS 2024
A Compositional Atlas for Algebraic Circuits NIPS 2024
Identification of Necessary Semantic Undertakers in the Causal View for Image-Text Matching AAAI 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024
Learning to Learn in Interactive Constraint Acquisition AAAI 2024
What Are the Rules? Discovering Constraints from Data AAAI 2024
Deep Structural Knowledge Exploitation and Synergy for Estimating Node Importance Value on Heterogeneous Information Networks AAAI 2024
Modeling Knowledge Graphs with Composite Reasoning AAAI 2024
Knowledge-Enhanced Historical Document Segmentation and Recognition AAAI 2024
CoreRec: A Counterfactual Correlation Inference for Next Set Recommendation AAAI 2024
Multimodal Event Causality Reasoning with Scene Graph Enhanced Interaction Network AAAI 2024
Graph Contrastive Invariant Learning from the Causal Perspective AAAI 2024
Anchoring Path for Inductive Relation Prediction in Knowledge Graphs AAAI 2024
Poincaré Differential Privacy for Hierarchy-Aware Graph Embedding AAAI 2024
Exploring Large Language Model for Graph Data Understanding in Online Job Recommendations AAAI 2024