- 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
- Editors:
- Tobias Kuhn, Silvie Spreeuwenberg, Stijn Hoppenbrouwers, Norbert E. Fuchs
- Venue:
- CNL
- SIG:
- Publisher:
- Special Interest Group on Controlled Natural Language
- Note:
- Pages:
- Language:
- URL:
- https://aclanthology.org/2021.cnl-1.8
- DOI:
- 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)
- PDF:
- https://preview.aclanthology.org/proper-vol2-ingestion/2021.cnl-1.8.pdf