Knowledge & Reasoning

Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025 World Knowledge Resolves Some Aspectual Ambiguity ACL 2025 Your Assumed DAG is Wrong And Here’s How To Deal With It CLeaR 2025 Z1: Efficient Test-time Scaling with Code EMNLP 2025 Zero-Shot Generalization of GNNs over Distinct Attribute Domains ICML 2025 Zero-shot Graph Reasoning via Retrieval Augmented Framework with LLMs EMNLP 2025 ZOGRASCOPE: A New Benchmark for Semantic Parsing over Property Graphs EMNLP 2025 NeuroPath: A Neural Pathway Transformer for Joining the Dots of Human Connectomes NeurIPS 2024 $χ$SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains UAI 2024 3D Rotation and Translation for Hyperbolic Knowledge Graph Embedding EACL 2024 Abductive Reasoning in Logical Credal Networks NeurIPS 2024 Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 A causality-inspired plus-minus model for player evaluation in team sports CLeaR 2024 Achievable distributional robustness when the robust risk is only partially identified NeurIPS 2024 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 A Compositional Atlas for Algebraic Circuits NeurIPS 2024 A Conflict-Embedded Narrative Generation Using Commonsense Reasoning IJCAI 2024 Action Inference for Destination Prediction in Vision-and-Language Navigation ACL 2024 Action Scene Graphs for Long-Form Understanding of Egocentric Videos CVPR 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024 Adjustment Identification Distance: A gadjid for Causal Structure Learning UAI 2024 A Dual-module Framework for Counterfactual Estimation over Time ICML 2024 A Fixed-Point Approach for Causal Generative Modeling ICML 2024