Development of a supporting tool for translation between declarative sentences and logical formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng

Browse the full ICMLC paper archive.