{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:59:41Z","timestamp":1729637981818,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,11]]},"DOI":"10.1109\/fuzz45933.2021.9494454","type":"proceedings-article","created":{"date-parts":[[2021,8,5]],"date-time":"2021-08-05T20:38:44Z","timestamp":1628195924000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems"],"prefix":"10.1109","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1080\/00927872.2020.1721520"},{"key":"ref38","article-title":"First-Order Typed Fuzzy Logics and their Categorical Semantics","author":"maruyama","year":"0","journal-title":"Proceedings of FUZZ-IEEE"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.171.10"},{"key":"ref32","first-page":"500","article-title":"Categorical Duality Theory","volume":"23","author":"maruyama","year":"2013","journal-title":"LIPIcs"},{"key":"ref31","first-page":"211","article-title":"Full Lambek Hyperdoctrine","author":"maruyama","year":"2013","journal-title":"Springer LNCS 8071"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40206-7_17"},{"key":"ref37","first-page":"187","volume":"12062","author":"maruyama","year":"2020","journal-title":"Higher-Order Categorical Substructural Logic"},{"journal-title":"Meaning and Duality From Categorical Logic to Quantum Physics","year":"2017","author":"maruyama","key":"ref36"},{"key":"ref35","first-page":"3483","article-title":"Prior's Tonk","volume":"193","author":"maruyama","year":"2016","journal-title":"Notions of Logic and Levels of Inconsistency"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22686-6_6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023869"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01053032"},{"journal-title":"Epistemic Logic for AI and Computer Science","year":"2004","author":"meyer","key":"ref40"},{"key":"ref12","first-page":"127","article-title":"A fuzzy modal logic for belief functions","volume":"57","author":"godo","year":"2003","journal-title":"Fundamenta Informaticae"},{"journal-title":"A Treatise on Many-Valued Logics","year":"2001","author":"gottwald","key":"ref13"},{"key":"ref14","first-page":"81","article-title":"Algebraic analysis of Lukasiewicz-Tarski n-valued logical systems","author":"grigolia","year":"1977","journal-title":"Selected Papers on Lukasiewicz Sentential Calculi Ossolineum Wroclaw"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"h\u00e1jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79161"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782633"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2015.02.018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-387"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.05.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp062"},{"key":"ref5","first-page":"774","article-title":"Finite-valued Lukasiewicz modal logic is PSPACE-complete","author":"bou","year":"0","journal-title":"Proceedings of IJCAI"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2011.07.002"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1145\/128749.150945","article-title":"What Can Machines Know? On the Properties of Knowledge in Distributed Systems","volume":"39","author":"fagin","year":"0","journal-title":"Journal of the ACM"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/174652.174658"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-005-4052-0"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv085"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9396-9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/263"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2586493"},{"journal-title":"Knowledge and belief an introduction to the logic of the two notions","year":"1962","author":"hintikka","key":"ref21"},{"key":"ref42","first-page":"219","article-title":"Deciding knowledge properties of security protocols","author":"ramanujam","year":"0","journal-title":"Proceedings of TARK"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.1.33"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080179"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370838"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0243-3"},{"key":"ref26","first-page":"1008","article-title":"Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs","author":"maruyama","year":"0","journal-title":"Proceedings of IJCAI"},{"journal-title":"Multiagent Systems Algorithmic Game-Theoretic and Logical Foundations","year":"2009","author":"shoham","key":"ref43"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-4631-6_8"}],"event":{"name":"2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2021,7,11]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2021,7,14]]}},"container-title":["2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9494373\/9494343\/09494454.pdf?arnumber=9494454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:30:21Z","timestamp":1725575421000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9494454\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/fuzz45933.2021.9494454","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]}}}