{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:43:07Z","timestamp":1725518587685},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875628"},{"type":"electronic","value":"9783540875635"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87563-5_1","type":"book-chapter","created":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T01:54:32Z","timestamp":1221443672000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Perspectives on Denotational Mathematics: New Means of Thought"],"prefix":"10.1007","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiyu","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoyin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Mathematical Methods in Artificial Intelligence","author":"E.A. Bender","year":"1996","unstructured":"Bender, E.A.: Mathematical Methods in Artificial Intelligence. IEEE CS Press, Los Alamitos (1996)"},{"key":"1_CR2","volume-title":"The Laws of Thought","author":"G. Boole","year":"2003","unstructured":"Boole, G.: The Laws of Thought, vol.\u00a01854. Prometheus Books, NY (2003)"},{"key":"1_CR3","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, London (1985)"},{"key":"1_CR4","first-page":"253","volume":"5-6","author":"Z. Pawlak","year":"1987","unstructured":"Pawlak, Z.: Rough Logic. Bulletin of the Polish Academy of Science, Technical Science\u00a05-6, 253\u2013258 (1987)","journal-title":"Bulletin of the Polish Academy of Science, Technical Science"},{"key":"1_CR5","first-page":"46","volume-title":"Proc. 18th IEEE Symposium on Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proc. 18th IEEE Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE, Los Alamitos (1977)"},{"key":"1_CR6","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1996","unstructured":"Russell, B.: The Principles of Mathematics, vol.\u00a01903. W.W. Norton & Co., NY (1996)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A.M. Turing","year":"1950","unstructured":"Turing, A.M.: Computing Machinery and Intelligence. Mind\u00a059, 433\u2013460 (1950)","journal-title":"Mind"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/MAHC.1981.10025","volume":"3","author":"J. Neumann von","year":"1946","unstructured":"von Neumann, J.: The Principles of Large-Scale Computing Machines. Annals of History of Computers\u00a03(3), 263\u2013273 (reprinted, 1946)","journal-title":"Annals of History of Computers"},{"key":"1_CR9","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Rough Sets and Knowledge Technology","year":"2006","unstructured":"Wang, G., Peters, J.F., Skowron, A., Yao, Y.Y. (eds.): RSKT 2006. LNCS (LNAI), vol.\u00a04062. Springer, Heidelberg (2006)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/COGINF.2002.1039280","volume-title":"Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002)","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: On Cognitive Informatics, Keynote. In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, pp. 34\u201342. IEEE CS Press, Los Alamitos (2002)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1020561826073","volume":"14","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: The Real-Time Process Algebra (RTPA). Annals of Software Engineering: An International Journal, USA\u00a014, 235\u2013274 (2002)","journal-title":"Annals of Software Engineering: An International Journal"},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1025401527570","volume":"4","author":"Y. Wang","year":"2003","unstructured":"Wang, Y.: On Cognitive Informatics. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilisophy, USA\u00a04(3), 151\u2013167 (2003)","journal-title":"Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilisophy, USA"},{"issue":"2","key":"1_CR13","first-page":"16","volume":"36","author":"Y. Wang","year":"2006","unstructured":"Wang, Y., Wang, Y.: On Cognitive Informatics Models of the Brain. IEEE Transactions on Systems, Man, and Cybernetics (C)\u00a036(2), 16\u201320 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics (C)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/COGINF.2006.365666","volume-title":"Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006)","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, pp. 3\u20137. IEEE CS Press, Los Alamitos (2006)"},{"key":"1_CR15","series-title":"CRC Series in Software Engineering","doi-asserted-by":"publisher","DOI":"10.1201\/9780203496091","volume-title":"Software Engineering Foundations: A Software Science Perspective","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: Software Engineering Foundations: A Software Science Perspective, USA. CRC Series in Software Engineering, vol.\u00a0II. Auerbach Publications, Boca Raton (2007)"},{"key":"1_CR16","unstructured":"Wang, Y.: Keynote: On Theoretical Foundations of Software Engineering and Denotational Mathematics. In: Proc. 5th Asian Workshop on Foundations of Software, Xiamen, China, pp. 99\u2013102 (2007)"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2007010101","volume":"1","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: The Theoretical Framework of Cognitive Informatics. International Journal of Cognitive Informatics and Natural Intelligence\u00a01(1), 1\u201327 (2007)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-87563-5_2","volume-title":"Transactions on Computational Science, II","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence. In: Gavrilova, M.L., et al. (eds.) Transactions on Computational Science, II. LNCS, vol.\u00a05150, pp. 6\u201329. Springer, Heidelberg (2008)"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2008040101","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 1\u201319 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"20","DOI":"10.4018\/jcini.2008040102","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract System modeling. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 20\u201342 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"44","DOI":"10.4018\/jcini.2008040103","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 44\u201362 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/COGINF.2008.4639146","volume-title":"Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI 2008)","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: Keynote: On Denotational Mathematics Foundations of Abstract Intelligence. In: Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI 2008), Stanford University, CA, USA, pp. 3\u20138. IEEE CS Press, Los Alamitos (2008)"},{"key":"1_CR23","volume-title":"Proc. 7th International Conference on Cognitive Informatics (ICCI 2008)","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Visual Semantic Algebra (VSA) and the Cognitive Process of Pattern Recognition. In: Proc. 7th International Conference on Cognitive Informatics (ICCI 2008), Stanford University, CA. IEEE CS Press, Los Alamitos (2008)"},{"key":"1_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-25929-9_6","volume-title":"Rough Sets and Current Trends in Computing","author":"Y.Y. Yao","year":"2004","unstructured":"Yao, Y.Y.: A Comparative Study of Formal Concept Analysis and Rough Set Theory in Data Analysis. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 59\u201368. Springer, Heidelberg (2004)"},{"key":"1_CR25","volume-title":"Cognitive Informatics: Proc. 5th IEEE International Conference (ICCI 2006)","author":"Y.Y. Yao","year":"2006","unstructured":"Yao, Y.Y., Shi, Z., Wang, Y., Kinsner, W.(eds.): Cognitive Informatics: In: Proc. 5th IEEE International Conference (ICCI 2006), Beijing, China, vol.\u00a0I and II. IEEE CS Press, Los Alamitos (2006)"},{"key":"1_CR26","first-page":"29","volume-title":"Systems Theory","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy Sets and Systems. In: Fox, J. (ed.) Systems Theory, pp. 29\u201337. Polytechnic Press, Brooklyn (1965)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87563-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T03:32:48Z","timestamp":1548387168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87563-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875628","9783540875635"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87563-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}