Applying Formal Logic Validation to Enhance Natural Language Understanding. - Worawan Marurngsith; Pakorn Weawsawangwong (ICSCA, 2019)