| Inferences and Modal Vocabulary | Jul 6, 2020 | Formal Logic | —Unverified | 0 |
| Machine Common Sense | Jun 15, 2020 | Common Sense ReasoningFormal Logic | —Unverified | 0 |
| Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description) | Apr 21, 2020 | Automated Theorem ProvingBIG-bench Machine Learning | —Unverified | 0 |
| Toward the Engineering of Virtuous Machines | Dec 7, 2018 | EthicsFormal Logic | —Unverified | 0 |
| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 |
| Combining Representation Learning with Logic for Language Processing | Dec 27, 2017 | Formal LogicKnowledge Base Completion | —Unverified | 0 |
| Building Multimodal Simulations for Natural Language | Apr 1, 2017 | Formal LogicReferring Expression | —Unverified | 0 |
| Principles and Examples of Plausible Reasoning and Propositional Plausible Logic | Mar 6, 2017 | Formal Logic | —Unverified | 0 |
| The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem | Mar 10, 2016 | Formal LogicJurisprudence | —Unverified | 0 |
| Service Choreography, SBVR, and Time | Dec 24, 2015 | Formal LogicService Composition | —Unverified | 0 |
