{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:24:08Z","timestamp":1760171048018},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319615806"},{"type":"electronic","value":"9783319615813"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61581-3_35","type":"book-chapter","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T02:56:38Z","timestamp":1497408998000},"page":"387-397","source":"Crossref","is-referenced-by-count":1,"title":["Complexity of Model Checking for\u00a0Cardinality-Based Belief Revision Operators"],"prefix":"10.1007","author":[{"given":"Nadia","family":"Creignou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00efda","family":"Ktari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,15]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"35_CR2","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/s10489-008-0135-x","volume":"32","author":"S Benferhat","year":"2010","unstructured":"Benferhat, S., Ben-Naim, J., Papini, O., W\u00fcrbel, E.: An answer set programming encoding of prioritized removed sets revision: application to GIS. Appl. Intell. 32(1), 60\u201387 (2010)","journal-title":"Appl. Intell."},{"key":"35_CR3","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of IJCAI 1993, pp. 640\u2013645 (1993)"},{"issue":"3\u20134","key":"35_CR4","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/A:1018939502485","volume":"22","author":"C Cayrol","year":"1998","unstructured":"Cayrol, C., Lagasquie-Schiex, M., Schiex, T.: Nonmonotonic reasoning: from complexity to algorithms. Ann. Math. Artif. Intell. 22(3\u20134), 207\u2013236 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"key":"35_CR5","unstructured":"Creignou, N., Pichler, R., Woltran, S.: Do hard sat-related reasoning tasks become easier in the Krom fragment? In: IJCAI (2013)"},{"key":"35_CR6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1137\/S0097539704446311","volume":"36","author":"N Creignou","year":"2006","unstructured":"Creignou, N., Zanuttini, B.: A complete classification of the complexity of propositional abduction. SIAM J. Comput. 36, 207\u2013229 (2006)","journal-title":"SIAM J. Comput."},{"issue":"2\u20133","key":"35_CR7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2\u20133), 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"35_CR8","unstructured":"G\u00e4rdenfors, P.: Belief revision and nonmonotonic logic: Two sides of the same coin? In: Proceedings of ECAI 1990, pp. 768\u2013773 (1990)"},{"key":"35_CR9","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M Garey","year":"1979","unstructured":"Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H Freeman, New York (1979)"},{"key":"35_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M Ginsberg","year":"1986","unstructured":"Ginsberg, M.: Counterfactuals. Artif. Intell. 30, 35\u201379 (1986)","journal-title":"Artif. Intell."},{"key":"35_CR11","series-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-94-011-5054-5_2","volume-title":"Belief Change","author":"SO Hansson","year":"1998","unstructured":"Hansson, S.O.: Revision of belief sets and belief bases. In: Dubois, D., Prade, H. (eds.) Belief Change. Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 17\u201375. Kluwer, Netherlands (1998)"},{"key":"35_CR12","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52, 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"35_CR13","unstructured":"Lehmann, D.: Belief revision, revised. In: Proceedings of IJCAI 1995, pp. 1534\u20131540 (1995)"},{"issue":"1","key":"35_CR14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1006\/jcss.2000.1698","volume":"62","author":"P Liberatore","year":"2001","unstructured":"Liberatore, P., Schaerf, M.: Belief revision and update: complexity of model checking. J. Comput. Syst. Sci. 62(1), 43\u201372 (2001)","journal-title":"J. Comput. Syst. Sci."},{"key":"35_CR15","unstructured":"Nebel, B.: Belief revision and default reasoning: syntax-based approaches. In: Proceedings of KR 1991, pp. 417\u2013428 (1991)"},{"key":"35_CR16","series-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-011-5054-5_3","volume-title":"Belief Change","author":"B Nebel","year":"1998","unstructured":"Nebel, B.: How hard is it to revise a belief base? In: Dubois, D., Prade, H. (eds.) Belief Change. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3, pp. 77\u2013145. Springer, Netherlands (1998)"},{"key":"35_CR17","volume-title":"Computational Complexity","author":"CH Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley, Boston (1994)"},{"key":"35_CR18","unstructured":"Papini, O.: A complete revision function in propositional calculus. In: Proceedings of ECAI 1992, pp. 339\u2013343 (1992)"},{"issue":"1","key":"35_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"LJ Stockmeyer","year":"1976","unstructured":"Stockmeyer, L.J.: The polynomial-time hierarchy. Theor. Comput. Sci. 3(1), 1\u201322 (1976)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"35_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(87)90049-1","volume":"51","author":"K Wagner","year":"1987","unstructured":"Wagner, K.: More complicated questions about maxima and minima, and some closures of NP. Theor. Comput. Sci. 51(1\u20132), 53\u201380 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"35_CR21","unstructured":"Winslett, M.: Sometimes updates are circumscription. In: Proceedings of IJCAI 1989, pp. 859\u2013863 (1989)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61581-3_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T03:09:05Z","timestamp":1497409745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61581-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615806","9783319615813"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61581-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}