| 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 |
