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

Stergios Chatzikyriakidis, Zhaohui Luo


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
Venues:
TTNLS | WS
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, 2014)
Copy Citation:
PDF:
https://aclanthology.org/W14-1405.pdf