{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T10:04:47Z","timestamp":1766311487241,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T00:00:00Z","timestamp":1691884800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T00:00:00Z","timestamp":1691884800000},"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":[[2023,8,13]]},"DOI":"10.1109\/fuzz52849.2023.10309807","type":"proceedings-article","created":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T18:51:41Z","timestamp":1699555901000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Annotated Logic with Rough Double Stone Algebraic Interpretation"],"prefix":"10.1109","author":[{"given":"Yotaro","family":"Nakayama","sequence":"first","affiliation":[{"name":"BIPROGY Inc.,Technology Research &#x0026; Innovation,Tokyo,Japan"}]},{"given":"Seiki","family":"Akama","sequence":"additional","affiliation":[{"name":"C-Republic Inc.,Kanagawa,Japan"}]},{"given":"Jair M.","family":"Abe","sequence":"additional","affiliation":[{"name":"Paulista University,Graduate Program in Prod. Engineering,Sao Paulo,Brazil"}]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[{"name":"Chitose Institute of Science &#x0026; Technology,Information Systems Engineering,Hokkaido,Japan"}]}],"member":"263","reference":[{"key":"ref1","article-title":"On the semantics of quantitative logic programs","author":"Subrahmanian","year":"1987","journal-title":"SLP"},{"key":"ref2","first-page":"789","article-title":"On some aspects of decidability of anno-tated systems","volume-title":"Proc. of the International Conference on Artificial Intelligence","author":"Abe","year":"2001"},{"key":"ref3","volume-title":"Introduction to Annotated Logics, ser. Intelligent Systems Reference Library","volume":"88","author":"Abe","year":"2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02821-7_13"},{"volume-title":"Reasoning with Rough Sets, Logical Approaches to Granularity-Based Framework","year":"2018","author":"Akama","key":"ref6"},{"issue":"1&2","key":"ref7","first-page":"115","article-title":"Deduction System for Decision Logic Based on Many-valued Logics","volume":"11","author":"Nakayama","year":"2018","journal-title":"International Journal on Advances in Intelligent Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SCISISIS50064.2020.9322701"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00334-9"},{"key":"ref10","first-page":"495","article-title":"The Stone algebra of rough sets","volume":"36","author":"Pomykala","year":"1988","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11548669_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-3444-5_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4064\/-28-1-117-124"}],"event":{"name":"2023 IEEE International Conference on Fuzzy Systems (FUZZ)","start":{"date-parts":[[2023,8,13]]},"location":"Incheon, Korea, Republic of","end":{"date-parts":[[2023,8,17]]}},"container-title":["2023 IEEE International Conference on Fuzzy Systems (FUZZ)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10309665\/10309668\/10309807.pdf?arnumber=10309807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T14:08:26Z","timestamp":1709388506000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10309807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,13]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fuzz52849.2023.10309807","relation":{},"subject":[],"published":{"date-parts":[[2023,8,13]]}}}