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)

Identification for Tree-Shaped Structural Causal Models in Polynomial Time AAAI 2024
Probabilities of Causation with Nonbinary Treatment and Effect AAAI 2024
Unit Selection with Nonbinary Treatment and Effect AAAI 2024
TNPAR: Topological Neural Poisson Auto-Regressive Model for Learning Granger Causal Structure from Event Sequences AAAI 2024
Identification of Causal Structure in the Presence of Missing Data with Additive Noise Model AAAI 2024
Causal Discovery from Poisson Branching Structural Causal Model Using High-Order Cumulant with Path Analysis AAAI 2024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024
Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs AAAI 2024
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning AAAI 2024
Omega-Regular Decision Processes AAAI 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024
Neural Closure Certificates AAAI 2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024
Pure-Past Action Masking AAAI 2024
Auto311: A Confidence-Guided Automated System for Non-emergency Calls AAAI 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
Causally Aware Generative Adversarial Networks for Light Pollution Control AAAI 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
Integrated Systems for Computational Scientific Discovery AAAI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
When Causal Inference Meets Graph Machine Learning AAAI 2024
From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024
Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024
Reasoning about Causality in Games (Abstract Reprint) AAAI 2024