sileod/attempto-nli

Natural language inference using attempto controlled english Paper to come @inproceedings{fuchs2012first, title={First-order reasoning for attempto controlled english}, author={Fuchs, Norbert E}, booktitle={Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers 2}, pages={73--94}, year={2012}, organization={Springer} }

<iframe src="https://silytics.si/embed/item/6b27fd24-db0f-40ee-ab74-d380f81651cb" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.