Reasoning in Attempto Controlled English: Mathematical and Functional Extensions

Norbert E. Fuchs


Anthology ID:
2021.cnl-1.8
Volume:
Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21)
Month:
September
Year:
2021
Address:
Amsterdam, Netherlands
Venue:
CNL
SIG:
Publisher:
Special Interest Group on Controlled Natural Language
Note:
Pages:
Language:
URL:
https://aclanthology.org/2021.cnl-1.8
DOI:
Bibkey:
Cite (ACL):
Norbert E. Fuchs. 2021. Reasoning in Attempto Controlled English: Mathematical and Functional Extensions. In Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21), Amsterdam, Netherlands. Special Interest Group on Controlled Natural Language.
Cite (Informal):
Reasoning in Attempto Controlled English: Mathematical and Functional Extensions (Fuchs, CNL 2021)
Copy Citation:
PDF:
https://aclanthology.org/2021.cnl-1.8.pdf