{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:02Z","timestamp":1750221122665,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T00:00:00Z","timestamp":1550534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,2,19]]},"DOI":"10.1145\/3316615.3316688","type":"proceedings-article","created":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:17:59Z","timestamp":1557749879000},"page":"380-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Applying Formal Logic Validation to Enhance Natural Language Understanding"],"prefix":"10.1145","author":[{"given":"Worawan","family":"Marurngsith","sequence":"first","affiliation":[{"name":"Department of Computer Science, Thammasat University, Khlong Luang, Pathum Thani"}]},{"given":"Pakorn","family":"Weawsawangwong","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Thammasat University, Khlong Luang, Pathum Thani"}]}],"member":"320","published-online":{"date-parts":[[2019,2,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"R. Kulkarni H. Kulkarni K. Balar and P. Krishna \"Cognitive natural language search using calibrated quantum mesh \" in Advances in Intelligent Systems and Computing vol. 880 ed 2019.  R. Kulkarni H. Kulkarni K. Balar and P. Krishna \"Cognitive natural language search using calibrated quantum mesh \" in Advances in Intelligent Systems and Computing vol. 880 ed 2019.","DOI":"10.1109\/ICCI-CC.2018.8482018"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106426.3109448"},{"key":"e_1_3_2_1_3_1","unstructured":"IBM. (2018). IBM Watson Knowledge Studio. Available: https:\/\/console.bluemix.net\/docs\/services\/knowledge-studio\/  IBM. (2018). IBM Watson Knowledge Studio. Available: https:\/\/console.bluemix.net\/docs\/services\/knowledge-studio\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2018.08.004"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800186.810578"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2007.07.008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1735921.1735928"},{"key":"e_1_3_2_1_8_1","first-page":"3","article-title":"Automated Reasoning in the Age of the Internet","author":"Bundy A.","year":"2018","journal-title":"Cham"},{"key":"e_1_3_2_1_9_1","unstructured":"Amazon Web Services. (2018). Amazon Comprehend. Available: https:\/\/aws.amazon.com\/comprehend\/  Amazon Web Services. (2018). Amazon Comprehend. Available: https:\/\/aws.amazon.com\/comprehend\/"},{"key":"e_1_3_2_1_10_1","unstructured":"Microsoft. (2019). Microsoft Cognitive Services: Languange Understanding (LUIS). Available: https:\/\/www.luis.ai\/home  Microsoft. (2019). Microsoft Cognitive Services: Languange Understanding (LUIS). Available: https:\/\/www.luis.ai\/home"},{"key":"e_1_3_2_1_11_1","unstructured":"Kaggle Inc. (2019). Google Natural Language Understanding Research. Available: https:\/\/www.kaggle.com\/google-nlu  Kaggle Inc. (2019). Google Natural Language Understanding Research. Available: https:\/\/www.kaggle.com\/google-nlu"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"C. Manning M. Surdeanu J. Bauer J. Finkel S. Bethard and D. McClosky \"The Stanford CoreNLP natural language processing toolkit \" in Proceedings of 52nd annual meeting of the association for computational linguistics 2014 pp. 55--60.  C. Manning M. Surdeanu J. Bauer J. Finkel S. Bethard and D. McClosky \"The Stanford CoreNLP natural language processing toolkit \" in Proceedings of 52nd annual meeting of the association for computational linguistics 2014 pp. 55--60.","DOI":"10.3115\/v1\/P14-5010"},{"key":"e_1_3_2_1_13_1","unstructured":"IBM Watson. (2018 5 Jan 2019). Natural Language Understanding. Available: https:\/\/www.ibm.com\/watson\/services\/natural-language-understanding\/  IBM Watson. (2018 5 Jan 2019). Natural Language Understanding. Available: https:\/\/www.ibm.com\/watson\/services\/natural-language-understanding\/"},{"key":"e_1_3_2_1_14_1","unstructured":"F. Fan V. Nguyen and J. Xie \"Theorem Proving with Natural Language Inference \" 2017.  F. Fan V. Nguyen and J. Xie \"Theorem Proving with Natural Language Inference \" 2017."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu068"}],"event":{"name":"ICSCA '19: 2019 8th International Conference on Software and Computer Applications","sponsor":["University of New Brunswick University of New Brunswick"],"location":"Penang Malaysia","acronym":"ICSCA '19"},"container-title":["Proceedings of the 2019 8th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316615.3316688","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316615.3316688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:12Z","timestamp":1750208532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316615.3316688"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,19]]},"references-count":16,"alternative-id":["10.1145\/3316615.3316688","10.1145\/3316615"],"URL":"https:\/\/doi.org\/10.1145\/3316615.3316688","relation":{},"subject":[],"published":{"date-parts":[[2019,2,19]]},"assertion":[{"value":"2019-02-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}