- 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
- 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)
- PDF:
- https://preview.aclanthology.org/naacl24-info/D15-1296.pdf
- Data
- SICK