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

Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng. Development of a supporting tool for translation between declarative sentences and logical formulas. In International Conference on Machine Learning and Cybernetics, ICMLC 2013, Tianjin, China, July 14-17, 2013. pages 1179-1184, IEEE, 2013. [doi]

Authors

Shunsuke Nanaumi

This author has not been identified. Look up 'Shunsuke Nanaumi' in Google

Kazunori Wagatsuma

This author has not been identified. Look up 'Kazunori Wagatsuma' in Google

Yuichi Goto

This author has not been identified. Look up 'Yuichi Goto' in Google

Jingde Cheng

This author has not been identified. Look up 'Jingde Cheng' in Google