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]
Abstract is missing.