Borislav Rizov. Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration. In Proceedings of the International Conference on Language Resources and Evaluation, LREC 2008, 26 May - 1 June 2008, Marrakech, Morocco. European Language Resources Association, 2008. [doi]
@inproceedings{Rizov08,
title = {Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration},
author = {Borislav Rizov},
year = {2008},
url = {http://www.lrec-conf.org/proceedings/lrec2008/summaries/389.html},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Rizov08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the International Conference on Language Resources and Evaluation, LREC 2008, 26 May - 1 June 2008, Marrakech, Morocco},
publisher = {European Language Resources Association},
}