Publication

A Tableau Prover for Natural Logic and Language

Abzianidze, L., 17-Sep-2015, Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics (ACL), p. 2492–2502 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP)
PublisherAssociation for Computational Linguistics (ACL)
Pages2492–2502
Number of pages11
Publication statusPublished - 17-Sep-2015
Externally publishedYes

Download statistics

No data available

ID: 43762744