数据集:

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}
}