| Learning Spatio-Temporal Specifications for Dynamical Systems | Dec 20, 2021 | Formal Logic | —Unverified | 0 |
| Learning Symbolic Rules for Reasoning in Quasi-Natural Language | Nov 23, 2021 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
| 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 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 |
| Design of quantum optical experiments with logic artificial intelligence | Sep 27, 2021 | Formal Logic | CodeCode Available | 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 |
| A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception | Aug 7, 2020 | Formal Logic | —Unverified | 0 |
