{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:01:44Z","timestamp":1730275304566,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62176142"],"award-info":[{"award-number":["62176142"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,17]]},"DOI":"10.1109\/iske60036.2023.10481169","type":"proceedings-article","created":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T20:33:29Z","timestamp":1712608409000},"page":"444-449","source":"Crossref","is-referenced-by-count":0,"title":["$(\\alpha,\\beta)$ - Lock Resolution Method of Linguistic Truth- Valued Intuitionistic Fuzzy First-order Logic"],"prefix":"10.1109","author":[{"given":"Nan","family":"Li","sequence":"first","affiliation":[{"name":"School of Computing and Mathematics, Ulster University Northern,Ireland,UK"}]},{"given":"Yanling","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong Jianzhu University,Jinan,China"}]},{"given":"Yujie","family":"Cao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shandong Jianzhu University,Jinan,China"}]},{"given":"Martinez Carracedo","family":"Jorge","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, Ulster University Northern,Ireland,UK"}]},{"given":"Lixian","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, Ulster University Northern,Ireland,UK"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, Ulster University Northern,Ireland,UK"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s13042-021-01351-3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"ref3","first-page":"135","article-title":"\u03b1 -generalized resolution principle based on the lattice-valued first order logic system","author":"Xu","year":"2014","journal-title":"Journal of Xidian University"},{"issue":"1","key":"ref4","first-page":"66","article-title":"a - Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV(n x 2)F(X)","volume":"29","author":"He","year":"2012","journal-title":"Journal of Donghua University (English Edition)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3233\/ifs-151637"},{"issue":"8","key":"ref6","first-page":"100","article-title":"(a B)-Generalized Lock Resolution of Intuitionistic Fuzzy Logic","volume":"184","author":"Zou","year":"2015","journal-title":"Journal of Frontiers of Computer Science and Technology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2991\/iske.2007.281"},{"key":"ref8","article-title":"Studies on Lattice-Valued Propositional Logic and its Resolution-Based Automatic Reasoning Based on Linguistic Truth - valued Lattice implication Algebra","author":"Zou","year":"2004","journal-title":"Southwest Jiaotong University"}],"event":{"name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2023,11,17]]},"location":"Fuzhou, China","end":{"date-parts":[[2023,11,19]]}},"container-title":["2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10480909\/10480924\/10481169.pdf?arnumber=10481169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T05:09:27Z","timestamp":1712639367000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10481169\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,17]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/iske60036.2023.10481169","relation":{},"subject":[],"published":{"date-parts":[[2023,11,17]]}}}