{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:17:32Z","timestamp":1725668252167},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284861"},{"type":"electronic","value":"9783642284878"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28487-8_15","type":"book-chapter","created":{"date-parts":[[2012,3,14]],"date-time":"2012-03-14T03:34:34Z","timestamp":1331696074000},"page":"146-155","source":"Crossref","is-referenced-by-count":0,"title":["A Functional Knowledge Model and Application"],"prefix":"10.1007","author":[{"given":"Nhon","family":"Do","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thu-Le","family":"Pham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Knowledge Representation - Logical, Philosophical, and Computational Foundations","author":"J.F. Sowa","year":"2000","unstructured":"Sowa, J.F.: Knowledge Representation - Logical, Philosophical, and Computational Foundations. Brooks\/Cole, California (2000)"},{"unstructured":"Tim Jones, M.: Aritificial Intelligence - A Systems Approach. Infinity Science Press LLC (2008)","key":"15_CR2"},{"unstructured":"Tyugu, E.: Algorithms and Architectures of Aritificial Intelligence. IOS Press (2007)","key":"15_CR3"},{"key":"15_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58107-3","volume-title":"Foundations of Knowledge representation and Reasoning","author":"G. Lakemeyer","year":"1994","unstructured":"Lakemeyer, G., Nebel, B.: Foundations of Knowledge representation and Reasoning. Springer, Heidelberg (1994)"},{"unstructured":"van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier (2008)","key":"15_CR5"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-54563-8_110","volume-title":"Methodologies for Intelligent Systems","author":"J. Calmet","year":"1991","unstructured":"Calmet, J., Tjandra, I.A.: Representation of Mathematical Knowledge. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1991. LNCS, vol.\u00a0542, pp. 469\u2013478. Springer, Heidelberg (1991)"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIS.2004.1265889","volume":"19","author":"C. Brewster","year":"2004","unstructured":"Brewster, C., O\u2019Hara, K.: Knowledge Representation with Ontologies: The Present and Future. IEEE Intelligent Systems\u00a019(1), 72\u201373 (2004)","journal-title":"IEEE Intelligent Systems"},{"unstructured":"Sabine, B., Gills, K., Gills, M.: An Ontological approach to the construction of problem-solving models, Laria Research Report: LRR 2005-03 (2005)","key":"15_CR8"},{"unstructured":"Van Nhon, D.: A system that supports studying knowledge and solving of analytic geometry problems. In: 16th World Computer Congress, Proceedings of Conference on Education Uses of Information and Communication Technologies, Beijing, China, pp. 236\u2013239 (2000)","key":"15_CR9"},{"unstructured":"Do, N.: An Ontology for Knowledge Representation and Applications. Proceeding of World Academy of Science, Engineering and Technology\u00a032 (2008)","key":"15_CR10"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1016\/j.mcm.2006.04.002","volume":"44","author":"H. Fu","year":"2006","unstructured":"Fu, H., Zhong, X., Zeng, Z.: Automated and readable simplification of trigonometric expressions. Mathematical and Computer Modeling\u00a044, 1169\u20131177 (2006)","journal-title":"Mathematical and Computer Modeling"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28487-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:16:49Z","timestamp":1556457409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28487-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284861","9783642284878"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28487-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}