{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:34:59Z","timestamp":1725748499223},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_48","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"485-498","source":"Crossref","is-referenced-by-count":2,"title":["Characterization Theorems for Revision of Logic Programs"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Schwind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"48_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. 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. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-3","key":"48_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"Journal of Logic Programming"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory and Practice of Logic Programming 7(6) (2007)","DOI":"10.1017\/S1471068407003110"},{"key":"48_CR4","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of the 7th National Conference on Artificial Intelligence, AAAI 1988, pp. 475\u2013479 (1988)"},{"key":"48_CR5","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: Belief revision of logic programs under answer set semantics. In: Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pp. 411\u2013421 (2008)"},{"key":"48_CR6","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A general approach to belief change in answer set programming. CoRR, abs\/0912.5511 (2009)"},{"key":"48_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-02846-5_17","volume-title":"Logic Programming","author":"J. Delgrande","year":"2009","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Woltran, S.: Merging logic programs under answer set semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 160\u2013174. Springer, Heidelberg (2009)"},{"issue":"6","key":"48_CR8","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming\u00a02(6), 711\u2013767 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"48_CR9","unstructured":"Eiter, T., Fink, M., Tompits, H., Woltran, S.: On eliminating disjunctions in stable logic programming. In: Proc. of the 9th International Conference on Principles of Knowledge Representation and Reasoning, KR 2004, pp. 447\u2013458 (2003)"},{"key":"48_CR10","unstructured":"Eiter, T., Tompits, H., Woltran, S.: On solution correspondences in answer set programming. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 97\u2013102 (2005)"},{"issue":"1","key":"48_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. Journal of Logic Programming\u00a035(1), 39\u201378 (1998)","journal-title":"Journal of Logic Programming"},{"key":"48_CR12","unstructured":"Katsuno, H., Mendelzon, A.O.: A unified view of propositional knowledge base updates. In: Proc. of the 11th International Joint Conference on Artificial Intelligence, IJCAI 1989, pp. 1413\u20131419 (1989)"},{"key":"48_CR13","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, pp. 387\u2013394 (1991)"},{"issue":"3","key":"48_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052(3), 263\u2013294 (1992)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"48_CR15","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S. Konieczny","year":"2002","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation\u00a012(5), 773\u2013808 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"48_CR16","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"48_CR17","unstructured":"Lifschitz, V., Woo, T.Y.C.: Answer sets in general nonmonotonic reasoning (preliminary report). In: Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, KR 1992, pp. 603\u2013614 (1992)"},{"key":"48_CR18","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proc. of the International Conference on Fifth Generation Computer Systems, FGCS 1988, pp. 455\u2013462 (1988)"},{"issue":"4-5","key":"48_CR19","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1017\/S1471068403001819","volume":"3","author":"H. Turner","year":"2003","unstructured":"Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. Theory and Practice of Logic Programming\u00a03(4-5), 609\u2013622 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"48_CR20","unstructured":"Zhang, Y., Foo, N.Y.: Towards generalized rule-based updates. In: Proc. of the 15th International Joint Conference on Artificial Intelligence, IJCAI 1997, pp. 82\u201388 (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:12:51Z","timestamp":1558059171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}