LangPro
PublicTableau-based Theorem Prover for Natural Logic and Language
formal-semanticslambda-logical-formnatural-language-inferencenatural-language-processingnatural-logicnatural-tableaunliprologsemantic-tableautheorem-prover
Creat:2017-03-06T02:57:57
Update:2025-01-15T07:20:43
118
Stars
0
Stars Increase