{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:31:38Z","timestamp":1730223098029,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/fuzz-ieee.2016.7737719","type":"proceedings-article","created":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T23:19:22Z","timestamp":1479338362000},"page":"431-436","source":"Crossref","is-referenced-by-count":3,"title":["Expressive power of linear-temporal logic based on generalized possibility measures"],"prefix":"10.1109","author":[{"given":"Shengli","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Yongming","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2396537"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2232298"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2014.03.009"},{"key":"ref14","article-title":"Quantitative model checking of linear-time properties based on generalized possibility measures","author":"li","year":"2016","journal-title":"ArXiv"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004956418185"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"ref16"},{"key":"ref17","first-page":"439513","volume":"3","author":"dubois","year":"1994","journal-title":"Possibilistic logic ser Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scient.2011.04.008"},{"key":"ref19","first-page":"519","article-title":"Stable models in generalized possibilistic logic","author":"dubois","year":"2012","journal-title":"Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0016-z"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_26"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_37"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2629606"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.819485"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990011"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2014.07.008"}],"event":{"name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2016,7,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2016,7,29]]}},"container-title":["2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7694773\/7737658\/07737719.pdf?arnumber=7737719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T00:29:13Z","timestamp":1482280153000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7737719\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2016.7737719","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}