{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:33Z","timestamp":1750308633329,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T00:00:00Z","timestamp":1548374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"This research is funded by University of Information Technology ? Vietnam National University HoChiMinh city","award":["D1-2018-03"],"award-info":[{"award-number":["D1-2018-03"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,1,25]]},"DOI":"10.1145\/3310986.3311012","type":"proceedings-article","created":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T12:12:51Z","timestamp":1556626371000},"page":"148-153","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A method for Representation the Knowledge of Functions and Operators and Application"],"prefix":"10.1145","author":[{"given":"Hien D.","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Information Technology, VNU-HCM, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Son T.","family":"Luu","sequence":"additional","affiliation":[{"name":"University of Information Technology, VNU-HCM, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nhon V.","family":"Do","sequence":"additional","affiliation":[{"name":"Hoa Sen University, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,1,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"et. al","author":"Calvin LeGassick","year":"2017","unstructured":"Calvin LeGassick , et. al , 2017 . Artificial Intelligence Index - 2017 Annual report, Stanford University ( 2017). Calvin LeGassick, et. al, 2017. Artificial Intelligence Index - 2017 Annual report, Stanford University (2017)."},{"key":"e_1_3_2_1_2_1","volume-title":"Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, National Science Foundation Workshop Report","author":"Noy N.","year":"2013","unstructured":"Noy , N. , McGuinness , D. ( Eds ). 2013 . Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, National Science Foundation Workshop Report , August 2013. Noy, N., McGuinness, D. (Eds). 2013. Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, National Science Foundation Workshop Report, August 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30139-4_9"},{"volume-title":"Handbook of Knowledge Representation","author":"Harmelem F.","key":"e_1_3_2_1_4_1","unstructured":"Harmelem , F. , Lifschitz , V. , Porter , B. 2008. Handbook of Knowledge Representation . Elsevier . Harmelem, F., Lifschitz, V., Porter, B. 2008. Handbook of Knowledge Representation. Elsevier."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECENG.2011.6056799"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCI-CC.2017.8109723"},{"key":"e_1_3_2_1_7_1","unstructured":"Do N. 2012. Chapter 6 - Intelligent Problem Solvers in Education: Design Method and Applications. In Intelligent Systems Vladimir M. Koleshko Ed. InTech.  Do N. 2012. Chapter 6 - Intelligent Problem Solvers in Education: Design Method and Applications. In Intelligent Systems Vladimir M. Koleshko Ed. InTech."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17530-0_8"},{"key":"e_1_3_2_1_9_1","volume-title":"Artificial Intelligent -- A modern approach","author":"Russell S.","unstructured":"Russell , S. , Norvig , P. 2010. Artificial Intelligent -- A modern approach ( 3 rd ed.). Prentice Hall . Russell, S., Norvig, P. 2010. Artificial Intelligent -- A modern approach (3rd ed.). Prentice Hall.","edition":"3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00155578"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36546-1_48"},{"key":"e_1_3_2_1_12_1","first-page":"156","article-title":"Reasoning Method on Knowledge about Functions and Operators","volume":"6","author":"Do N.","year":"2015","unstructured":"Do , N. , Nguyen , H. , Mai , T. 2015 . Reasoning Method on Knowledge about Functions and Operators . International Journal of Advanced Computer Science and Applications , 6 , 6, 156 -- 168 . Do, N., Nguyen, H., Mai, T. 2015. Reasoning Method on Knowledge about Functions and Operators. International Journal of Advanced Computer Science and Applications, 6, 6, 156--168.","journal-title":"International Journal of Advanced Computer Science and Applications"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJDET.2018.092632"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2018.8573434"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Brachman R. Levesque H. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.   Brachman R. Levesque H. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"e_1_3_2_1_16_1","first-page":"825","article-title":"Rela-Ops model: A method for Knowledge Representation and Application. Proceeding of 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques (Granada, Spain, Sept. 2018). SOMET 2018","volume":"303","author":"Nguyen H","year":"2018","unstructured":"Nguyen , H , Do , N. , Pham , V. 2018 . Rela-Ops model: A method for Knowledge Representation and Application. Proceeding of 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques (Granada, Spain, Sept. 2018). SOMET 2018 . Frontiers in Artificial Intelligence and Applications , 303 , 825 -- 838 . Nguyen, H, Do, N., Pham, V. 2018. Rela-Ops model: A method for Knowledge Representation and Application. Proceeding of 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques (Granada, Spain, Sept. 2018). SOMET 2018. Frontiers in Artificial Intelligence and Applications, 303, 825--838.","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"e_1_3_2_1_17_1","volume-title":"Linear Algebra","author":"Lang S.","unstructured":"Lang , S. 2004. Linear Algebra ( 3 rd ed.). Undergraduate Texts in Mathematics. Springer . Lang, S. 2004. Linear Algebra (3rd ed.). Undergraduate Texts in Mathematics. Springer.","edition":"3"},{"key":"e_1_3_2_1_18_1","volume-title":"Elementary Linear Algebra","author":"Anton H.","unstructured":"Anton , H. , Rorres , C. 2010. Elementary Linear Algebra ( 10 th ed.), John Wiley & Sons . Anton, H., Rorres, C. 2010. Elementary Linear Algebra (10th ed.), John Wiley & Sons.","edition":"10"},{"key":"e_1_3_2_1_19_1","first-page":"530","article-title":"Linear Algebraic Characterization of Logic Programs, Proceeding of 10th International conference on Knowledge Science, Engineering and Management (Melbourne, Australia, 2017). KSEM 2017. Springer","volume":"10412","author":"Sakama C.","year":"2017","unstructured":"Sakama , C. , Inoue , K. , Sato , T. 2017 . Linear Algebraic Characterization of Logic Programs, Proceeding of 10th International conference on Knowledge Science, Engineering and Management (Melbourne, Australia, 2017). KSEM 2017. Springer , LNAI , 10412 , 530 -- 533 . Sakama, C., Inoue, K., Sato, T. 2017. Linear Algebraic Characterization of Logic Programs, Proceeding of 10th International conference on Knowledge Science, Engineering and Management (Melbourne, Australia, 2017). KSEM 2017. Springer, LNAI, 10412, 530--533.","journal-title":"LNAI"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"25 years development of knowledge graph theory: the results and the challenge","volume":"1876","author":"Nurdiati S.","year":"2008","unstructured":"Nurdiati , S. , Hoede , C. 2008 . 25 years development of knowledge graph theory: the results and the challenge . Memorandom , 1876 , 1 -- 10 . Nurdiati, S., Hoede, C. 2008. 25 years development of knowledge graph theory: the results and the challenge. Memorandom, 1876, 1--10.","journal-title":"Memorandom"},{"key":"e_1_3_2_1_21_1","volume-title":"Second Joint Conference on Lexical and Computational Semantics","author":"Grefenstette E.","year":"2013","unstructured":"Grefenstette , E. 2013 . Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors , Second Joint Conference on Lexical and Computational Semantics ( Atlanta, Georgia , June 2013), 1--10. Grefenstette, E. 2013. Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors, Second Joint Conference on Lexical and Computational Semantics (Atlanta, Georgia, June 2013), 1--10."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03014-8_3"},{"key":"e_1_3_2_1_23_1","unstructured":"Symbolab: https:\/\/www.symbolab.com\/solver  Symbolab: https:\/\/www.symbolab.com\/solver"},{"key":"e_1_3_2_1_24_1","unstructured":"Mathway: https:\/\/www.mathway.com\/  Mathway: https:\/\/www.mathway.com\/"}],"event":{"name":"ICMLSC 2019: 2019 the 3rd International Conference on Machine Learning and Soft Computing","acronym":"ICMLSC 2019","location":"Da Lat Viet Nam"},"container-title":["Proceedings of the 3rd International Conference on Machine Learning and Soft Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3310986.3311012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3310986.3311012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:01Z","timestamp":1750273681000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3310986.3311012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,25]]},"references-count":24,"alternative-id":["10.1145\/3310986.3311012","10.1145\/3310986"],"URL":"https:\/\/doi.org\/10.1145\/3310986.3311012","relation":{},"subject":[],"published":{"date-parts":[[2019,1,25]]},"assertion":[{"value":"2019-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}