{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T06:42:48Z","timestamp":1764225768514,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,10]]},"DOI":"10.1109\/kse53942.2021.9648716","type":"proceedings-article","created":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T21:30:42Z","timestamp":1640727042000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model"],"prefix":"10.1109","author":[{"given":"Hien D.","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Information Technology,Ho Chi Minh City,Vietnam"}]},{"given":"Linh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"University of Transport and Communications, Campus,Ho Chi Minh City,Vietnam"}]},{"given":"Nha P.","family":"Tran","sequence":"additional","affiliation":[{"name":"University of Transport and Communications, Campus,Ho Chi Minh City,Vietnam"}]},{"given":"Van-Thanh","family":"Nguyen-Le","sequence":"additional","affiliation":[{"name":"HCMC University of Technology and Education,Ho Chi Minh City,Vietnam"}]},{"given":"Sang","family":"Vu","sequence":"additional","affiliation":[{"name":"Vietnam National University,Ho Chi Minh City,Vietnam"}]}],"member":"263","reference":[{"journal-title":"DamsanX - Digital Education Platform","year":"0","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/NICS.2018.8606877"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2010.08.005"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab010"},{"key":"ref31","first-page":"81","article-title":"A New Algorithm for Computing Least Generalization of a Set of Atoms","author":"nguyen","year":"2019","journal-title":"Proceedings of 29th International Conference on Inductive Logic Programming (ILP 2019)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.30880\/ijie.2020.12.07.024"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1038\/s41562-018-0509-y"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04170-9_3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1163\/9789004429499_002"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.18494\/SAM.2021.3264"},{"key":"ref10","article-title":"Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation","author":"noy","year":"0","journal-title":"NSF Workshop Report"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80421-3_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-015-9335-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79457-6_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-6730-0_59-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79463-7_11"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17530-0_8"},{"key":"ref18","first-page":"925","article-title":"Intelligent Educational Software in Discrete Mathematics and Graph Theory","volume":"303","author":"do","year":"2018","journal-title":"Proceedings of 17th International Conference on Intelligent Software Methodologies Tools and Techniques (SOMET 2018)"},{"key":"ref19","first-page":"1108","article-title":"Design an Intelligent Problem Solver in Geometry based on Knowledge Model of Relations","volume":"28","author":"phan","year":"2020","journal-title":"Engineering Letters"},{"key":"ref28","first-page":"13","article-title":"Intelligent Tutoring Systems: A short history and New Challenges","author":"rossi","year":"2012","journal-title":"Intelligent Tutoring Systems An Overview"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3469213.3469215"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1504\/IJDET.2018.092632"},{"journal-title":"Chapter 4 - AI education AI Index Report 2021","year":"2021","author":"clark","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-7998-4763-2.ch015"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSIDEMPC49020.2020.9299583"},{"journal-title":"Intelligent Problem Solvers in Education Design Method and Applications Intelligent Systems","year":"2012","author":"do","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/9834218"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-729-4.ch009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/2042753020931774"},{"journal-title":"Discrete Mathematics and Its Applications","year":"2012","author":"rosen","key":"ref9"},{"journal-title":"The Fourth Industrial Revolution","year":"2016","author":"schwab","key":"ref1"},{"key":"ref20","first-page":"21","article-title":"Intelligent Problems Solver in Education for Discrete Mathematics","volume":"297","author":"nguyen","year":"2017","journal-title":"Proceedings of 16th International Conference on Intelligent Software Methodologies Tools and Techniques (SOMET 2017)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10774-5_3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IC3e.2016.8009052"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3310986.3311012"},{"journal-title":"Discrete Mathematics An Open Introduction (3rd)","year":"2019","author":"levin","key":"ref23"},{"journal-title":"Problems on Discrete Mathematics","year":"2012","author":"klostermeyer","key":"ref26"},{"journal-title":"Problems on Discrete Mathematics","year":"2011","author":"li","key":"ref25"}],"event":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","start":{"date-parts":[[2021,11,10]]},"location":"Bangkok, Thailand","end":{"date-parts":[[2021,11,12]]}},"container-title":["2021 13th International Conference on Knowledge and Systems Engineering (KSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9648573\/9648578\/09648716.pdf?arnumber=9648716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:55:46Z","timestamp":1659484546000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9648716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/kse53942.2021.9648716","relation":{},"subject":[],"published":{"date-parts":[[2021,11,10]]}}}