{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:05:45Z","timestamp":1729634745056,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/coginf.2011.6016115","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T18:40:43Z","timestamp":1316544043000},"page":"4-6","source":"Crossref","is-referenced-by-count":3,"title":["On inference algebra: A formal means for machine reasoning and cognitive computing"],"prefix":"10.1109","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Logic A Foundation for Computer Science","year":"1991","author":"sperschneider","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4324\/9780203197035"},{"key":"ref12","first-page":"34","article-title":"Keynote: On Cognitive Informatics","author":"wang","year":"0","journal-title":"Proc 1st IEEE International Conference on Cognitive Informatics (ICCI'02)"},{"key":"ref13","first-page":"151","article-title":"On Cognitive Informatics, Brain and Mind","volume":"4","author":"wang","year":"2003","journal-title":"A Transdisciplinary Journal of Neuroscience and Neurophilosophy"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2007010101"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2007100106"},{"key":"ref16","first-page":"6","article-title":"On Contemporary Denotational Mathematics for Computational Intelligence","volume":"2","author":"wang","year":"2008","journal-title":"Transactions of Computational Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009010101"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009070101"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938842"},{"key":"ref28","first-page":"74","article-title":"Precisiated Natural Language (PNL)","volume":"25","author":"zadeh","year":"2004","journal-title":"AIMagazine"},{"journal-title":"A Concise Introduction to Logic","year":"1997","author":"hurley","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/81.739259"},{"journal-title":"The Laws of Thought","year":"1854","author":"boole","key":"ref3"},{"journal-title":"A System of Logic","year":"1874","author":"mill","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.02.012"},{"journal-title":"A History of Psychology Main Currents in Psychological Thought","year":"1997","author":"leahey","key":"ref5"},{"journal-title":"The Principles of Mathematics","year":"1903","author":"russel","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.5479\/sil.52126.39088015628399","volume":"1729","author":"newton","year":"1687","journal-title":"Mathematical Principles of Natural Philosophy"},{"journal-title":"Mathematical Methods in Artificial Intelligence","year":"0","author":"bender","key":"ref2"},{"journal-title":"Logic for Computer Scientists","year":"1989","author":"schoning","key":"ref9"},{"journal-title":"Prior Analytics","year":"1989","author":"aristotle","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/TSMCC.2006.871126","article-title":"A Layered Reference Model of the Brain (LRMB)","volume":"36","author":"wang","year":"0","journal-title":"IEEE Trans on Systems Man and Cybernetics (Part C)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009010101"},{"key":"ref21","first-page":"1","article-title":"Contemporary Cybernetics and its Faces of Cognitive Informatics and Computational Intelligence","volume":"39","author":"wang","year":"0","journal-title":"IEEE Trans on Syst Man and Cyber (Part B)"},{"journal-title":"The MIT Encyclopedia of the Cognitive Sciences","year":"2001","author":"wilson","key":"ref24"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-2009-0015","article-title":"A Doctrine of Cognitive Informatics","volume":"90","author":"wang","year":"0","journal-title":"Fundamenta Inform"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485052"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"}],"event":{"name":"Cognitive Computing (ICCI-CC)","start":{"date-parts":[[2011,8,18]]},"location":"Banff, AB, Canada","end":{"date-parts":[[2011,8,20]]}},"container-title":["IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6005105\/6016112\/06016115.pdf?arnumber=6016115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T10:52:42Z","timestamp":1592995962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6016115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/coginf.2011.6016115","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}