{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T21:03:21Z","timestamp":1772831001905,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_29","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"412-425","source":"Crossref","is-referenced-by-count":14,"title":["Preserving Strong Equivalence while Forgetting"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Julio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-40564-8_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.J. Alferes","year":"2013","unstructured":"Alferes, J.J., Knorr, M., Wang, K.: Forgetting under the well-founded semantics. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 36\u201341. Springer, Heidelberg (2013)"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-28717-6_9","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"G. Antoniou","year":"2012","unstructured":"Antoniou, G., Eiter, T., Wang, K.: Forgetting for defeasible logic. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol.\u00a07180, pp. 77\u201391. Springer, Heidelberg (2012)"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10030-4","volume":"40","author":"S. Brass","year":"1999","unstructured":"Brass, S., Dix, J.: Semantics of (disjunctive) logic programs based on partial evaluation. J. Log. Program.\u00a040(1), 1\u201346 (1999)","journal-title":"J. Log. Program."},{"issue":"3","key":"29_CR4","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Woltran, S.: Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3) (2007)","DOI":"10.1145\/1243996.1244000"},{"issue":"14","key":"29_CR6","doi-asserted-by":"publisher","first-page":"1644","DOI":"10.1016\/j.artint.2008.05.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artif. Intell.\u00a0172(14), 1644\u20131672 (2008)","journal-title":"Artif. Intell."},{"issue":"3","key":"29_CR7","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"issue":"3-4","key":"29_CR8","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 Comput.\u00a09(3-4), 365\u2013385 (1991)","journal-title":"New Generation Comput."},{"issue":"15","key":"29_CR9","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1016\/j.artint.2010.06.003","volume":"174","author":"R. Kontchakov","year":"2010","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell.\u00a0174(15), 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"issue":"4","key":"29_CR10","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 Trans. Comput. Log.\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3-4","key":"29_CR11","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs. Ann. Math. Artif. Intell.\u00a025(3-4), 369\u2013389 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"29_CR12","unstructured":"Lin, F., Reiter, R.: Forget it! In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)"},{"key":"29_CR13","unstructured":"Lutz, C., Wolter, F.: Foundations for uniform interpolation and forgetting in expressive description logics. In: Walsh, T. (ed.) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, pp. 989\u2013995. IJCAI\/AAAI (2011)"},{"key":"29_CR14","unstructured":"Wang, Y., Wang, K., Zhang, M.: Forgetting for answer set programs revisited. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, IJCAI\/AAAI (2013)"},{"key":"29_CR15","unstructured":"Wang, Y., Zhang, Y., Zhou, Y., Zhang, M.: Forgetting in logic programs under strong equivalence. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pp. 643\u2013647. AAAI Press (2012)"},{"issue":"1-2","key":"29_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10472-010-9187-9","volume":"58","author":"Z. Wang","year":"2010","unstructured":"Wang, Z., Wang, K., Topor, R.W., Pan, J.Z.: Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell.\u00a058(1-2), 117\u2013151 (2010)","journal-title":"Ann. Math. Artif. Intell."},{"key":"29_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30227-8_16","volume-title":"Logics in Artificial Intelligence","author":"S. Woltran","year":"2004","unstructured":"Woltran, S.: Characterizations for relativized notions of equivalence in answer set programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 161\u2013173. Springer, Heidelberg (2004)"},{"key":"29_CR18","unstructured":"Wong, K.S.: Forgetting in Logic Programs. Ph.D. thesis, The University of New South Wales (2009)"},{"issue":"8-9","key":"29_CR19","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/j.artint.2006.02.002","volume":"170","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Foo, N.Y.: Solving logic program conflict through strong and weak forgettings. Artif. Intell.\u00a0170(8-9), 739\u2013778 (2006)","journal-title":"Artif. Intell."},{"issue":"16-17","key":"29_CR20","doi-asserted-by":"publisher","first-page":"1525","DOI":"10.1016\/j.artint.2009.07.005","volume":"173","author":"Y. Zhang","year":"2009","unstructured":"Zhang, Y., Zhou, Y.: Knowledge forgetting: Properties and applications. Artif. Intell.\u00a0173(16-17), 1525\u20131537 (2009)","journal-title":"Artif. Intell."},{"key":"29_CR21","unstructured":"Zhou, Y., Zhang, Y.: Bounded forgetting. In: Burgard, W., Roth, D. (eds.) Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11. AAAI Press (2011)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T02:30:12Z","timestamp":1675996212000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}