Knowledge & Reasoning

Incremental Maintenance of DatalogMTL Materialisations AAAI 2026 Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026 iTAG: Inverse Design for Natural Text Generation with Accurate Causal Graph Annotations ACL 2026 ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs SemEval 2026 lakshadvani at SemEval-2026 Task 11: A Neuro-Symbolic Approach to Content-Independent Syllogistic Reasoning SemEval 2026 LaMoGen: Language to Motion Generation Through LLM-Guided Symbolic Inference CVPR 2026 Language Model as Planner and Formalizer under Constraints ACL 2026 Learning to Think on Hypergraph: HyperCoT for Structure-Guided N-ary Knowledge Graph Completion ACL 2026 Leveraging Large Language Models for Causal Discovery: a Constraint-based, Argumentation-driven Approach UAI 2026 Lingua-Graph: A Unified Representation of Cross-Task Common Substructures for Analytic Language Processing ACL 2026 LLMs Underperform Graph-Based Parsers on Supervised Relation Extraction for Complex Graphs ACL 2026 LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning ACL 2026 MAGIC: Deep Geometric Evolution with Structural Consensus for Temporal Knowledge Graph Reasoning ACL 2026 Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026 Mixture-of-Minds: Multi-Agent Reinforcement Learning for Table Understanding ACL 2026 Model Change for Description Logic Concepts AAAI 2026 Multimodal Causality-Driven Representation Learning for Generalizable Medical Image Segmentation CVPR 2026 NeuroRule: Bridging Vision and Logic with Differentiable Rule Induction CVPR 2026 NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise ACL 2026 One Model to Rule Them All: Canonically Gluing Causal Models Along Shared Substructures UAI 2026 On the Granularity of Causal Effect Identifiability UAI 2026 Partially Observed Structural Causal Models UAI 2026 Planning with Formal Reachability Guarantees in Goal-Oriented MDPs with Dead-Ends UAI 2026 Poisson–Gamma Modeling of Inter-Relational Dependencies in Dynamic Knowledge Graphs UAI 2026 Proximal Identification and Estimation in Front-Door Causal Structures with Unobserved Confounding of the Mediator UAI 2026