formal logic

AICOE-Tredence at SemEval-2026 Task 11: Mitigating Content Bias in Syllogisms via Symbolic Logic-Language Decoupling SemEval 2026 Inference of Human-derived Specifications of Object Placement via Demonstration IJCAI 2025 Into The Limits of Logic: Alignment Methods for Formal Logical Reasoning EMNLP 2025 LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025 Merging Two Grammar Worlds: Exploring the Relationship between Universal Dependencies and Signal Temporal Logic IJCNLP 2025 On the Logic of Theory Base Change: Reformulation of Belief Bases AAAI 2025 RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning ICML 2025 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic COLING 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024 The Logic of Doxastic Strategies AAAI 2024 YARN is All You Knit: Encoding Multiple Semantic Phenomena with Layers COLING 2024 Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic ICML 2023 Learning Spatio-Temporal Specifications for Dynamical Systems L4DC 2022 The Limits of Morality in Strategic Games IJCAI 2022 Contextual Conditional Reasoning AAAI 2021 A Logic of Directions IJCAI 2020 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020 LGPSolver - Solving Logic Grid Puzzles Automatically EMNLP 2020 Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019 Shielded Base Contraction (Extended Abstract) IJCAI 2019 Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017 The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017