{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:26:17Z","timestamp":1730280377815,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/kse.2018.8573434","type":"proceedings-article","created":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T01:06:45Z","timestamp":1544749605000},"page":"288-293","source":"Crossref","is-referenced-by-count":6,"title":["Criteria of a Knowledge model for an Intelligent Problems Solver in Education"],"prefix":"10.1109","author":[{"given":"Hien D.","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Nhon V.","family":"Do","sequence":"additional","affiliation":[]},{"given":"Nha P.","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Xuan Hau","family":"Pha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Formal Ontology Generation by deep machine learning 2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","year":"2017","author":"wang","key":"ref10"},{"key":"ref11","first-page":"520","article-title":"Linear Algebraic Characterization of Logic Programs","author":"sakama","year":"2017","journal-title":"Proceeding of 10th International conference on Knowledge Science Engineering and Management (KSEM 2017) LNAI 10412"},{"key":"ref12","first-page":"1047","volume":"28","author":"do","year":"2018","journal-title":"Knowledge-Based model of Expert Systems using Rela-model"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1504\/IJDET.2018.092632"},{"key":"ref14","first-page":"39","article-title":"Reducing model of COKB about Operators Knowledge and Solving problems about Operators","volume":"572","author":"nhon do","year":"2015","journal-title":"New Trends in Computational Collective Intelligence"},{"key":"ref15","first-page":"150","article-title":"Introductions to Description Logics - A Guided Tour","author":"turhan","year":"2013","journal-title":"Proceedings of 9th International Summer School on Reasoning Web Semantic Technologies for Intelligent Data Access LNCS 8067"},{"key":"ref16","first-page":"327332","author":"duan","year":"2017","journal-title":"Specifying architecture of knowledge graph with data graph information graph knowledge graph and wisdom graph"},{"key":"ref17","first-page":"6757","author":"wang","year":"2011","journal-title":"Research on the Model of Knowledge Representation Ontology Based on Framework in Intelligent Learning System"},{"key":"ref18","first-page":"295","volume":"869","author":"calmet","year":"1994","journal-title":"Building bridges between knowledge representation and algebraic specification"},{"key":"ref19","first-page":"369","volume":"64","author":"plotkin","year":"2012","journal-title":"Symmetries of Knowledge Bases"},{"key":"ref4","first-page":"21","article-title":"Intelligent Problems Solver in Education for Discrete Mathematics","volume":"297","author":"nguyen","year":"2017","journal-title":"Proceeding of 16th International Conference on Intelligent Software Methodologies Tools and Techniques (SOMET_17) Kitakyushu Japan Frontiers in Artificial Intelligence and Applications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.5772\/37115"},{"key":"ref6","first-page":"17","volume":"14","author":"davis","year":"1993","journal-title":"What is a Knowledge Representation?"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2016.7758045"},{"key":"ref8","first-page":"218","volume":"51","author":"abudahab","year":"2016","journal-title":"A new belief rule base knowledge representation scheme and inference methodology using evidential reasoning rule for evidence combination"},{"journal-title":"Knowledge Representation and Reasoning","year":"2004","author":"brachman","key":"ref7"},{"journal-title":"Artificial Intelligence Index – 2017 Annual report","year":"2017","author":"legassick","key":"ref2"},{"key":"ref1","article-title":"Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation","author":"noy","year":"2013","journal-title":"National Science Foundation Workshop"},{"key":"ref9","first-page":"87","article-title":"Knowledge Representation Requirements for Intelligent Tutoring Systems","author":"hatzilygeroudis","year":"2004","journal-title":"Proceeding of 7th International Conference on Intelligent Tutoring Systems (ITS 2004) LNCS 3220"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.29007\/9d61"},{"journal-title":"Textbook and Workbook of Physic at middle school (9th edition)","year":"2014","author":"quang","key":"ref22"},{"journal-title":"Textbook and Workbook of Geometry at High school (4th edition)","year":"2014","author":"van hao","key":"ref21"},{"key":"ref23","first-page":"331","volume":"41","author":"xie","year":"2015","journal-title":"Journal of STEM Education"}],"event":{"name":"2018 10th International Conference on Knowledge and Systems Engineering (KSE)","start":{"date-parts":[[2018,11,1]]},"location":"Ho Chi Minh City","end":{"date-parts":[[2018,11,3]]}},"container-title":["2018 10th International Conference on Knowledge and Systems Engineering (KSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8553666\/8573236\/08573434.pdf?arnumber=8573434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T12:29:31Z","timestamp":1643286571000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8573434\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/kse.2018.8573434","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}