Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: natural-logic
sushmaakoju/natural-logic
Sentences Involving Complex Compositional Knowledge (SICCK)
Language: Jupyter Notebook - Size: 10.1 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
kovvalsky/prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
Language: Prolog - Size: 66.4 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Language: Prolog - Size: 26.3 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 107 - Forks: 9
EthanOrlander/cisc-204-tool
Jape 2.0?
Language: TypeScript - Size: 175 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0