{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:58:22Z","timestamp":1730275102935,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iske.2017.8258781","type":"proceedings-article","created":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T17:47:01Z","timestamp":1516038421000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["\u03b1-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system"],"prefix":"10.1109","author":[{"given":"Weitao","family":"Xu","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CESA.2006.313537"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72434-6_36"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2006.07.027"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.03.024"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/18756891.2015.1129580"},{"key":"ref4","first-page":"123","article-title":"Lattice-valued propositionallogic(I)","volume":"2","author":"xu","year":"1993","journal-title":"J Southwest Jiaotong University"},{"key":"ref3","first-page":"20","article-title":"Lattice implication algebra","volume":"28","author":"xu","year":"1993","journal-title":"J Southwest Jiaotong University"},{"key":"ref6","first-page":"22","article-title":"Lattice-valued propositional logic(II)","volume":"1","author":"xu","year":"1994","journal-title":"J Southwest Jiaotong University"},{"journal-title":"Resolution-based Automated Reasoning","year":"1994","author":"liu","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1021"},{"journal-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"chang","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"journal-title":"Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability","year":"2003","author":"xu","key":"ref9"}],"event":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2017,11,24]]},"location":"Nanjing, China","end":{"date-parts":[[2017,11,26]]}},"container-title":["2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8246022\/8258711\/08258781.pdf?arnumber=8258781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,2]],"date-time":"2018-02-02T01:50:48Z","timestamp":1517536248000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8258781\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iske.2017.8258781","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}