{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T20:56:17Z","timestamp":1772830577121,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642405631","type":"print"},{"value":"9783642405648","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_4","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"36-41","source":"Crossref","is-referenced-by-count":6,"title":["Forgetting under the Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","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":"3","key":"4_CR2","first-page":"167","volume":"38","author":"S. Brass","year":"1999","unstructured":"Brass, S., Dix, J.: Semantics of disjunctive logic programs based on partial evaluation. J. Log. Program.\u00a038(3), 167\u2013312 (1999)","journal-title":"J. Log. Program."},{"issue":"5","key":"4_CR3","first-page":"497","volume":"1","author":"S. Brass","year":"2001","unstructured":"Brass, S., Dix, J., Freitag, B., Zukowski, U.: Transformation-based bottom-up computation of the well-founded model. TPLP\u00a01(5), 497\u2013538 (2001)","journal-title":"TPLP"},{"key":"4_CR4","unstructured":"Cabalar, P., Odintsov, S.P., Pearce, D.: Logical foundations of well-founded semantics. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 25\u201335. AAAI Press (2006)"},{"key":"4_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-89378-3_2","volume-title":"AI 2008: Advances in Artificial Intelligence","author":"H.P. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H.P., Herzig, A., Lang, J., Marquis, P.: Introspective forgetting. In: Wobcke, W., Zhang, M. (eds.) AI 2008. LNCS (LNAI), vol.\u00a05360, pp. 18\u201329. Springer, Heidelberg (2008)"},{"issue":"14","key":"4_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":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A.V. Gelder","year":"1993","unstructured":"Gelder, A.V.: The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci.\u00a047(1), 185\u2013221 (1993)","journal-title":"J. Comput. Syst. Sci."},{"issue":"9-10","key":"4_CR8","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. Artif. Intell.\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"issue":"15","key":"4_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."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. (JAIR)\u00a018, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"4_CR11","unstructured":"Lin, F., Reiter, R.: Forget it! In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)"},{"key":"4_CR12","unstructured":"Lutz, C., Wolter, F.: Foundations for uniform interpolation and forgetting in expressive description logics. In: Walsh, T. (ed.) IJCAI, pp. 989\u2013995. IJCAI\/AAAI (2011)"},{"key":"4_CR13","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 957\u2013962. IOS Press (2010)"},{"key":"4_CR14","unstructured":"Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR, pp. 158\u2013168. AAAI Press (2012)"},{"key":"4_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.) KR, pp. 643\u2013647. AAAI Press (2012)"},{"issue":"1-2","key":"4_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":"4_CR17","unstructured":"Zhang, Y., Foo, N.Y., Wang, K.: Solving logic program conflict through strong and weak forgettings. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 627\u2013634. Professional Book Center (2005)"},{"issue":"16-17","key":"4_CR18","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":"4_CR19","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Zhang, Y.: Bounded forgetting. In: Burgard, W., Roth, D. (eds.) AAAI, pp. 280\u2013285. AAAI Press (2011)","DOI":"10.1609\/aaai.v25i1.7842"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T14:40:38Z","timestamp":1688481638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}