{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:36:58Z","timestamp":1730209018201,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/coginf.2010.5599767","type":"proceedings-article","created":{"date-parts":[[2010,10,12]],"date-time":"2010-10-12T11:44:17Z","timestamp":1286883857000},"page":"974-977","source":"Crossref","is-referenced-by-count":3,"title":["Proposition matrix search algorithm for satisfiability degree computation"],"prefix":"10.1109","author":[{"given":"Jian","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guiming","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_15"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.07.006"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref6","article-title":"Modeling probabilistic logic using Petri nets","volume":"2","author":"lin","year":"1996","journal-title":"IEEE International Conference on Systems Man and Cybernetics"},{"journal-title":"Artificial Intelligence","year":"1996","author":"rich","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2009.782"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2009.791"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90031-7"},{"journal-title":"Satisfiability degree analysis in proposition logic","year":"0","author":"luo","key":"ref9"}],"event":{"name":"2010 9th IEEE International Conference on Cognitive Informatics (ICCI)","start":{"date-parts":[[2010,7,7]]},"location":"Beijing, China","end":{"date-parts":[[2010,7,9]]}},"container-title":["9th IEEE International Conference on Cognitive Informatics (ICCI'10)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5560187\/5599672\/05599767.pdf?arnumber=5599767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T02:01:47Z","timestamp":1489888907000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5599767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/coginf.2010.5599767","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}