natural-logic

There are 0 repository under natural-logic topic.

kovvalsky / LangPro
Tableau-based Theorem Prover for Natural Logic and Language
nli natural-language-inference semantic-tableau theorem-prover theorem-proving natural-logic natural-tableau lambda-logical-form natural-language-processing formal-semantics prolog
Language:Prolog 109
kovvalsky / prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
dutch dutch-language natural-language-inference natural-logic neural-proof-net nli proof-net tableau-prover textual-entailment theorem-prover theorem-proving
Language:Prolog 3
EthanOrlander / cisc-204-tool
Jape 2.0?
logic natural-logic propositional-logic predicate-logic natural-deduction jape
Language:TypeScript 0