Development of a supporting tool for translation between declarative sentences and logical formulas | IEEE Conference Publication | IEEE Xplore