Knowledge & Reasoning

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 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 AnRe: Analogical Replay for Temporal Knowledge Graph Forecasting ACL 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 APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty 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 A Sample Efficient Conditional Independence Test in the Presence of Discretization ICML 2025 A Semantic Framework for Neurosymbolic Computation (Abstract Reprint) IJCAI 2025 A Sequent Calculus for Answer Set Entailment IJCAI 2025