Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | 0 | 0.34 | 2020 |
GLIF - A Declarative Framework for Symbolic Natural Language Understanding. | 0 | 0.34 | 2020 |
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | 0 | 0.34 | 2020 |
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). | 0 | 0.34 | 2018 |