A Tableau Prover for Natural Logic and Language

Lasha Abzianidze


Anthology ID:
D15-1296
Volume:
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
Month:
September
Year:
2015
Address:
Lisbon, Portugal
Editors:
Lluís Màrquez, Chris Callison-Burch, Jian Su
Venue:
EMNLP
SIG:
SIGDAT
Publisher:
Association for Computational Linguistics
Note:
Pages:
2492–2502
Language:
URL:
https://aclanthology.org/D15-1296
DOI:
10.18653/v1/D15-1296
Bibkey:
Cite (ACL):
Lasha Abzianidze. 2015. A Tableau Prover for Natural Logic and Language. In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pages 2492–2502, Lisbon, Portugal. Association for Computational Linguistics.
Cite (Informal):
A Tableau Prover for Natural Logic and Language (Abzianidze, EMNLP 2015)
Copy Citation:
PDF:
https://aclanthology.org/D15-1296.pdf
Data
SICK