Knowledge & Reasoning

dutirshlee at SemEval-2026 Task 11: Symbolic Augmentation for Content-Bias-Resistant Syllogistic Reasoning SemEval 2026 Enhancing Agentic Textual Graph Retrieval with Synthetic Stepwise Supervision ACL 2026 Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026 EthoCLIP: Ontology-Enhanced Video-Language Pretraining for Animal Behavior Understanding CVPR 2026 Evaluation of "Probabilities of Causation" in Case-Control Studies: Identification and Estimation UAI 2026 Experimentation on Endogenous Graphs AAAI 2026 Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026 Falsifying Causal Graphs With Outlier Events UAI 2026 Flow IV: Counterfactual Inference In Nonseparable Outcome Models Using Instrumental Variables CLeaR 2026 FourCorners: Grounded Thai Legal Research over a Temporal Knowledge Graph ACL 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 2026 Fundamental Limits and Optimal Methods for Sharp Analytical Causal Bounds in Instrumental Variable Models UAI 2026 GheGheGhe at SemEval-2026 Task 11: Decoupling Logic from Belief with Bias-Targeted Fine-Tuning and Neuro-Symbolic Syllogistic Reasoning SemEval 2026 GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities SemEval 2026 Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026 HCMUSDroneBoys at SemEval-2026 Task 11: Asymmetric Counterfactual Debiasing and Rank-Sensitive Logical Invariance Adaptation for Syllogistic Reasoning SemEval 2026 Hierarchical Causal Models JMLR 2026 Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification L4DC 2026 Horizontal and Vertical Federated Causal Structure Learning via Higher-order Cumulants AAAI 2026 How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors UAI 2026 Hybrid State Representation for Video Procedure Planning WACV 2026 I-CAM-UV: Integrating Causal Graphs over Non-Identical Variable Sets Using Causal Additive Models with Unobserved Variables AAAI 2026 Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 Identification and Bounding of Central Moments of Causal Effects Using Marginal Moments Information UAI 2026 Implicit Learning for Reasoning in First-Order Probabilistic Logic UAI 2026