{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:26:43Z","timestamp":1730258803439,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1245770","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"4968-4973","source":"Crossref","is-referenced-by-count":0,"title":["The consistency of rule-bases in lattice-valued first-order logic LF(X)"],"prefix":"10.1109","volume":"5","author":[{"family":"Tsu-Tian Lee","sequence":"first","affiliation":[]},{"family":"Yang Xu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2371809"},{"key":"ref3","first-page":"704","article-title":"Exploring the structure of rule based systems","author":"grossner","year":"1993","journal-title":"Proceedings of the 11th National Conference on Artificial Intelligence (AAA193)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"key":"ref6","first-page":"216","article-title":"Semantic memory","author":"quillian","year":"1968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00065-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/4284.4286"},{"article-title":"Lattice-Valued Logic – An alternative approach to treat fuzziness and incomparablity","year":"2003","author":"xu","key":"ref12"},{"article-title":"Principle and Methods of Artificial Intelligence","year":"1998","author":"wang","key":"ref8"},{"key":"ref7","article-title":"Fuzzy reasoning based on Petri Network","volume":"27","author":"wang","year":"1993","journal-title":"Journal of Xi'an Jiaotong University"},{"article-title":"Human Problem Solving","year":"1972","author":"newell","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02882860"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5371(69)80069-1"}],"event":{"name":"SMC '03 2003 IEEE International Conference on Systems, Man and Cybernetics","acronym":"ICSMC-03","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27913\/01245770.pdf?arnumber=1245770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:33:45Z","timestamp":1489415625000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245770\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1245770","relation":{},"subject":[]}}