{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:24:29Z","timestamp":1725809069625},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135595"},{"type":"electronic","value":"9783319135601"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13560-1_34","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:24:07Z","timestamp":1415960647000},"page":"422-434","source":"Crossref","is-referenced-by-count":0,"title":["Polynomially Bounded Forgetting"],"prefix":"10.1007","author":[{"given":"Yi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"34_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.jcss.2010.06.011","volume":"77","author":"D. Buchfuhrer","year":"2011","unstructured":"Buchfuhrer, D., Umans, C.: The complexity of boolean formula minimization. J. Comput. Syst. Sci.\u00a077(1), 142\u2013153 (2011)","journal-title":"J. Comput. Syst. Sci."},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.: Space efficiency of propositional knowledge representation formalisms. J. Artif. Intell. Res. (JAIR)\u00a013, 1\u201331 (2000)","DOI":"10.1613\/jair.664"},{"key":"34_CR3","unstructured":"Coste-Marquis, S., Lang, J., Liberatore, P., Marquis, P.: Expressive power and succinctness of propositional languages for preference representation. In: KR, pp. 203\u2013212 (2004)"},{"issue":"4","key":"34_CR4","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1145\/502090.502091","volume":"48","author":"A. Darwiche","year":"2001","unstructured":"Darwiche, A.: Decomposable negation normal form. J. ACM\u00a048(4), 608\u2013647 (2001)","journal-title":"J. ACM"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. (JAIR)\u00a017, 229\u2013264 (2002)","DOI":"10.1613\/jair.989"},{"issue":"7","key":"34_CR6","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1093\/comjnl\/bxq050","volume":"54","author":"P.E. Dunne","year":"2011","unstructured":"Dunne, P.E.: On constructing minimal formulae. Comput. J.\u00a054(7), 1067\u20131075 (2011)","journal-title":"Comput. J."},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11499107_5","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2005","unstructured":"E\u00e9n, N., Biere, A.: Effective preprocessing in SAT through variable and clause elimination. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol.\u00a03569, pp. 61\u201375. Springer, Heidelberg (2005)"},{"issue":"14","key":"34_CR8","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."},{"key":"34_CR9","unstructured":"Ghilardi, S., Lutz, C., Wolter, F., Zakharyaschev, M.: Conservative extensions in modal logic. In: Advances in Modal Logic, pp. 187\u2013207 (2006)"},{"key":"34_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-87803-2_19","volume-title":"Logics in Artificial Intelligence","author":"A. Herzig","year":"2008","unstructured":"Herzig, A., Mengin, J.: Uniform interpolation by resolution in modal logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 219\u2013231. Springer, Heidelberg (2008)"},{"key":"34_CR11","unstructured":"Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: IJCAI, pp. 830\u2013835 (2009)"},{"key":"34_CR12","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between dl-lite ontologies? In: KR, pp. 285\u2013295 (2008)"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. (JAIR)\u00a018, 391\u2013443 (2003)","DOI":"10.1613\/jair.1113"},{"key":"34_CR14","unstructured":"Lang, J., Marquis, P.: Resolving inconsistencies by variable forgetting. In: KR, pp. 239\u2013250 (2002)"},{"issue":"1-2","key":"34_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0004-3702(01)00070-4","volume":"128","author":"F. Lin","year":"2001","unstructured":"Lin, F.: On strongest necessary and weakest sufficient conditions. Artif. Intell.\u00a0128(1-2), 143\u2013159 (2001)","journal-title":"Artif. Intell."},{"key":"34_CR16","unstructured":"Lin, F., Reiter, R.: Forget it! In: Proceedings of the AAAI Fall Symposium on Relevance, pp. 154\u2013159 (1994)"},{"issue":"1-2","key":"34_CR17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Lin, F., Reiter, R.: How to progress a database. Artif. Intell.\u00a092(1-2), 131\u2013167 (1997)","journal-title":"Artif. Intell."},{"key":"34_CR18","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI, pp. 453\u2013458 (2007)"},{"key":"34_CR19","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. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., 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)"},{"key":"34_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1007\/978-3-642-04930-9_42","volume-title":"The Semantic Web - ISWC 2009","author":"K. Wang","year":"2009","unstructured":"Wang, K., Wang, Z., Topor, R., Pan, J.Z., Antoniou, G.: Concept and role forgetting in ${\\mathcal{ALC}}$ ontologies. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 666\u2013681. Springer, Heidelberg (2009)"},{"key":"34_CR21","unstructured":"Wang, Y., Zhang, Y., Zhou, Y., Zhang, M.: Forgetting in logic programs under strong equivalence. In: KR (2012)"},{"key":"34_CR22","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-540-87803-2_32","volume-title":"Logics in Artificial Intelligence","author":"C. Wernhard","year":"2008","unstructured":"Wernhard, C.: Literal projection for first-order logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 389\u2013402. Springer, Heidelberg (2008)"},{"issue":"8-9","key":"34_CR23","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":"34_CR24","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":"34_CR25","unstructured":"Zhang, Y., Zhou, Y.: Forgetting revisited. In: KR (2010)"},{"key":"34_CR26","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Zhang, Y.: Bounded forgetting. In: AAAI (2011)","DOI":"10.1609\/aaai.v25i1.7842"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2014: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13560-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T03:56:26Z","timestamp":1689652586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13560-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135595","9783319135601"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13560-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}