{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:12Z","timestamp":1725748512694},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_50","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"512-517","source":"Crossref","is-referenced-by-count":0,"title":["Early Recovery in Logic Program Updates"],"prefix":"10.1007","author":[{"given":"Martin","family":"Slota","sequence":"first","affiliation":[]},{"given":"Martin","family":"Bal\u00e1\u017e","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"50_CR1","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 28\u201337 (2001)","journal-title":"Scientific American"},{"key":"50_CR2","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming, ICLP\/SLP 1988, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3-4","key":"50_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"50_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, pp. 224\u2013246. Springer, Heidelberg (1998)"},{"issue":"1-3","key":"50_CR5","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. The Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"The Journal of Logic Programming"},{"issue":"6","key":"50_CR6","first-page":"721","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 (TPLP)\u00a02(6), 721\u2013777 (2002)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"50_CR7","unstructured":"Leite, J.A.: Evolving Knowledge Bases. Frontiers of Artificial Intelligence and Applications, vol.\u00a081, xviii + 307 p. Hardcover. IOS Press (2003)"},{"issue":"6","key":"50_CR8","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 (TPLP)\u00a03(6), 671\u2013713 (2003)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"issue":"1","key":"50_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11225-005-0492-y","volume":"79","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1), 7\u201332 (2005)","journal-title":"Studia Logica"},{"key":"50_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/11546207_28","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Banti","year":"2005","unstructured":"Banti, F., Alferes, J.J., Brogi, A., Hitzler, P.: The well supported semantics for multidimensional dynamic logic programs. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 356\u2013368. Springer, Heidelberg (2005)"},{"issue":"3","key":"50_CR11","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/1149114.1149115","volume":"7","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y.: Logic program-based updates. ACM Transactions on Computational Logic\u00a07(3), 421\u2013472 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"50_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11853886_35","volume-title":"Logics in Artificial Intelligence","author":"J. \u0160efr\u00e1nek","year":"2006","unstructured":"\u0160efr\u00e1nek, J.: Irrelevant updates and nonmonotonic assumptions. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 426\u2013438. Springer, Heidelberg (2006)"},{"issue":"4","key":"50_CR13","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":"50_CR14","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":"50_CR15","doi-asserted-by":"crossref","unstructured":"\u0160efr\u00e1nek, J.: Static and dynamic semantics: Preliminary report. In: Mexican International Conference on Artificial Intelligence, pp. 36\u201342 (2011)","DOI":"10.1109\/MICAI.2011.18"},{"issue":"5","key":"50_CR16","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1093\/jigpal\/jzs012","volume":"20","author":"P. Kr\u00fcmpelmann","year":"2012","unstructured":"Kr\u00fcmpelmann, P.: Dependency semantics for sequences of extended logic programs. Logic Journal of the IGPL\u00a020(5), 943\u2013966 (2012)","journal-title":"Logic Journal of the IGPL"},{"key":"50_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/BFb0023804","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"J.J. Alferes","year":"1997","unstructured":"Alferes, J.J., Pereira, L.M.: Update-programs can update programs. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 110\u2013131. Springer, Heidelberg (1997)"},{"issue":"1","key":"50_CR18","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"},{"issue":"7","key":"50_CR19","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"11","author":"A.M. Keller","year":"1985","unstructured":"Keller, A.M., Winslett, M.: On the use of an extended relational model to handle changing incomplete information. IEEE Transactions on Software Engineering\u00a011(7), 620\u2013633 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"50_CR20","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, pp. 387\u2013394. Morgan Kaufmann Publishers (1991)"},{"issue":"1","key":"50_CR21","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"A. Herzig","year":"1999","unstructured":"Herzig, A., Rifi, O.: Propositional belief base update and minimal change. Artificial Intelligence\u00a0115(1), 107\u2013138 (1999)","journal-title":"Artificial Intelligence"},{"issue":"4-6","key":"50_CR22","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S147106841000027X","volume":"10","author":"M. Slota","year":"2010","unstructured":"Slota, M., Leite, J.: Towards Closed World Reasoning in Dynamic Open Worlds. Theory and Practice of Logic Programming\u00a010(4-6), 547\u2013564 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4-5","key":"50_CR23","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1017\/S1471068411000317","volume":"11","author":"M. Slota","year":"2011","unstructured":"Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. Theory and Practice of Logic Programming\u00a011(4-5), 801\u2013819 (2011)","journal-title":"Theory and Practice of Logic Programming"},{"key":"50_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-540-30498-2_40","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"F. Banti","year":"2004","unstructured":"Banti, F., Alferes, J.J., Brogi, A.: Well founded semantics for logic program updates. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315, pp. 397\u2013407. Springer, Heidelberg (2004)"},{"issue":"9-10","key":"50_CR25","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artificial Intelligence\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artificial Intelligence"},{"key":"50_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-15675-5_17","volume-title":"Logics in Artificial Intelligence","author":"R. Gon\u00e7alves","year":"2010","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 182\u2013194. Springer, Heidelberg (2010)"}],"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_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:09:19Z","timestamp":1558073359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}