Popular repositories Loading

1. LangPro LangPro Public

   Tableau-based Theorem Prover for Natural Logic and Language

   Prolog 116 12

2. DRS2Graph DRS2Graph Public

   Python 6

3. prove_SICK_NL prove_SICK_NL Public

   Prove Ducth NLI problems of SICK-NL with LangPro

   Prolog 3

4. GeoGram GeoGram Public

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

   Prolog 1

5. SemDL SemDL Public

   Semantics and Deep Learning

   Jupyter Notebook 1 1

6. SpaceNLI SpaceNLI Public

   Natural Language Inference problems specialized for spatial semantics & reasoning

   Python 1