{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:09:28Z","timestamp":1759226968560,"version":"3.40.5"},"reference-count":96,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2022,3,22]],"date-time":"2022-03-22T00:00:00Z","timestamp":1647907200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2023,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words, the problem of characterising the result of bringing up-to-date a logic program when the world it describes changes. Whereas the state-of-the-art approaches are guided by the same basic intuitions and aspirations as belief updates in the context of classical logic, they build upon fundamentally different principles and methods, which have prevented a unifying framework that could embrace both belief and rule updates. In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.<\/jats:p>","DOI":"10.1017\/s1471068422000060","type":"journal-article","created":{"date-parts":[[2022,3,22]],"date-time":"2022-03-22T13:27:16Z","timestamp":1647955636000},"page":"57-110","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["A Brief History of Updates of Answer-Set Programs"],"prefix":"10.1017","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6786-7360","authenticated-orcid":false,"given":"JO\u00c3O","family":"LEITE","sequence":"first","affiliation":[]},{"given":"MARTIN","family":"SLOTA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,3,22]]},"reference":[{"key":"S1471068422000060_ref57","unstructured":"Liu, H. , Lutz, C. , Mili\u010di\u0107, M. and Wolter, F. 2006. Updating description logic ABoxes. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), P. Doherty, J. Mylopoulos and C. A. Welty, Eds. AAAI Press, Lake District of the United Kingdom, 46\u201356."},{"key":"S1471068422000060_ref71","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001716"},{"key":"S1471068422000060_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9171-9"},{"first-page":"1","year":"1992","author":"G\u00e4rdenfors","key":"S1471068422000060_ref33"},{"key":"S1471068422000060_ref82","unstructured":"Slota, M. and Leite, J. 2012b. A unifying perspective on knowledge updates. In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), L. F. del Cerro, A. Herzig and J. Mengin, Eds. Logics in Artificial Intelligence (LNAI), vol. 7519. Springer, Toulouse, France, 372\u2013384."},{"key":"S1471068422000060_ref84","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000100"},{"key":"S1471068422000060_ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00072-7"},{"key":"S1471068422000060_ref77","unstructured":"Siska, J. 2006. Dynamic logic programming and world state evaluation in computer games. In Proceedings of the 20th Workshop on Logic Programming (WLP 2006), M. Fink, H. Tompits and S. Woltran, Eds. INFSYS Research Report, vol. 1843-06-02. Technische Universit\u00c4t Wien, Austria, Vienna, Austria, 64\u201370."},{"key":"S1471068422000060_ref94","unstructured":"Zhang, Y. and Foo, N. Y. 1998. Updating logic programs. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), H. Prade, Ed. John Wiley and Sons, Chichester, Brighton, UK, 403\u2013407."},{"key":"S1471068422000060_ref54","first-page":"357","volume-title":"Paradigm: A","author":"Lifschitz","year":"1999"},{"key":"S1471068422000060_ref18","doi-asserted-by":"crossref","unstructured":"Delgrande, J. P. , Peppas, P. and Woltran, S. 2013. Agm-style belief revision of logic programs under answer set semantics. In Proceeding of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), P. Cabalar and T. C. Son, Eds. Lecture Notes in Computer Science, vol. 8148. Springer, 264\u2013276.","DOI":"10.1007\/978-3-642-40564-8_27"},{"key":"S1471068422000060_ref59","doi-asserted-by":"crossref","unstructured":"Marek, V. W. and Truszczynski, M. 1994. Revision specifications by means of programs. In Proceedings of the 4th European Workshop on Logics in Artificial Intelligence (JELIA 2094), C. MacNish, D. Pearce and L. M. Pereira, Eds. Lecture Notes in Computer Science, vol. 838. Springer, 122\u2013136.","DOI":"10.1007\/BFb0021968"},{"key":"S1471068422000060_ref6","doi-asserted-by":"crossref","unstructured":"Apt, K. R. and Bezem, M. 1991. Acyclic programs. New Generation Computing 9, 3\/4, 335\u2013364.","DOI":"10.1007\/BF03037168"},{"key":"S1471068422000060_ref61","first-page":"375","volume-title":"Paradigm: A","author":"Marek","year":"1999"},{"key":"S1471068422000060_ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068422000060_ref64","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068422000060_ref95","unstructured":"Zhang, Y. and Foo, N. Y. 2005. A unified framework for representing logic program updates. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), M. M. Veloso and S. Kambhampati, Eds. AAAI Press\/The MIT Press, Pittsburgh, Pennsylvania, USA, 707\u2013713."},{"key":"S1471068422000060_ref44","doi-asserted-by":"crossref","unstructured":"Inoue, K. and Sakama, C. 2004. Equivalence of logic programs under updates. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), J. J. Alferes and J. A. Leite, Eds. Lecture Notes in Computer Science, vol. 3229. Springer, Lisbon, Portugal, 174\u2013186.","DOI":"10.1007\/978-3-540-30227-8_17"},{"key":"S1471068422000060_ref60","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00092-3"},{"key":"S1471068422000060_ref13","doi-asserted-by":"crossref","unstructured":"Cabalar, P. , Pearce, D. and Valverde, A. 2007. Minimal logic programs. In Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), V. Dahl and I. Niemel\u00c4, Eds. Lecture Notes in Computer Science, vol. 4670. Springer, Porto, Portugal, 104\u2013118.","DOI":"10.1007\/978-3-540-74610-2_8"},{"key":"S1471068422000060_ref34","first-page":"107","article-title":"Potassco: The potsdam answer set solving collection","volume":"2","author":"Gebser","year":"2011","journal-title":"AI Communincations 24"},{"key":"S1471068422000060_ref40","unstructured":"Heyting, A. 1930. Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, 42\u201356. Reprint in Logik-Texte: Kommentierte Auswahl zur Geschichte der Modernen Logik, Akademie-Verlag, 1986."},{"key":"S1471068422000060_ref73","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001844"},{"key":"S1471068422000060_ref14","doi-asserted-by":"crossref","unstructured":"Calvanese, D. , Kharlamov, E. , Nutt, W. and Zheleznyakov, D. 2010. Evolution of DL-Lite knowledge bases. In Proceedings of the 9th International Semantic Web Conference (ISWC 2009), P. F. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Z. Pan, I. Horrocks and B. Glimm, Eds. Lecture Notes in Computer Science, vol. 6496. Springer, Shanghai, China, 112\u2013128.","DOI":"10.1007\/978-3-642-17746-0_8"},{"key":"S1471068422000060_ref90","unstructured":"Winslett, M. 1988. Reasoning about action using a possible models approach. In Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988), H. E. Shrobe, T. M. Mitchell and R. G. Smith, Eds. AAAI Press\/The MIT Press, Saint Paul, MN, USA, 89\u201393."},{"key":"S1471068422000060_ref11","unstructured":"Buccafurri, F. , Faber, W. and Leone, N. 1999. Disjunctive logic programs with inheritance. In Proceedings of the 1999 International Conference on Logic Programming (ICLP 1999), D. D. Schreye, Ed. The MIT Press, Las Cruces, New Mexico, USA, 79\u201393."},{"key":"S1471068422000060_ref83","unstructured":"Slota, M. and Leite, J. 2013. On condensing a sequence of updates in answer-set programming. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), F. Rossi, Ed. IJCAI\/AAAI, 1097\u20131103."},{"key":"S1471068422000060_ref25","first-page":"721","article-title":"On properties of update sequences based on causal rejection","volume":"6","author":"Eiter","year":"2002","journal-title":"Theory and Practice of Logic Programming 2"},{"key":"S1471068422000060_ref41","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002212"},{"key":"S1471068422000060_ref21","unstructured":"Delgrande, J. P. , Schaub, T. , Tompits, H. and Woltran, S. 2008. Belief revision of logic programs under answer set semantics. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasonin (KR 2008), G. Brewka and J. Lang, Eds. AAAI Press, 411\u2013421."},{"key":"S1471068422000060_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054039"},{"key":"S1471068422000060_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"S1471068422000060_ref37","unstructured":"Gon\u00e7alves, R. , Knorr, M. and Leite, J. 2016. The ultimate guide to forgetting in answer-set programming. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), C. Baral, J. Delgrande and F. Wolter, Eds. AAAI Press."},{"key":"S1471068422000060_ref70","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-005-4162-1"},{"key":"S1471068422000060_ref75","doi-asserted-by":"crossref","unstructured":"\u0160efr\u00e1nek, J. 2006. Irrelevant updates and nonmonotonic assumptions. In Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), M. Fisher, W. van der Hoek, B. Konev and A. Lisitsa, Eds. Lecture Notes in Computer Science, vol. 4160. Springer, Liverpool, UK, 426\u2013438.","DOI":"10.1007\/11853886_35"},{"key":"S1471068422000060_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-018-0544-x"},{"key":"S1471068422000060_ref79","unstructured":"Slota, M. and Leite, J. 2010. On semantic update operators for answer-set programs. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), H. Coelho, R. Studer and M. Wooldridge, Eds. Frontiers in Artificial Intelligence and Applications, vol. 215. IOS Press, Lisbon, Portugal, 957\u2013962."},{"key":"S1471068422000060_ref24","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1995-2234"},{"key":"S1471068422000060_ref29","first-page":"51","article-title":"Consistency of clark\u2019s completion and existence of stable models","volume":"1","author":"Fages","year":"1994","journal-title":"Methods of Logic in Computer Science"},{"key":"S1471068422000060_ref81","unstructured":"Slota, M. and Leite, J. 2012a. Robust equivalence models for semantic updates of answer-set programs. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), G. Brewka, T. Eiter and S. A. McIlraith, Eds. AAAI Press, Rome, Italy, 158\u2013168."},{"key":"S1471068422000060_ref93","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149115"},{"key":"S1471068422000060_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn051"},{"key":"S1471068422000060_ref58","unstructured":"\u0141ukasiewicz, J. 1941. Die Logik und das Grundlagenproblem. In Les Entretiens de Z\u00fcrich sue les Fondements et la m\u00e9thode des sciences math\u00e9matiques 1938. Z\u00fcrich, 82\u2013100."},{"key":"S1471068422000060_ref63","unstructured":"Newtono, I. 1726. Philosophi\u00e6 Naturalis Principia Mathematica. Editio tertia & aucta emendata. Apud Guil & Joh. Innys, Regi\u00e6 Societatis typographos."},{"key":"S1471068422000060_ref86","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.07.008"},{"key":"S1471068422000060_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"S1471068422000060_ref72","unstructured":"Satoh, K. 1988. Nonmonotonic reasoning by minimal belief revision. In Proceedings of the International Conference on Fifth Generation Computer Systems, (FGCS 1988). OHMSHA Ltd. Tokyo and Springer-Verlag, 455\u2013462."},{"key":"S1471068422000060_ref35","unstructured":"Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988), R. A. Kowalski and K. A. Bowen, Eds. MIT Press, Seattle, Washington, 1070\u20131080."},{"key":"S1471068422000060_ref42","doi-asserted-by":"crossref","unstructured":"Homola, M. 2004. Dynamic logic programming: Various semantics are equal on acyclic programs. In Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), J. A. Leite and P. Torroni, Eds. Lecture Notes in Computer Science, vol. 3487. Springer, Lisbon, Portugal, 78\u201395.","DOI":"10.1007\/11533092_5"},{"key":"S1471068422000060_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3190783"},{"key":"S1471068422000060_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-018-0548-6"},{"key":"S1471068422000060_ref51","doi-asserted-by":"crossref","unstructured":"Leite, J. A. and Pereira, L. M. 1998. Generalizing updates: From models to programs. In Proceedings of the 3rd International Workshop on Logic Programming and Knowledge Representation (LPKR 1997), J. Dix, L. M. Pereira and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1471. Springer, 224\u2013246.","DOI":"10.1007\/BFb0054796"},{"key":"S1471068422000060_ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068422000060_ref96","unstructured":"Zhuang, Z. , Delgrande, J. P. , Nayak, A. C. and Sattar, A. 2016. Reconsidering agm-style belief revision in the context of logic programs. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), G. A. Kaminka, M. Fox, P. Bouquet, E. H\u00fcllermeier, V. Dignum, F. Dignum and F. van Harmelen, Eds. Frontiers in Artificial Intelligence and Applications, vol. 285. IOS Press, 671\u2013679."},{"key":"S1471068422000060_ref46","unstructured":"Katsuno, H. and Mendelzon, A. O. 1991. On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), J. F. Allen, R. Fikes and E. Sandewall, Eds. Morgan Kaufmann Publishers, Cambridge, MA, USA, 387\u2013394."},{"key":"S1471068422000060_ref23","unstructured":"Delgrande, J. P. and Wang, K. 2015. A syntax-independent approach to forgetting in disjunctive logic programs. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), B. Bonet and S. Koenig, Eds. AAAI Press, 1482\u20131488."},{"key":"S1471068422000060_ref7","doi-asserted-by":"crossref","unstructured":"Apt, K. R. , Blair, H. A. and Walker, A. 1988. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Morgan Kaufmann, San Francisco, CA, USA, 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"S1471068422000060_ref22","first-page":"14","article-title":"A model-theoretic approach to belief change in answer set programming","volume":"2","author":"Delgrande","year":"2013","journal-title":"ACM Transactions on Computational Logic 14"},{"key":"S1471068422000060_ref52","unstructured":"Lenzerini, M. and Savo, D. F. 2011. On the evolution of the instance level of DL-Lite knowledge bases. In Proceedings of the 24th International Workshop on Description Logics (DL 2011), R. Rosati, S. Rudolph and M. Zakharyaschev, Eds. CEUR Workshop Proceedings, vol. 745. CEUR-WS.org, Barcelona, Spain."},{"key":"S1471068422000060_ref48","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzs012"},{"key":"S1471068422000060_ref20","doi-asserted-by":"crossref","unstructured":"Delgrande, J. P. , Schaub, T. and Tompits, H. 2007. A preference-based framework for updating logic programs. In Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), C. Baral, G. Brewka and J. S. Schlipf, Eds. Lecture Notes in Computer Science, vol. 4483. Springer, Tempe, AZ, USA, 71\u201383.","DOI":"10.1007\/978-3-540-72200-7_8"},{"key":"S1471068422000060_ref5","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. and Pereira, L. M. 1996. Update-programs can update programs. In Proceedings of the 6th Workshop on Non-Monotonic Extensions of Logic Programming (NMELP 1996), J. Dix, L. M. Pereira and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1216. Springer, Bad Honnef, Germany, 110\u2013131.","DOI":"10.1007\/BFb0023804"},{"key":"S1471068422000060_ref50","unstructured":"Leite, J. A. 2003. Evolving Knowledge Bases. Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover, vol. 81. IOS Press."},{"key":"S1471068422000060_ref32","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11451"},{"key":"S1471068422000060_ref68","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C. and Turner, H. 1995. Update by means of inference rules. In Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 1995), V. W. Marek and A. Nerode, Eds. Lecture Notes in Computer Science, vol. 928. Springer, 156\u2013174.","DOI":"10.1007\/3-540-59487-6_12"},{"key":"S1471068422000060_ref80","doi-asserted-by":"crossref","unstructured":"Slota, M. and Leite, J. 2011. Back and forth between rules and SE-models. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), J. P. Delgrande and W. Faber, Eds. Lecture Notes in Computer Science, vol. 6645. Springer, Vancouver, Canada, 174\u2013186.","DOI":"10.1007\/978-3-642-20895-9_16"},{"key":"S1471068422000060_ref85","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000317"},{"key":"S1471068422000060_ref87","unstructured":"Wang, Y. , Wang, K. and Zhang, M. 2013. Forgetting for answer set programs revisited. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), F. Rossi, Ed. IJCAI\/AAAI."},{"key":"S1471068422000060_ref91","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109"},{"key":"S1471068422000060_ref78","unstructured":"Slota, M. 2012. Updates of Hybrid Knowledge Bases. Ph.D. thesis, Universidade Nova de Lisboa."},{"key":"S1471068422000060_ref74","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000101"},{"key":"S1471068422000060_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000281"},{"key":"S1471068422000060_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"S1471068422000060_ref69","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00091-X"},{"key":"S1471068422000060_ref76","doi-asserted-by":"crossref","unstructured":"\u0160efr\u00e1nek, J. 2011. Static and dynamic semantics: Preliminary report. In Proceedings of the 10th Mexican International Conference on Artificial Intelligence (MICAI 2011), I. Z. Batyrshin and G. Sidorov, Eds. IEEE Computer Society, Los Alamitos, CA, USA, 36\u201342.","DOI":"10.1109\/MICAI.2011.18"},{"key":"S1471068422000060_ref88","unstructured":"Wang, Y. , Zhang, Y. , Zhou, Y. and Zhang, M. 2012. Forgetting in logic programs under strong equivalence. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), G. Brewka, T. Eiter and S. A. McIlraith, Eds. AAAI Press, 643\u2013647."},{"key":"S1471068422000060_ref56","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383783"},{"key":"S1471068422000060_ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"S1471068422000060_ref45","unstructured":"Katsuno, H. and Mendelzon, A. O. 1989. A unified view of propositional knowledge base updates. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI 1989), N. S. Sridharan, Ed. Morgan Kaufmann, 1413\u20131419."},{"key":"S1471068422000060_ref67","doi-asserted-by":"crossref","unstructured":"Pearce, D. 1997. A new logical characterisation of stable models and answer sets. In Proceedings of the 6th Workshop on Non-Monotonic Extensions of Logic Programming (NMELP 1996), J. Dix, L. M. Pereira and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1216. Springer, Bad Honnef, Germany, 57\u201370.","DOI":"10.1007\/BFb0023801"},{"key":"S1471068422000060_ref43","doi-asserted-by":"crossref","unstructured":"Ilic, M. , Leite, J. and Slota, M. 2008. Explicit dynamic user profiles for a collaborative filtering recommender system. In Proceedings of the 11th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2008), H. Geffner, R. Prada, I. M. Alexandre and N. David, Eds. LNAI, vol. 5290. Springer-Verlag, 352\u2013361.","DOI":"10.1007\/978-3-540-88309-8_36"},{"key":"S1471068422000060_ref89","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4297"},{"key":"S1471068422000060_ref3","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. , Brogi, A. , Leite, J. A. and Pereira, L. M. 2003. An evolvable rule-based e-mail agent. In Proceedings of the 11th Portuguese Conference Artificial Intelligence (EPIA 2003), F. Moura-Pires and S. Abreu, Eds. Lecture Notes in Computer Science, vol. 2902. Springer, Beja, Portugal, 394\u2013408.","DOI":"10.1007\/978-3-540-24580-3_45"},{"key":"S1471068422000060_ref15","unstructured":"Dalal, M. 1988. Investigations into a theory of knowledge base revision. In Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988), H. E. Shrobe, T. M. Mitchell and R. G. Smith, Eds. AAAI Press\/The MIT Press, St. Paul, MN, USA, 475\u2013479."},{"key":"S1471068422000060_ref26","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068422000060_ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232506"},{"key":"S1471068422000060_ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"S1471068422000060_ref55","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. 2008. Twelve definitions of a stable model. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), M. G. de la Banda and E. Pontelli, Eds. Lecture Notes in Computer Science, vol. 5366. Springer, 37\u201351.","DOI":"10.1007\/978-3-540-89982-2_8"},{"key":"S1471068422000060_ref65","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406003000"},{"key":"S1471068422000060_ref66","doi-asserted-by":"crossref","unstructured":"Osorio, M. and Zepeda, C. 2007. Update sequences based on minimal generalized pstable models. In Proceedings of the 6th Mexican International Conference on Artificial Intelligence (MICAI 2007), A. F. Gelbukh and A. F. K. Morales, Eds. Lecture Notes in Computer Science, vol. 4827. Springer, Aguascalientes, Mexico, 283\u2013293.","DOI":"10.1007\/978-3-540-76631-5_27"},{"key":"S1471068422000060_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003110"},{"key":"S1471068422000060_ref8","doi-asserted-by":"crossref","unstructured":"Banti, F. , Alferes, J. J. , Brogi, A. and Hitzler, P. 2005. The well supported semantics for multidimensional dynamic logic programs. In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), C. Baral, G. Greco, N. Leone and G. Terracina, Eds. Lecture Notes in Computer Science, vol. 3662. Springer, Diamante, Italy, 356\u2013368.","DOI":"10.1007\/11546207_28"},{"key":"S1471068422000060_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-0492-y"},{"key":"S1471068422000060_ref49","unstructured":"Kr\u00fcmpelmann, P. and Kern-Isberner, G. 2010. On belief dynamics of dependency relations for extended logic programs. In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), Meyer, T. and Ternovska, E. , Eds. Toronto, Canada."},{"key":"S1471068422000060_ref62","unstructured":"McCarthy, J. 1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning (Commonsense 1998)."},{"key":"S1471068422000060_ref92","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001552"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068422000060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T10:27:10Z","timestamp":1671013630000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068422000060\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,22]]},"references-count":96,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1]]}},"alternative-id":["S1471068422000060"],"URL":"https:\/\/doi.org\/10.1017\/s1471068422000060","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2022,3,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}