Automated Reasoning

NeuroRule: Bridging Vision and Logic with Differentiable Rule Induction CVPR 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 Thiyaga6851 at SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models using Neuro-Symbolic Mapping SemEval 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 A Human-LLM Note-Taking System with Case-Based Reasoning as Framework for Scientific Discovery NAACL 2025 A Logical Analysis of Hanabi AAAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025 A Multi-Expert Structural-Semantic Hybrid Framework for Unveiling Historical Patterns in Temporal Knowledge Graphs ACL 2025 An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025 An Expert System for Danish Traffic Law Cases (Student Abstract) AAAI 2025 Answering Complex Geographic Questions by Adaptive Reasoning with Visual Context and External Commonsense Knowledge ACL 2025 Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025 Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics IJCAI 2025 A Reasoning-Based Approach to Cryptic Crossword Clue Solving ICML 2025 Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025 ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 A Sequent Calculus for Answer Set Entailment IJCAI 2025 ASP Chef Chats with Large Language Models IJCAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025