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)

Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025
Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025
Iterated Belief Change as Learning IJCAI 2025
Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025
Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025
Identifying Causal Mechanism Shifts Under Additive Models with Arbitrary Noise IJCAI 2025
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025
A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective IJCAI 2025
Causal View of Time Series Imputation: Some Identification Results on Missing Mechanism IJCAI 2025
Long-Term Individual Causal Effect Estimation via Identifiable Latent Representation Learning IJCAI 2025
Gradient-based Causal Feature Selection IJCAI 2025
Hybrid Local Causal Discovery IJCAI 2025
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025
MCF-Spouse: A Multi-Label Causal Feature Selection Method with Optimal Spouses Discovery IJCAI 2025
NeSyA: Neurosymbolic Automata IJCAI 2025
Subgraph Information Bottleneck with Causal Dependency for Stable Molecular Relational Learning IJCAI 2025
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025
An Approach to Quantify Plans Robustness in Real-world Applications IJCAI 2025
Abstraction Heuristics for Classical Planning Tasks with Conditional Effects IJCAI 2025
LLM-enhanced Score Function Evolution for Causal Structure Learning IJCAI 2025
Conditional Independent Test in the Presence of Measurement Error with Causal Structure Learning IJCAI 2025
TCCD: Tree-guided Continuous Causal Discovery via Collaborative MCTS-Parameter Optimization IJCAI 2025
Beyond Patterns: Harnessing Causal Logic for Autonomous Driving Trajectory Prediction IJCAI 2025
Large Language Models for Causal Discovery: Current Landscape and Future Directions IJCAI 2025