{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:02:38Z","timestamp":1762506158797},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_27","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"264-276","source":"Crossref","is-referenced-by-count":11,"title":["AGM-Style Belief Revision of Logic Programs under Answer Set Semantics"],"prefix":"10.1007","author":[{"given":"James","family":"Delgrande","sequence":"first","affiliation":[]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"27_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-3","key":"27_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. Alferes","year":"2000","unstructured":"Alferes, J., Leite, J., Pereira, L., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"Journal of Logic Programming"},{"key":"27_CR3","unstructured":"Boutilier, C.: Revision sequences and nested conditionals. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 519\u2013531 (1993)"},{"key":"27_CR4","first-page":"262","volume":"25","author":"C. Boutilier","year":"1996","unstructured":"Boutilier, C.: Iterated revision and minimal change of conditional beliefs. Journal of Logic and Computation\u00a025, 262\u2013305 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"12","key":"27_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"6","key":"27_CR6","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1017\/S1471068407003110","volume":"7","author":"P. Cabalar","year":"2007","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory and Practice of Logic Programming\u00a07(6), 745\u2013759 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"27_CR7","unstructured":"Creignou, N., Papini, O., Pichler, R., Woltran, S.: Belief revision within fragments of propositional logic. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press (2012)"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence\u00a089, 1\u201329 (1997)","journal-title":"Artificial Intelligence"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Delgrande, J.: A program-level approach to revising logic programs under the answer set semantics. In: Theory and Practice of Logic Programming, 26th Int\u2019l. Conference on Logic Programming (ICLP 2010) Special Issue, vol. 10(4-6), pp. 681\u2013696 (July 2010)","DOI":"10.1017\/S1471068410000281"},{"key":"27_CR10","unstructured":"Delgrande, J., Peppas, P.: Revising Horn theories. In: Proceedings of the International Joint Conference on Artificial Intelligence, Barcelona, Spain, pp. 839\u2013844 (2011)"},{"key":"27_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-72200-7_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.P. Delgrande","year":"2007","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A preference-based framework for updating logic programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 71\u201383. Springer, Heidelberg (2007)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Woltran, S.: A model-theoretic approach to belief change in answer set programming. ACM Transactions on Computational Logic 14(2) (2013)","DOI":"10.1145\/2480759.2480766"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., P\u00fchrer, J., Tompits, H., Woltran, S.: Model-based recasting in answer-set programming. Technical Report DBAI-TR-2013-83, Institute of Information Systems 184\/2, Vienna University of Technology, Austria (2013)","DOI":"10.1080\/11663081.2013.799318"},{"issue":"6","key":"27_CR14","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":"27_CR15","unstructured":"Eiter, T., Tompits, H., Woltran, S.: On solution correspondences in answer set programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 97\u2013102 (2005)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11574620_18","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G. Flouris","year":"2005","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 216\u2013231. Springer, Heidelberg (2005)"},{"key":"27_CR17","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modelling the Dynamics of Epistemic States. The MIT Press, Cambridge (1988)"},{"issue":"3","key":"27_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052(3), 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-33353-8_23","volume-title":"Logics in Artificial Intelligence","author":"P. Kr\u00fcmpelmann","year":"2012","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: Belief base change operations for answer set programming. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 294\u2013306. Springer, Heidelberg (2012)"},{"key":"27_CR20","volume-title":"Evolving Knowledge Bases: Specification and Semantics","author":"J. Leite","year":"2003","unstructured":"Leite, J.: Evolving Knowledge Bases: Specification and Semantics. IOS Press, Amsterdam (2003)"},{"issue":"4","key":"27_CR21","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":"27_CR22","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V.W. Marek","year":"1998","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Revision programming. Theoretical Computer Science\u00a0190, 241\u2013277 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"27_CR23","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S1471068406003000","volume":"7","author":"M. Osorio","year":"2007","unstructured":"Osorio, M., Cuevas, V.: Updates in answer set programming: An approach based on basic structural properties. Theory and Practice of Logic Programming\u00a07(4), 451\u2013479 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1574-6526(07)03008-8","volume-title":"Handbook of Knowledge Representation","author":"P. Peppas","year":"2008","unstructured":"Peppas, P.: Belief revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 317\u2013359. Elsevier Science, San Diego (2008)"},{"key":"27_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 147\u2013161. Springer, Heidelberg (1999)"},{"issue":"6","key":"27_CR26","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1017\/S1471068403001716","volume":"3","author":"C. Sakama","year":"2003","unstructured":"Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. Theory and Practice of Logic Programming\u00a03(6), 671\u2013713 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"27_CR27","unstructured":"Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14. AAAI Press (2012)"},{"issue":"4","key":"27_CR28","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), 609\u2013622 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"27_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BFb0021969","volume-title":"Logics in Artificial Intelligence","author":"C. Witteveen","year":"1994","unstructured":"Witteveen, C., van der Hoek, W., de Nivelle, H.: Revision of non-monotonic theories: Some postulates and an application to logic programming. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol.\u00a0838, pp. 137\u2013151. Springer, Heidelberg (1994)"},{"key":"27_CR30","unstructured":"Zacar\u00edas, F., Osorio, M., Acosta Guadarrama, J.C., Dix, J.: Updates in Answer Set Programming based on structural properties. In: McIlraith, S., Peppas, P., Thielscher, M. (eds.) Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 213\u2013219. Fakult\u00e4t f\u00fcr Informatik (May 2005) ISSN 1430-211X"},{"key":"27_CR31","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI 1998), pp. 403\u2013407 (1998)"}],"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_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:07:00Z","timestamp":1558058820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}