Browse State-of-the-Art › Logical Reasoning › Papers, page 8

Logical Reasoning

Papers archive 2025-07-28

archive papers tagged: 747 · with a code link: 330 · where Syntology ran a sample: 113 (96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (113 of 747 tagged: 96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument)

Page 8 of 8: papers 701 to 747 of 747, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• A Probabilistic Model for Discriminative and Neuro-Symbolic Semi-Supervised Learning
  10 Jun 2020 0 repositories listed
• Mathematical Reasoning via Self-supervised Skip-tree Training
  8 Jun 2020 0 repositories listed
• Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning
  3 May 2020 0 repositories listed
• Unifying Neural Learning and Symbolic Reasoning for Spinal Medical Report Generation
  28 Apr 2020 0 repositories listed
• Multi-Step Inference for Reasoning Over Paragraphs
  6 Apr 2020 0 repositories listed
• Extending Automated Deduction for Commonsense Reasoning
  29 Mar 2020 0 repositories listed
• From Statistical Relational to Neuro-Symbolic Artificial Intelligence
  18 Mar 2020 0 repositories listed
• Cognitive Argumentation and the Suppression Task
  24 Feb 2020 0 repositories listed
• HypoML: Visual Analysis for Hypothesis-based Evaluation of Machine Learning Models
  12 Feb 2020 0 repositories listed
• A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument
  14 Jan 2020 0 repositories listed
• Neural Logic Networks
  17 Oct 2019 0 repositories listed
• Graph Neural Networks for Reasoning 2-Quantified Boolean Formulas
  25 Sep 2019 0 repositories listed
• Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability
  25 Sep 2019 0 repositories listed
• Non-monotonic Logical Reasoning Guiding Deep Learning for Explainable Visual Question Answering
  23 Sep 2019 0 repositories listed
• Teaching Pretrained Models with Commonsense Reasoning: A Preliminary KB-Based Approach
  20 Sep 2019 0 repositories listed
• Logic and the 2-Simplicial Transformer
  2 Sep 2019 0 repositories listed
• Towards a Theory of Intentions for Human-Robot Collaboration
  31 Jul 2019 0 repositories listed
• Controlled Natural Languages and Default Reasoning
  11 May 2019 0 repositories listed
• How to Make a BLT Sandwich? Learning to Reason towards Understanding Web Instructional Videos
  2 Dec 2018 0 repositories listed
• Compositional Attention Networks for Interpretability in Natural Language Question Answering
  30 Oct 2018 0 repositories listed
• Argumentation Synthesis following Rhetorical Strategies
  1 Aug 2018 0 repositories listed
• Modeling Human Decision-making: An Overview of the Brussels Quantum Approach
  29 Jul 2018 0 repositories listed
• Data Science with Vadalog: Bridging Machine Learning and Reasoning
  23 Jul 2018 0 repositories listed
• Neural Tensor Networks with Diagonal Slice Matrices
  1 Jun 2018 0 repositories listed
• Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning
  19 Apr 2018 0 repositories listed
• First Experiments with a Flexible Infrastructure for Normative Reasoning
  9 Apr 2018 0 repositories listed
• A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams
  8 Feb 2018 0 repositories listed
• A Theoretical Solution of the Mind-Body Problem: An Operationalized Proof that no Purely Physical System Can Exhibit all the Properties of Human Consciousness
  31 Oct 2017 0 repositories listed
• Is writing style predictive of scientific fraud?
  1 Sep 2017 0 repositories listed
• TensorLog: Deep Learning Meets Probabilistic DBs
  17 Jul 2017 0 repositories listed
• Is writing style predictive of scientific fraud?
  13 Jul 2017 0 repositories listed
• Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging
  8 Sep 2016 0 repositories listed
• Compositional Distributional Cognition
  12 Aug 2016 0 repositories listed
• Neural Networks and Continuous Time
  14 Jun 2016 0 repositories listed
• Mapping Ontologies Using Ontologies: Cross-lingual Semantic Role Information Transfer
  1 May 2016 0 repositories listed
• Reasoning in Vector Space: An Exploratory Study of Question Answering
  19 Nov 2015 0 repositories listed
• Object-Oriented Dynamic Networks
  14 Oct 2015 0 repositories listed
• Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics
  1 Aug 2015 0 repositories listed
• Towards Ideal Semantics for Analyzing Stream Reasoning
  20 May 2015 0 repositories listed
• A New Fundamental Evidence of Non-Classical Structure in the Combination of Natural Concepts
  19 May 2015 0 repositories listed
• The RatioLog Project: Rational Extensions of Logical Reasoning
  20 Mar 2015 0 repositories listed
• Quantum Structure of Negation and Conjunction in Human Thought
  14 Mar 2015 0 repositories listed
• Quantum Structure in Cognition and the Foundations of Human Reasoning
  30 Dec 2014 0 repositories listed
• Inferring User Preferences by Probabilistic Logical Reasoning over Social Networks
  11 Nov 2014 0 repositories listed
• Learning Distributed Word Representations for Natural Logic Reasoning
  15 Oct 2014 0 repositories listed
• New Directions in Vector Space Models of Meaning
  1 Jun 2014 0 repositories listed
• Lp : A Logic for Statistical Information
  27 Mar 2013 0 repositories listed