Logical Reasoning

Ask about this topic

Momentum

11 papers in the last four weeks, up 175% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 123

All topics
CardsList

  1. Rethinking Explanations: Formalizing Contrast in Description Logics

    May 2, 2026Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1Logical ReasoningExplainable Artificial Intelligence

    Data Science Group, Heinz Nixdorf Institute, Paderborn University Germany

  2. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

    May 2, 2026Anselm Haak, Patrick Koopmann, Yasir Mahmood +1Logical ReasoningAbductive Reasoning

    Knowledge Representation Group, Paderborn University, Germany · Knowledge in Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands · Data Science Group, Paderborn University, Germany

  3. LSR-Ben: A Logical and Scientific Reasoning Benchmark for Evaluating Process Reward Models

    May 2, 2026Zhouhao Sun, Xuan Zhang, Xiao Ding +10Logical ReasoningProcess Reward Models

    Research Center for Social Computing and Interactive Robotics, Harbin Institute of Technology, China · Beijing Academy of Artificial Intelligence, Beijing, China

  4. LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning

    Apr 30, 2026Adam Ishay, Joohyung LeeLLM Self-CorrectionLogical Reasoning

    Arizona State University · Samsung Research

  5. Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems

    Apr 29, 2026Mahnoor Shahid, Hannes RotheTensor NetworksLogical Reasoning

    Universität Duisburg Essen, Germany

  6. CoGReV: A Confidence-Gated Post-Hoc Non-Monotonic Belief Revision Framework for Phishing Website Classification

    Apr 28, 2026Mainak Sen, Kumar Sankar Ray, Amlan ChakrabartiLogical ReasoningCybersecurity

    Techno India University, West Bengal, India · A. K. Choudhury School of Information Technology, University of Calcutta, Kolkata, India · Electronics and Communication Sciences Unit (ECSU), Indian Statistical Institute, Kolkata, India +1

  7. Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

    Apr 28, 2026Xavier ParentLogical ReasoningNonmonotonic Reasoning

    Institute of Logic and Computation, TU Wien, Vienna, Austria

  8. Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

    Apr 28, 2026Marvin Grosser, Carsten LutzLogical ReasoningDescription Logic

    Leipzig University · ScaDS.AI Center Dresden/Leipzig

  9. NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework

    Apr 27, 2026Daniel Romero Schellhorn, Till MossakowskiProbabilistic LogicLogical Reasoning

    University of Osnabrück, Osnabrück, Germany.

  10. BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization

    Apr 27, 2026Bruno F. Lourenço, Hesham Morgan, Ana Ozaki +2Logical ReasoningKG Embedding

    The Institute of Statistical Mathematics, Japan · TU Wien, Austria · University of Oslo, Norway +1

  11. When Corrective Hints Hurt: Prompt Design in Reasoner-Guided Repair of LLM Overcaution on Entailed Negations under OWL2DL

    Apr 25, 2026Yijiashun Qi, Xiang Xu, Yuxuan LiLLM Self-CorrectionLogical Reasoning

    University of Michigan · ByteDance Inc. · University of Pennsylvania

  12. To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning

    Apr 23, 2026Nevena Lazić, Liam Fowl, András György +1Logical ReasoningDecoder-Only Language Models

  13. Symbolic Grounding Reveals Representational Bottlenecks in Abstract Visual Reasoning

    Apr 23, 2026Mohit Vaishnav, Tanel TammetLogical ReasoningVisual Reasoning

    Applied Artificial Intelligence Group, Tallinn University of Technology, Estonia 12169 · Kimova AI, Tallinn, Estonia 10113

  14. TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics

    Apr 23, 2026Takao InouéLogical ReasoningDescription Logic

  15. Plausible Reasoning and First-Order Plausible Logic

    Apr 21, 2026David BillingtonLogical ReasoningNonmonotonic Reasoning

    School of Information and Communication Technology, Nathan campus, Griffith University, Brisbane, Queensland 4111, Australia.

  16. Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra

    Apr 20, 2026Chao LiLogical ReasoningKnowledge Representation

  17. From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS

    Apr 20, 2026Mina Gabriel, Pei WangLogical ReasoningReasoning Evaluation

    Temple University, Philadelphia, PA 19122, USA

  18. FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction

    Apr 20, 2026Adewale Akinfaderin, Nafi DialloLogical ReasoningSymbolic Reasoning

    Amazon Web Services Seattle, WA

  19. Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants

    Apr 17, 2026Sankalp Gilda, Shlok GildaLogical ReasoningAbductive Reasoning

    DeepThought Solutions · Department of Computer Science · University of Florida

  20. LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking

    Apr 16, 2026Lukas Helff, Quentin Delfosse, David Steinmann +6Reward HackingLogical Reasoning

    TU Darmstadt · DFKI · Intrinsic +4

  21. Correct Prediction, Wrong Steps? Consensus Reasoning Knowledge Graph for Robust Chain-of-Thought Synthesis

    Apr 15, 2026Zipeng Ling, Shuliang Liu, Seonil Son +4Logical ReasoningSelf-Consistency Decoding

    The Hong Kong University of Science and Technology (Guangzhou) · University of Alberta · Alberta Machine Intelligence Institute +3

  22. AI Mental Models: Learned Intuition and Deliberation in a Bounded Neural Architecture

    Mar 23, 2026Laurence AnthonyLogical ReasoningComputational Cognitive Modeling

    School of Creative Science and Engineering Faculty of Science and Engineering Waseda University

  23. Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

    Feb 18, 2026Zoran MajkicLogical ReasoningKnowledge Representation

    ISRST, Tallahassee, FL, USA

  24. Robustness of Constraint Automata for Description Logics with Concrete Domains

    Jan 27, 2026Stéphane Demri, Tianwen GuLogical Reasoning

    Universit´e Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M´ethodes Formelles, 91190 Gif-sur-Yvette, France

  25. Training Language Models to Use Prolog as a Tool

    Dec 8, 2025Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke PoechReward HackingLogical Reasoning

    University of Southern Denmark

  26. Modal Logic Neural Networks

    Dec 3, 2025Antonin Sulc, Noor NaddourLogical ReasoningNeuro-Symbolic Reasoning

    Lawrence Berkeley National Laboratory, Berkeley, CA, USA · The University of Queensland, Brisbane, QLD, Australia

  27. MultiZebraLogic: A Multilingual Logical Reasoning Benchmark

    Nov 5, 2025Sofie Helene Bruun, Dan Saattrup SmartLogical ReasoningMultilingual Language Model Evaluation

    The Alexandra Institute Rued Langgaards Vej 7, 5D, 2300 Copenhagen S, Denmark

  28. Axiomatisation for an asynchronous epistemic logic with sending and receiving messages

    Oct 3, 2025Philippe Balbiani, Hans van Ditmarsch, Clara LerouvilloisLogical ReasoningDynamic Epistemic Logic

    IRIT, CNRS—INPT—UT, Toulouse, France · IHPST University Paris 1 Panth´eon Sorbonne, Paris, France

  29. PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics

    May 29, 2025Atharva Naik, Prakam, Yash Mathur +6Logical ReasoningLLM Evaluation

    Carnegie Mellon University · Independent Researcher · Ohio State University

  30. Goal-Driven Reasoning in DatalogMTL with Magic Sets

    Dec 10, 2024Shaoyu Wang, Kaiyue Zhao, Dongliang Wei +4Logic ProgrammingLogical Reasoning

    School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China · Department of Computer Science, University of Oxford, UK · School of Electronic Engineering and Computer Science, Queen Mary University of London, UK