Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration.

Borislav Rizov

Browse the full LREC paper archive.