| MMM: Multi-stage Multi-task Learning for Multi-choice Reading Comprehension | Oct 1, 2019 | Logical ReasoningMachine Reading Comprehension | CodeCode Available | 0 |
| Graph Neural Networks for Reasoning 2-Quantified Boolean Formulas | Sep 25, 2019 | Logical Reasoning | —Unverified | 0 |
| Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability | Sep 25, 2019 | Logical Reasoning | —Unverified | 0 |
| Non-monotonic Logical Reasoning Guiding Deep Learning for Explainable Visual Question Answering | Sep 23, 2019 | Inductive LearningLogical Reasoning | —Unverified | 0 |
| Teaching Pretrained Models with Commonsense Reasoning: A Preliminary KB-Based Approach | Sep 20, 2019 | Few-Shot LearningLogical Reasoning | —Unverified | 0 |
| Logic and the 2-Simplicial Transformer | Sep 2, 2019 | Deep Reinforcement LearningInductive Bias | —Unverified | 0 |
| Towards a Theory of Intentions for Human-Robot Collaboration | Jul 31, 2019 | Computational EfficiencyLogical Reasoning | —Unverified | 0 |
| Semantic RL with Action Grammars: Data-Efficient Learning of Hierarchical Task Abstractions | Jul 29, 2019 | Hierarchical Reinforcement LearningLogical Reasoning | CodeCode Available | 0 |
| SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver | May 29, 2019 | Deep LearningGame of Sudoku | CodeCode Available | 0 |
| Controlled Natural Languages and Default Reasoning | May 11, 2019 | ImplicaturesLogical Reasoning | —Unverified | 0 |
| Declarative Question Answering over Knowledge Bases containing Natural Language Text with Answer Set Programming | May 1, 2019 | Logical ReasoningNatural Language Inference | CodeCode Available | 0 |
| How to Make a BLT Sandwich? Learning to Reason towards Understanding Web Instructional Videos | Dec 2, 2018 | Logical ReasoningQuestion Answering | —Unverified | 0 |
| Compositional Attention Networks for Interpretability in Natural Language Question Answering | Oct 30, 2018 | Logical ReasoningQuestion Answering | —Unverified | 0 |
| Ontology Reasoning with Deep Neural Networks | Aug 24, 2018 | Logical Reasoning | CodeCode Available | 0 |
| Argumentation Synthesis following Rhetorical Strategies | Aug 1, 2018 | Argument MiningEthics | —Unverified | 0 |
| Modeling Human Decision-making: An Overview of the Brussels Quantum Approach | Jul 29, 2018 | Decision MakingLogical Reasoning | —Unverified | 0 |
| Data Science with Vadalog: Bridging Machine Learning and Reasoning | Jul 23, 2018 | BIG-bench Machine LearningKnowledge Graphs | —Unverified | 0 |
| Neural Tensor Networks with Diagonal Slice Matrices | Jun 1, 2018 | Knowledge Graph CompletionLogical Reasoning | —Unverified | 0 |
| DeepLogic: Towards End-to-End Differentiable Logical Reasoning | May 18, 2018 | BIG-bench Machine LearningLogical Reasoning | CodeCode Available | 0 |
| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 |
| First Experiments with a Flexible Infrastructure for Normative Reasoning | Apr 9, 2018 | Logical Reasoning | —Unverified | 0 |
| A Dataset and Architecture for Visual Reasoning with a Working Memory | Mar 16, 2018 | DiagnosticLogical Reasoning | CodeCode Available | 0 |
| GOTaxon: Representing the evolution of biological functions in the Gene Ontology | Feb 16, 2018 | Logical Reasoning | CodeCode Available | 0 |
| A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams | Feb 8, 2018 | Logical Reasoningvalid | —Unverified | 0 |
| A Theoretical Solution of the Mind-Body Problem: An Operationalized Proof that no Purely Physical System Can Exhibit all the Properties of Human Consciousness | Oct 31, 2017 | AllLogical Reasoning | —Unverified | 0 |
