Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond

Anthology ID:: W14-1405
Volume:: Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
Month:: April
Year:: 2014
Address:: Gothenburg, Sweden
Editors:: Robin Cooper, Simon Dobnik, Shalom Lappin, Staffan Larsson
Venue:: TTNLS
SIG:
Publisher:: Association for Computational Linguistics
Note:
Pages:: 37–45
Language:
URL:: https://aclanthology.org/W14-1405
DOI:: 10.3115/v1/W14-1405
Bibkey:
Cite (ACL):: Stergios Chatzikyriakidis and Zhaohui Luo. 2014. Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pages 37–45, Gothenburg, Sweden. Association for Computational Linguistics.
Cite (Informal):: Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond (Chatzikyriakidis & Luo, TTNLS 2014)
Copy Citation:
PDF:: https://preview.aclanthology.org/ingest-bitext-workshop/W14-1405.pdf