{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:12Z","timestamp":1725582672016},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_16","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"174-186","source":"Crossref","is-referenced-by-count":6,"title":["Back and Forth between Rules and SE-Models"],"prefix":"10.1007","author":[{"given":"Martin","family":"Slota","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"16_CR1","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":"16_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-30227-8_17","volume-title":"Logics in Artificial Intelligence","author":"K. Inoue","year":"2004","unstructured":"Inoue, K., Sakama, C.: Equivalence of logic programs under updates. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 174\u2013186. Springer, Heidelberg (2004)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","first-page":"354","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"1997","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M., Schroeder, M.: REVISE: Logic programming and diagnosis. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 354\u2013363. Springer, Heidelberg (1997)"},{"issue":"1-3","key":"16_CR4","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":"16_CR5","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\u00a02(6), 721\u2013777 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"6","key":"16_CR6","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"},{"issue":"3","key":"16_CR7","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"},{"issue":"1","key":"16_CR8","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":"16_CR9","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":"16_CR10","first-page":"411","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning","author":"J.P. Delgrande","year":"2008","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: Belief revision of logic programs under answer set semantics. In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, pp. 411\u2013421. AAAI Press, Menlo Park (2008)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Delgrande, J.P.: 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 Special Issue, vol.\u00a010(4-6), pp. 565\u2013580 (2010)","DOI":"10.1017\/S1471068410000281"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/CBO9780511526664","volume-title":"Belief Revision","author":"P. G\u00e4rdenfors","year":"1992","unstructured":"G\u00e4rdenfors, P.: Belief Revision: An Introduction. In: Belief Revision, pp. 1\u201328. Cambridge University Press, Cambridge (1992)"},{"key":"16_CR13","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 957\u2013962. IOS Press, Amsterdam (2010)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1988)"},{"issue":"3","key":"16_CR15","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A classification theory of semantics of normal logic programs: II. Weak properties. Fundamenta Informaticae\u00a022(3), 257\u2013288 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR16","unstructured":"\u0141ukasiewicz, J.: 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, pp. 82\u2013100 (1941)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"issue":"4-5","key":"16_CR18","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":"16_CR19","first-page":"1070","volume-title":"Proceedings of the 5th International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","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, August 15-19, pp. 1070\u20131080. MIT Press, Washington (1988)"},{"issue":"1","key":"16_CR20","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":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-74610-2_8","volume-title":"Logic Programming","author":"P. Cabalar","year":"2007","unstructured":"Cabalar, P., Pearce, D., Valverde, A.: Minimal logic programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 104\u2013118. Springer, Heidelberg (2007)"},{"key":"16_CR22","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"16_CR23","unstructured":"Alexandre Leite, J.: Evolving Knowledge Bases. Frontiers of Artificial Intelligence and Applications, vol.\u00a081, xviii + 307 p. IOS Press, Amsterdam (2003); Hardcover"}],"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-20895-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T12:01:30Z","timestamp":1592481690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}