Reasoning

A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective IJCAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025 A Multi-Expert Structural-Semantic Hybrid Framework for Unveiling Historical Patterns in Temporal Knowledge Graphs ACL 2025 An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 Analysis of Two-Stage Rollout Designs with Clustering for Causal Inference under Network Interference AISTATS 2025 An Approach to Quantify Plans Robustness in Real-world Applications IJCAI 2025 An Asymmetric Independence Model for Causal Discovery on Path Spaces CLeaR 2025 An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 An Efficient Search-and-Score Algorithm for Ancestral Graphs using Multivariate Information Scores for Complex Non-linear and Categorical Data ICML 2025 A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025 An Evaluation of Approaches to Train Embeddings for Logical Inference (Student Abstract) AAAI 2025 A New Approach to Backtracking Counterfactual Explanations: A Unified Causal Framework for Efficient Model Interpretability ICML 2025 An Expert System for Danish Traffic Law Cases (Student Abstract) AAAI 2025 A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals IJCAI 2025 Answering Complex Geographic Questions by Adaptive Reasoning with Visual Context and External Commonsense Knowledge ACL 2025 Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025 Approximate State Abstraction for Markov Games AAAI 2025 Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics IJCAI 2025 A Practical Approach to Causal Inference over Time AAAI 2025 A Reasoning-Based Approach to Cryptic Crossword Clue Solving ICML 2025 A Recipe for Causal Graph Regression: Confounding Effects Revisited ICML 2025 Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025 ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025