{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:55:15Z","timestamp":1729612515057,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/fskd.2015.7381923","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:52:33Z","timestamp":1452815553000},"page":"104-108","source":"Crossref","is-referenced-by-count":0,"title":["Non-revision reasoning with beliefs in predicate logic"],"prefix":"10.1109","author":[{"family":"Zhang Song","sequence":"first","affiliation":[]},{"family":"Deng Ansheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25832-9_48"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87803-2_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(95)96214-C"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/09528131003712988"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2006.03.005"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45062-7_38"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00120"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(00)00045-1"},{"key":"ref4","first-page":"222","article-title":"An Up to Down Reasoning for Inconsistent Beliefs","volume":"44","author":"ansheng","year":"2005","journal-title":"Journal of XiaMen University Natural science pressed in Chinese"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.007"},{"key":"ref6","article-title":"The Research of Non-Revision Method for Propositional Beliefs","author":"lulu","year":"2013","journal-title":"Dalian Maritime University Press"},{"key":"ref5","article-title":"The Research of Non-revision Method for Clause-formed Beliefs","author":"weina","year":"2012","journal-title":"Dalian Maritime University Press"},{"key":"ref8","article-title":"Non-Revision Approaches to Horn Clausal Inconsistent Beliefs","author":"wenhe","year":"2011","journal-title":"Dalian Maritime University Press"},{"key":"ref7","article-title":"A Layered Quantitative non-revision Method for Inconsistency belief","author":"jianxin","year":"2010","journal-title":"Dalian Maritime University Press"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s11229-008-9364-0","article-title":"Preference-based belief revision for rule-based agents","volume":"165","author":"natasha","year":"2008","journal-title":"Synthese"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","article-title":"Belief as defeasible knowledge","volume":"64","author":"yoram","year":"1993","journal-title":"Artificiala Intelligence"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(77)90054-8","article-title":"On the complexity of regular resolution and the Davis-Putnam procedure","volume":"4","author":"zvi","year":"1977","journal-title":"Theoretical Computer Science"}],"event":{"name":"2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","start":{"date-parts":[[2015,8,15]]},"location":"Zhangjiajie, China","end":{"date-parts":[[2015,8,17]]}},"container-title":["2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374053\/7381900\/07381923.pdf?arnumber=7381923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T23:47:12Z","timestamp":1498261632000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fskd.2015.7381923","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}