{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:10:50Z","timestamp":1729645850392,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/icmlc.2013.6890873","type":"proceedings-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T15:45:19Z","timestamp":1410363919000},"page":"1706-1711","source":"Crossref","is-referenced-by-count":0,"title":["An automated reasoning method on first-order tense logic"],"prefix":"10.1109","author":[{"family":"Wenjiang Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shuwei Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"48","article-title":"A visuable tense reasoning method","volume":"20","author":"fang","year":"1999","journal-title":"Jinan University (Natural Science Edition)"},{"key":"17","first-page":"26","article-title":"Realization of some problems in tense reasoning on Prolog","volume":"5","author":"nie","year":"1995","journal-title":"High Technology Letters"},{"key":"18","first-page":"37","article-title":"Tense reasoning in programming recognition","author":"liu","year":"1995","journal-title":"Journal of Jilin University (Science Edition)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/146931.146934"},{"key":"16","first-page":"15","article-title":"Study on some problems of tense reasoning","volume":"5","author":"zhang","year":"1995","journal-title":"High Technology Letters"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00069-4"},{"journal-title":"Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability","year":"2003","author":"xu","key":"14"},{"key":"11","first-page":"123","article-title":"Lattice-valued propositional logic (I)","volume":"1","author":"xu","year":"1993","journal-title":"Journal of Southwest Jiaotong University"},{"key":"12","first-page":"22","article-title":"Lattice-valued propositional logic (II)","volume":"2","author":"qin","year":"1994","journal-title":"Journal of Southwest Jiaotong University"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1017068.1017070"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/371282.371311"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45331-8_9"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.09.021"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(99)00099-8"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8655(00)00127-6"},{"key":"26","first-page":"116","article-title":"Using fuzzy temporal logic for monitoring behaviour-based mobile robots","author":"lamine","year":"2001","journal-title":"Proc IASTED Intel Conf Robotics and Applications"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1142\/9789812799470_0049"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-29-9_5"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213012500236"},{"key":"3","first-page":"97","article-title":"On deleting game of resolution principle","author":"liu","year":"1982","journal-title":"Journal of Jilin University"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72434-6_82"},{"key":"1","first-page":"112","article-title":"A new semantical resolution principle","author":"liu","year":"1978","journal-title":"Journal of Jilin University"},{"key":"30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1080\/18756891.2012.670529","article-title":"A linguistic truth-valued temporal reasoning system (LTR) and its application to the design of an intelligent environment","volume":"5","author":"lu","year":"2012","journal-title":"International Journal of Computational Intelligence Systems"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1017068.1017070"},{"key":"6","first-page":"97","article-title":"Generalized fuzzy logic and lock semantical resolution principle","author":"liu","year":"1980","journal-title":"Journal of Computer"},{"key":"5","first-page":"1812","article-title":"Generalized linear semi-lock resolution","author":"sun","year":"1992","journal-title":"Chinese Science Bulletin"},{"key":"4","first-page":"81","article-title":"The generalized resolution","author":"wang","year":"1982","journal-title":"Journal of Computer"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1162\/089120100561665"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/371282.371311"}],"event":{"name":"2013 International Conference on Machine Learning and Cybernetics (ICMLC)","start":{"date-parts":[[2013,7,14]]},"location":"Tianjin, China","end":{"date-parts":[[2013,7,17]]}},"container-title":["2013 International Conference on Machine Learning and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6880948\/6890831\/06890873.pdf?arnumber=6890873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:02:22Z","timestamp":1602687742000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6890873"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icmlc.2013.6890873","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}