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. The Changing Role of Symbolic Methods in Artificial Intelligence

    Jul 6, 2026Jun SunLogical ReasoningSymbolic Reasoning

    Singapore Management University, Singapore

  2. RusFinChain: A Russian Benchmark for Verifiable Chain-of-Thought Reasoning in Finance with Fuzzy-Aligned Evaluation

    Jul 1, 2026M. K. ArabovLogical ReasoningLLM Evaluation

    Kazan Federal University · Institute of Computational Mathematics and Information Technologies · Department of Data Analysis +1

  3. AGM-like Paraconsistent Partial Meet Abductive Expansion Operation

    Jun 30, 2026Ulisses Franceschi ElianoBelief RevisionLogical Reasoning

    Institute of Philosophy and the Humanities (IFCH) and Centre for Logic, Epistemology and The History of Science (CLE), University of Campinas (UNICAMP)

  4. Better Understanding, Understanding Better

    Jun 30, 2026Yu WeiLogical ReasoningDynamic Epistemic Logic

    Department of Philosophy, East China Normal University · Department of Philosophy East China Normal University Shanghai, China

  5. Analytic Cut in Epistemic Logics with Distributed Knowledge

    Jun 30, 2026Ryo Murai, Sizhuo Liu, Katsuhiko SanoLogical ReasoningEpistemic Logic

    Independent Researcher · Hokkaido University · Graduate School of Humanities and Human Sciences Hokkaido University Hokkaido, Japan +1

  6. COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives

    Jun 26, 2026David Steinmann, Antonia Wüst, Kristian Kersting +1Logical ReasoningVisual Reasoning

    Computer Science Department, TU Darmstadt · Hessian Center for AI (hessian.AI) · German Research Center for AI (DFKI) +2

  7. Beyond Logical Forms: LLM-Extracted Patterns for Fallacy Classification

    Jun 25, 2026Eleni Papadopulos, Firoj Alam, Giovanni Da San MartinoLogical Reasoning

    Politecnico di Torino, Italy · Università di Padova, Italy · Qatar Computing Research Institute, Qatar

  8. Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law

    Jun 24, 2026Tiansi Dong, Mateja Jamnik, Pietro LiòLogical ReasoningSymbolic Reasoning

    The Alan Turing Institute, 96 Euston Road, London, NW1 2DB, UK. · Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave., Cambridge, CB3 0FD, UK.

  9. Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

    Jun 23, 2026Giovanni Casini, Umberto StracciaLogical ReasoningDescription Logic

    CNR - ISTI · University of Cape Town · Istituto di Scienza e Tecnologie dell’Informazione, CNR - ISTI, Pisa, Italy +1

  10. HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs

    Jun 22, 2026Yucheng Wu, Jundong Xu, Mingzhen Ju +4Logical ReasoningLLM Evaluation

    State Key Laboratory of Multimedia Information Processing, Peking University · School of Computer Science, Peking University · School of Computing, National University of Singapore +3

  11. Answering Path Queries under Linear and Guarded Existential Rules

    Jun 22, 2026Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1Logical Reasoning

    LIRMM, Inria, University of Montpellier, CNRS, France · LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France · Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, France +3

  12. ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

    Jun 20, 2026Pei-Cing Huang, Chienyu Liu, Chan Hsu +3Logical ReasoningExplainability Evaluation

    Department of Information Management National Sun Yat-Sen University Kaohsiung, Taiwan · Graduate Institute of Data Science & Information Computing National Chung Hsing University Taichung, Taiwan

  13. QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation

    Jun 18, 2026Xinyi Zheng, Ling Shi, Tianlong Yu +3Logical ReasoningLLM Evaluation

    Huazhong University of Science and Technology Wuhan, China · Nanyang Technological University Singapore, Singapore · Hubei University Wuhan, China +2

  14. Provenance-Enhanced Statements in Knowledge Graphs

    Jun 13, 2026Fabio Vitali, Valentina PasqualLogical ReasoningData Provenance

    University of Bologna, Italy

  15. Transforming Shape Schemas with Composable Property-Graph Queries (Extended Version)

    Jun 12, 2026Philipp Seifer, Daniel Hernández, Ralf Lämmel +1Logical ReasoningGraph Reasoning

    The Software Languages Team, University of Koblenz, Germany · Institute for Artificial Intelligence, University of Stuttgart, Germany · University of Southampton, UK

  16. Obligation-Producing Actions

    Jun 12, 2026Kalonji Kalala, Iluju Kiringa, Tet YeapLogical ReasoningDeontic Logic

    University of Ottawa · Ottawa, Ontario, Canada

  17. Beyond representational alignment with brain-guided language models for robust reasoning

    Jun 10, 2026Mingqing Xiao, Kai Du, Zhouchen LinLogical ReasoningLanguage Modeling

    1State Key Lab of General AI, School of Intelligence Science and Technology, Peking University. · 3Microsoft Research Asia. · Department of Psychological and Cognitive Sciences, Tsinghua University.

  18. Mind the Perspective: Let's Reason Recursively for Theory of Mind

    Jun 10, 2026Chao Lei, Guang Hu, Meng Yang +2Logical ReasoningTheory of Mind

    School of Computing and Information Systems, The University of Melbourne, Australia · SensiLab, Monash University, Australia

  19. SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance

    Jun 8, 2026Hanna Abi Akl, Fabien Gandon, Catherine Faron +1Logical ReasoningSymbolic Reasoning

    Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France · Data ScienceTech Institute, Paris, France

  20. History of the Muddy Children Puzzle

    Jun 8, 2026Hans van DitmarschLogical ReasoningEpistemic Logic

    CNRS, France · IIT Kanpur, India

  21. TRIAGE: Dialectical LLM Reasoning for Explainable Risk Prediction on Irregularly Sampled Medical Time Series

    Jun 8, 2026Hyeongwon Jang, Gyouk Chu, Changhun Kim +4Irregular Time-Series ModelingLogical Reasoning

    KAIST · AITRICS · University of Wisconsin-Madison

  22. From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing

    Jun 8, 2026Jian Chen, Siyuan Li, Chucheng Wan +1Logical ReasoningLegal NLP

    The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China · Sun Yat-Sen University Guangzhou, China

  23. Standpoint Logics with Defeasible Beliefs

    Jun 7, 2026Nicholas Leisegang, Thomas Meyer, Sebastian RudolphLogical ReasoningNonmonotonic Reasoning

    University of Cape Town and CAIR, South Africa · Technische Universität Dresden, Dresden, Germany · ScaDS.AI – Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig, Germany

  24. Analysis of the Neglect-Zero Effect in Large Language Models

    Jun 4, 2026Jin Tanaka, Daiki Matsuoka, Ryoma Kumon +1Logical ReasoningLLM Evaluation

    The University of Tokyo · RIKEN · Tohoku University

  25. DAR: Deontic Reasoning with Agentic Harnesses

    Jun 3, 2026Guangyao Dou, William Jurayj, Nils Holzenberger +1Logical ReasoningAgentic Reasoning

    Johns Hopkins University · Télécom Paris, Institut Polytechnique de Paris

  26. A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

    Jun 3, 2026Huanyu Yang, Yangfan Wu, Jianmin JiLogical ReasoningAnswer Set Programming

    School of Computer Science and Technology, University of Science and Technology of China (USTC), Hefei, Anhui, China · Department of Computer Science and Engineering, The Hong Kong University of Science and Technology (HKUST), Hong Kong SAR, China

  27. Reasoning Structure of Large Language Models

    Jun 2, 2026Frédéric Berdoz, Luca A. Lanzendörfer, Fabian Farestam +1Logical ReasoningLLM Evaluation

    1ETH Zurich, Switzerland.

  28. Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

    Jun 2, 2026Nicholas Leisegang, Thomas Meyer, Ivan VarzniczakLogical ReasoningNonmonotonic Reasoning

    University of Cape Town and CAIR, South Africa · 2Université Sorbonne Paris Nord, Inserm, Sorbonne Université, Limics, 93017 Bobigny, France · 3ISTI-CNR, Pisa, Italy

  29. ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics

    Jun 2, 2026Peng ChenBelief RevisionLogical Reasoning

    School of Information Science, Beijing Language and Culture University Beijing 100081

  30. TLG: Temporal-Logic Grounding for Video Question Answering via Source-Annotation Reconstruction and Category-Targeted Reasoning

    Jun 1, 2026Ali AlaviTemporal Video GroundingLogical Reasoning

    The Ohio State University