task_categories:text-classification task_ids:natural-language-inference language:en license:apache-2.0 region:us
---
license: apache-2.0
task_ids:
- natural-language-inference
task_categories:
- text-classification
language:
- en
---
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}
}
```