Skip to content

A Tableau Prover for Natural Logic and Language.

Lasha Abzianidze

VenueA*EMNLP
Year2015
ProceedingsEMNLP

Browse the full EMNLP paper archive.