Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Tableau-based Theorem Prover for Natural Logic and Language
Prolog 122 13
Python 6
Prove Ducth NLI problems of SICK-NL with LangPro
Prolog 4 1
Natural Language Inference problems specialized for spatial semantics & reasoning
Python 2
An HPSG-based Formal Grammar of a Core Fragment of Georgian Implemented in TRALE
Prolog 1
Semantics and Deep Learning
Jupyter Notebook 1 1
There was an error while loading. Please reload this page.