{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:50:23Z","timestamp":1743137423015,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":29,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819746767"},{"type":"electronic","value":"9789819746774"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-97-4677-4_13","type":"book-chapter","created":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T05:02:30Z","timestamp":1720501350000},"page":"149-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Method for Integrating of Knowledge Model and Functional Component and Application in Intelligent Problem Solver"],"prefix":"10.1007","author":[{"given":"Nha P.","family":"Tran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hien D.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diem","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dung A.","family":"Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anh T.","family":"Huynh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tu T.","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"13_CR1","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence - A Modern Approach, 4th edn. Prentice Hall by Pearson Education, Inc. (2020)"},{"key":"13_CR2","unstructured":"Kandel, A., Langholz, G.: Hybrid Architectures for Intelligent Systems. CRC press (2020)"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09478-3","volume":"35","author":"R Calegari","year":"2021","unstructured":"Calegari, R., Ciatto, G., Mascardi, V., Omicini, A.: Logic-based technologies for multi-agent systems: a systematic literature review. Auton. Agent. Multi-Agent Syst. 35(1), 1 (2021)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Nguyen, H.D., Sakama, C., Sato, T., Inoue, K.: Computing logic programming semantics in linear algebra. In:\u00a0Proceedings of 12th International Conference Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), pp. 32\u201348, Hanoi, Vietnam, Nov. 2018. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03014-8_3","DOI":"10.1007\/978-3-030-03014-8_3"},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-286-9","volume-title":"Graph based Knowledge Representation: Computational Foundations of Conceptual Graphs","author":"M Chein","year":"2009","unstructured":"Chein, M., Mugnier, M.L.: Graph based Knowledge Representation: Computational Foundations of Conceptual Graphs. Springer Verlag Publ, London (2009). https:\/\/doi.org\/10.1007\/978-1-84800-286-9"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D., Truong, D., Vu, S., et al.: Knowledge management for information querying system in education via the combination of rela-ops model and knowledge graph. J. Cases Inform. Technol. (JCIT) 25(1), 26 (2023)","DOI":"10.4018\/JCIT.324113"},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1002\/int.22314","volume":"36","author":"C Sardianos","year":"2021","unstructured":"Sardianos, C., Varlamis, I., Chronis, C., et al.: The emergence of explainability of intelligent systems: delivering explainable and personalized recommendations for energy efficiency. Int. J. Intell. Syst. 36(2), 656\u2013680 (2021)","journal-title":"Int. J. Intell. Syst."},{"issue":"7","key":"13_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.30880\/ijie.2020.12.07.024","volume":"12","author":"HD Nguyen","year":"2020","unstructured":"Nguyen, H.D., Tran, D.A., Do, H.P., Pham, V.T.: Design an intelligent system to automatically tutor the method for solving problems. Int. J. Integr. Eng. 12(7), 211\u2013223 (2020)","journal-title":"Int. J. Integr. Eng."},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Oba, A., Paik, I., Kuwana, A.: Automatic classification for ontology generation by pretrained language model. In: Proceedings of 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA\/AIE 2021), pp. 210\u2013221, Kuala Lumpur, Malaysia, July 2021. Springer International Publishing (2021). https:\/\/doi.org\/10.1007\/978-3-030-79457-6_18","DOI":"10.1007\/978-3-030-79457-6_18"},{"key":"13_CR10","doi-asserted-by":"publisher","unstructured":"Dang, D., et al.: Information retrieval from legal documents with ontology and graph embeddings approach. In:\u00a0Proceedings of 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA\/AIE 2023), pp. 300\u2013312, Shanghai, China, July 2023. Springer Nature Switzerland (2023). https:\/\/doi.org\/10.1007\/978-3-031-36819-6_27","DOI":"10.1007\/978-3-031-36819-6_27"},{"issue":"08","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1142\/S0218194018500304","volume":"28","author":"NV Do","year":"2018","unstructured":"Do, N.V., Nguyen, H.D., Selamat, A.: Knowledge-based model of expert systems using rela-model. Int. J. Softw. Eng. Knowl. Eng. 28(08), 1047\u20131090 (2018)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"10","key":"13_CR12","doi-asserted-by":"publisher","first-page":"22593","DOI":"10.3934\/math.20231151","volume":"8","author":"Z Kov\u00e1cs","year":"2023","unstructured":"Kov\u00e1cs, Z., Recio, T., Ueno, C., Vajda, R.: The \u201cnever-proved\u201d triangle inequality: a GeoGebra & CAS approach. AIMS Math. 8(10), 22593\u201322642 (2023)","journal-title":"AIMS Math."},{"key":"13_CR13","unstructured":"Symbolab. https:\/\/www.symbolab.com\/. Accessed 05 Jan 2024"},{"issue":"2","key":"13_CR14","first-page":"12","volume":"4","author":"H Nguyen","year":"2023","unstructured":"Nguyen, H.: Intelligent system in education: requirements and design method. J. Electron. Volt. Appl. (JEVA) 4(2), 12\u201319 (2023)","journal-title":"J. Electron. Volt. Appl. (JEVA)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Hatzilygeroudis, I., Prentzas, J.: Knowledge representation in intelligent educational systems. In: Web-Based Intelligent E-Learning Systems: Technologies and Applications. IGI publisher (2006)","DOI":"10.4018\/978-1-59140-729-4.ch009"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D., et al.: Criteria of a knowledge model for an intelligent problems solver in education. In: Proceedings of 10th International Conference on Knowledge and Systems Engineering (KSE 2018),\u00a0pp. 288\u2013293, Danang, Vietnam. IEEE (2018)","DOI":"10.1109\/KSE.2018.8573434"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Sakama, C., Nguyen, H.D., Sato, T., Inoue, K.: Partial evaluation of logic programs in vector spaces.\u00a0In: Proceedings of 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP\u201918@FLoC), Oxford, UK (2018)","DOI":"10.29007\/9d61"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J Jiang","year":"2012","unstructured":"Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complexity 25, 802\u2013820 (2012)","journal-title":"J. Syst. Sci. Complexity"},{"issue":"07","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1940005","DOI":"10.1142\/S0218001419400056","volume":"33","author":"X Yu","year":"2019","unstructured":"Yu, X., Wang, M., Gan, W., He, B., Ye, N.: A framework for solving explicit arithmetic word problems and proving plane geometry theorems. Int. J. Pattern Recognit Artif Intell. 33(07), 1940005 (2019)","journal-title":"Int. J. Pattern Recognit Artif Intell."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D., Do, N.V., Pham, V.T.: A methodology for designing knowledge based systems and applications. In: Applications of Computational Intelligence in Multi-Disciplinary Research, pp. 159\u2013185. Elsevier (2022)","DOI":"10.1016\/B978-0-12-823978-0.00001-0"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Nguyen, H.D., Hoang, H., Nguyen, T., et al.: A design method for an intelligent tutoring system with algorithms visualization. In:\u00a0Proceedings of 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA\/AIE 2023), pp. 223\u2013234, Shanghai, China, July 2023. Springer Nature Switzerland (2023). https:\/\/doi.org\/10.1007\/978-3-031-36819-6_19","DOI":"10.1007\/978-3-031-36819-6_19"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"76991","DOI":"10.1109\/ACCESS.2020.2988929","volume":"8","author":"HD Nguyen","year":"2020","unstructured":"Nguyen, H.D., et al.: A method for knowledge representation to design intelligent problems solver in mathematics based on rela-ops model. IEEE Access 8, 76991\u201377012 (2020)","journal-title":"IEEE Access"},{"issue":"4","key":"13_CR23","first-page":"1108","volume":"28","author":"M Phan","year":"2020","unstructured":"Phan, M., Nguyen, H., Le, T., et al.: Design an intelligent problem solver in geometry based on knowledge model of relations. Eng. Lett. 28(4), 1108\u20131117 (2020)","journal-title":"Eng. Lett."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Le, T.T., et al.: Knowledge representation for designing an intelligent tutoring system in learning of courses about algorithms. In: Proceedings of\u00a025th Asia-Pacific Conference on Communications (APCC 2019),\u00a0pp. 310\u2013315, Ho Chi Minh city, Vietnam. IEEE (2019)","DOI":"10.1109\/APCC47188.2019.9026411"},{"key":"13_CR25","volume-title":"Maple Programming Guide","author":"L Bernardin","year":"2023","unstructured":"Bernardin, L., Chin, P., DeMarco, P., et al.: Maple Programming Guide. Waterloo Maple Inc., CA (2023)"},{"key":"13_CR26","unstructured":"Tran, N.D., et al.: Textbook and Workbook 10th-Grade Mathematics, vol. 2. Vietnam Education Publisher (2023). (Vietnamese)"},{"issue":"17","key":"13_CR27","doi-asserted-by":"publisher","first-page":"13083","DOI":"10.3390\/su151713083","volume":"15","author":"Y Liu","year":"2023","unstructured":"Liu, Y., Wang, W., Wang, W., et al.: Purpose-driven evaluation of operation and maintenance efficiency and safety based on DIKWP. Sustainability 15(17), 13083 (2023)","journal-title":"Sustainability"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Duan, Y., et al.: Ultimate of digital economy: from asymmetric data economy to symmetric knowledge and wisdom economy. In:\u00a0Proceedings of 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET 2023), pp. 85\u201396, Naples, Italy, Sep. 2023. IOS Press (2023)","DOI":"10.3233\/FAIA230226"},{"key":"13_CR29","unstructured":"Flanders, H., Price, J.J.: Calculus with Analytic Geometry. Academic Press (2014)"}],"container-title":["Lecture Notes in Computer Science","Advances and Trends in Artificial Intelligence. Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-4677-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T05:04:15Z","timestamp":1720501455000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-4677-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819746767","9789819746774"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-4677-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IEA\/AIE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hradec Kralove","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ieaaie2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ieaaie2024.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}