Knowledge & Reasoning

Query-Efficient Agentic Graph Extraction Attacks on GraphRAG Systems ACL 2026 Rational Revision of Group Intentions AAAI 2026 ReLaGS: Relational Language Gaussian Splatting CVPR 2026 Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026 Relaxing Faithfulness with Intervention-Only Causal Discovery UAI 2026 Retrieving Classes of Causal Orders with Inconsistent Knowledge Bases CLeaR 2026 RIMRULE: Improving Tool-Using Language Agents via MDL-Guided Rule Learning ACL 2026 Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis L4DC 2026 Robust Weighted Triangulation of Causal Effects Under Model Uncertainty UAI 2026 Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 ScheMatiQ: From Research Question to Structured Data through Interactive Schema Discovery ACL 2026 SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance SemEval 2026 Self-Supervised Inductive Logic Programming AAAI 2026 SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models SemEval 2026 SemEval-2026 Task 12: Abductive Event Reasoning: Towards Real-World Event Causal Inference for Large Language Models SemEval 2026 SemEval-2026 Task 12: Knowledge Graph with hyperbolic embedding in Abductive Event Reasoning SemEval 2026 Sign Identifiability of Causal Effects in Stationary Stochastic Dynamical Systems UAI 2026 SoloSemantics at SemEval-2026 Task 4: Triplet-Tuned MPNet for Story Similarity SemEval 2026 Spatio-Temporal Hierarchical Causal Models AAAI 2026 Stochastic Safe Action Model Learning COLT 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 Structure Guided Retrieval-Augmented Generation for Factual Queries ACL 2026 Structure Learning for Unfaithful Distributions: The Minimal Dependence Faithfulness UAI 2026 Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026 Testing Partially-Identifiable Causal Queries Using Ternary Tests UAI 2026