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)

Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
A Logical Analysis of Hanabi AAAI 2025
Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025
SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025
Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025
Temporal Conjunctive Query Answering via Rewriting AAAI 2025
Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025
Understanding Individual Agent Importance in Multi-Agent System via Counterfactual Reasoning AAAI 2025
Relational Neurosymbolic Markov Models AAAI 2025
DCILP: A Distributed Approach for Large-Scale Causal Structure Learning AAAI 2025
Causal Discovery by Interventions via Integer Programming AAAI 2025
Federated Causally Invariant Feature Learning AAAI 2025
Approximate State Abstraction for Markov Games AAAI 2025
Learning Structural Causal Models from Ordering: Identifiable Flow Models AAAI 2025
Local Causal Discovery Without Causal Sufficiency AAAI 2025
GCAD: Anomaly Detection in Multivariate Time Series from the Perspective of Granger Causality AAAI 2025
Enhancing Uncertainty Modeling with Semantic Graph for Hallucination Detection AAAI 2025
LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025
Counting and Reasoning with Plans AAAI 2025
Toward Falsifying Causal Graphs Using a Permutation-Based Test AAAI 2025