Knowledge & Reasoning

0704mis at SemEval-2026 Task 11: Single-Call Joint Abstraction for Robust Neuro-Symbolic Retrieval SemEval 2026 2-ASP(Q) Solving Based on CEGAR AAAI 2026 A causal machine learning framework for pharmacovigilance signal detection in electronic health records: Drug-induced acute kidney injury CLeaR 2026 A Causal Target for Learning to Defer Under Hidden Confounding AAAI 2026 A Comprehensive Collection of Vignettes for Actual Causation CLeaR 2026 A fine-grained look at causal effects in causal spaces CLeaR 2026 AILS-NTUA at SemEval-2026 Task 12: Graph-Based Retrieval and Reflective Prompting for Abductive Event Reasoning SemEval 2026 A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference AAAI 2026 An Epistemic Perspective on Agent Awareness AAAI 2026 A novel hybrid approach for positive-valued DAG learning CLeaR 2026 Approximating Probabilistic Inference in Statistical EL with Knowledge Graph Embeddings UAI 2026 ARGUS: Argumentation-Based Minimal-Change Repair for Verifiable LLM Self-Explanations UAI 2026 A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 Automata-less Monitoring via Trace-Checking AAAI 2026 Average Controlled and Average Natural Micro Direct Effects in Summary Causal Graphs UAI 2026 BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems L4DC 2026 Bayesian Hierarchical Invariant Prediction CLeaR 2026 BiomedCCPL: Causal Conditional Prompt Learning for Biomedical Vision-Language Models CVPR 2026 Birds of a Feather Reason Together: Gestalt Grouping Meets Neuro-Symbolic Inference UAI 2026 Bivariate Causal Discovery Using Rate-Distortion MDL: An Information Dimension Approach CLeaR 2026 Breaking Bad: Component-Wise Parent Deletion for Score-Based Causal Discovery UAI 2026 Breaking the Dyadic Barrier: Rethinking Fairness in Link Prediction Beyond Demographic Parity AAAI 2026 Bringing Real-World Relations into Video Generation with Graph-Structured Knowledge ACL 2026 BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems L4DC 2026 Causal Articulation Theory (CAT): Articulating Static and Temporal Causal Models Beyond LLM Rationalizations CLeaR 2026