Popular repositories Loading

1. LangPro LangPro Public

   Tableau-based Theorem Prover for Natural Logic and Language

   Prolog 120 13

2. DRS2Graph DRS2Graph Public

   Python 6

3. prove_SICK_NL prove_SICK_NL Public

   Prove Ducth NLI problems of SICK-NL with LangPro

   Prolog 4 1

4. SpaceNLI SpaceNLI Public

   Natural Language Inference problems specialized for spatial semantics & reasoning

   Python 2

5. GeoGram GeoGram Public

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

   Prolog 1

6. SemDL SemDL Public

   Semantics and Deep Learning

   Jupyter Notebook 1 1