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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.