| An Enactivist account of Mind Reading in Natural Language Understanding | Nov 11, 2021 | Formal LogicNatural Language Understanding | —Unverified | 0 |
| Visual Question Answering based on Formal Logic | Nov 8, 2021 | Formal LogicQuestion Answering | —Unverified | 0 |
| Design of quantum optical experiments with logic artificial intelligence | Sep 27, 2021 | Formal Logic | CodeCode Available | 0 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 |
| Satisfiability and Containment of Recursive SHACL | Aug 30, 2021 | Formal Logic | CodeCode Available | 0 |
| Negation in Cognitive Reasoning | Dec 23, 2020 | Formal LogicNegation | CodeCode Available | 0 |
| LGPSolver - Solving Logic Grid Puzzles Automatically | Nov 1, 2020 | Formal LogicLogic Grid Puzzle | —Unverified | 0 |
| Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal Logic | Aug 21, 2020 | Formal Logic | CodeCode Available | 1 |
| A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception | Aug 7, 2020 | Formal Logic | —Unverified | 0 |
| 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 |
| Leveraging Rust types for modular specification and verification | Oct 10, 2019 | Formal Logic | CodeCode Available | 2 |
| 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 |
| Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic | Mar 25, 2014 | Formal Logic | —Unverified | 0 |
| DLOLIS-A: Description Logic based Text Ontology Learning | Mar 24, 2013 | Formal Logic | —Unverified | 0 |
| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
