Fibo Kowalsky

Expert
@kovvalsky
naturallogic.pro/

LangPro. Tableau-based Theorem Prover for Natural Logic and Language

121

DRS2Graph. Python

6

prove_SICK_NL. Prove Ducth NLI problems of SICK-NL with LangPro

4

SpaceNLI. Natural Language Inference problems specialized for spatial semantics & reasoning

2

SemDL. Semantics and Deep Learning

1

GeoGram. An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE

1
6
Apply