Fibo Kowalsky (@kovvalsky)
github

kovvalsky

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    123
  • Global Rank 178,779 (Top 7 %)
  • Followers 17
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    Prolog
         50.0 %
    Python
         33.3 %
    Jupyter Notebook
         16.7 %

Top repositories

1

LangPro

Tableau-based Theorem Prover for Natural Logic and Language
Prolog
112
star
2

DRS2Graph

Python
6
star
3

prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro
Prolog
3
star
4

SpaceNLI

Natural Language Inference problems specialized for spatial semantics & reasoning
Python
1
star
5

GeoGram

An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE
Prolog
1
star
6

SemDL

Semantics and Deep Learning
Jupyter Notebook
1
star