LangPro

LangPro copied to clipboard

Incomplete documentation

1

I am trying to run the code on datasets other than SICK and FraCaS, however the documentation is scarce regarding to process of converting a dataset to the necessary format...

zeidspex

A long awaiting addition that should drastically decrease tableau size and proof runtime. A good starting example is SICK-train 200.

kovvalsky

API for individual and batch processing

1

Hi, I used esslli_langpro.py to go ahead and run LangPro on the SICK and FraCaS datasets. Very nice, and very useful tool! However, I was curious if there was an...

aindilis