{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:40:52Z","timestamp":1725892852888},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540362975"},{"type":"electronic","value":"9783540362999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11795131_12","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T15:48:02Z","timestamp":1159285682000},"page":"69-78","source":"Crossref","is-referenced-by-count":6,"title":["Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation"],"prefix":"10.1007","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis, pp. 1\u20135. Springer, Heidelberg (1999)"},{"key":"12_CR2","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"12_CR3","volume-title":"Facets of Systems Science","author":"G.J. Klir","year":"1992","unstructured":"Klir, G.J.: Facets of Systems Science. Plenum, New York (1992)"},{"key":"12_CR4","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"12_CR5","volume-title":"Semantic Information Processing","author":"M.R. Quillian","year":"1968","unstructured":"Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.) Semantic Information Processing, MIT Press, Cambridge (1968)"},{"key":"12_CR6","volume-title":"Problems of Life: An Evolution of Modern Biological and Scientific Thought","author":"L. Bertalanffy Von","year":"1952","unstructured":"Von Bertalanffy, L.: Problems of Life: An Evolution of Modern Biological and Scientific Thought. C.A. Watts, London (1952)"},{"key":"12_CR7","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 Speech. In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, August 2002, pp. 34\u201342. IEEE CS Press, Los Alamitos (2002)"},{"key":"12_CR8","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). The International Journal of Annals of Software Engineering\u00a014, 235\u2013274 (2002)","journal-title":"The International Journal of Annals of Software Engineering"},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","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 Neurophilosophy\u00a04(2), 151\u2013167 (2003)","journal-title":"Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/COGINF.2004.1327454","volume-title":"Proc. 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004)","author":"Y. Wang","year":"2004","unstructured":"Wang, Y.: On Autonomous Computing and Cognitive Processes. Keynote Speech. In: Proc. 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), Victoria, Canada, August 2004, pp. 3\u20134. IEEE CS Press, Los Alamitos (2004)"},{"key":"12_CR11","volume-title":"Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006)","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: On Abstract Systems and System Algebra. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, July 2006, IEEE CS Press, Los Alamitos (2006)"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TSMCC.2006.871138","volume":"36","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: On the Informatics Laws and Deductive Semantics of Software. IEEE Transactions on Systems, Man, and Cybernetics (C)\u00a036(2), 161\u2013171 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics (C)"},{"key":"12_CR13","series-title":"CRC Book Series in Software Engineering","volume-title":"Software Engineering Foundations: A Transdisciplinary and Rigorous Perspective","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: Software Engineering Foundations: A Transdisciplinary and Rigorous Perspective. CRC Book Series in Software Engineering, vol.\u00a02. CRC Press, USA (2006)"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/TSMCC.2006.871126","volume":"36","author":"Y. Wang","year":"2006","unstructured":"Wang, Y., Wang, Y., Patel, S., Patel, D.: A Layered Reference Model of the Brain (LRMB). IEEE Transactions on Systems, Man, and Cybernetics (C)\u00a036(2), 124\u2013133 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics (C)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Wang, Y.: The OAR Model for Knowledge Representation. In: Proc. the 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, Canada, May 2006, pp. 1692\u20131699 (2006)","DOI":"10.1109\/CCECE.2006.277686"},{"issue":"2","key":"12_CR16","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":"12_CR17","volume-title":"Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006)","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: On Concept Algebra and Knowledge Representation. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, July 2006, IEEE CS Press, Los Alamitos (2006)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Yao, Y.Y.: A Comparative Study of Formal Concept Analysis and Rough Set Theory in data Analysis. In: Proc. Rough Sets and Current Trends in Computing, pp. 59\u201368 (2004)","DOI":"10.1007\/978-3-540-25929-9_6"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/COGINF.2005.1532641","volume-title":"Proc. 4th IEEE International Conference on Cognitive Informatics (ICCI 2005)","author":"J. Zhao","year":"2005","unstructured":"Zhao, J., Wang, G.Y.: A Data-Driven Knowledge Acquisition Method Based System Uncertainty. In: Proc. 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), Irvin, CA., USA, August 2005, pp. 267\u2013275. IEEE CS Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795131_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:23:59Z","timestamp":1619508239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795131_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540362975","9783540362999"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11795131_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}