{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:10:09Z","timestamp":1725869409459},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_37","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T13:24:55Z","timestamp":1477920295000},"page":"543-550","source":"Crossref","is-referenced-by-count":3,"title":["Forgetting in ASP: The Forgotten Properties"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"issue":"1\u20132","key":"37_CR1","doi-asserted-by":"crossref","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. 92(1\u20132), 131\u2013167 (1997)","journal-title":"Artif. Intell."},{"key":"37_CR2","unstructured":"Rajaratnam, D., Levesque, H.J., Pagnucco, M., Thielscher, M.: Forgetting in action. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Proceedings of KR. AAAI Press (2014)"},{"key":"37_CR3","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) 18, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"8\u20139","key":"37_CR4","doi-asserted-by":"crossref","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. 170(8\u20139), 739\u2013778 (2006)","journal-title":"Artif. Intell."},{"issue":"14","key":"37_CR5","doi-asserted-by":"crossref","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. 172(14), 1644\u20131672 (2008)","journal-title":"Artif. Intell."},{"issue":"15","key":"37_CR6","doi-asserted-by":"crossref","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. 174(15), 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"key":"37_CR7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.artint.2013.07.004","volume":"203","author":"B Konev","year":"2013","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203, 66\u2013103 (2013)","journal-title":"Artif. Intell."},{"key":"37_CR8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1613\/jair.1541","volume":"23","author":"J Larrosa","year":"2005","unstructured":"Larrosa, J., Morancho, E., Niso, D.: On the practical use of variable elimination in constraint optimization problems: \u2018still-life\u2019 as a case study. J. Artif. Intell. Res. (JAIR) 23, 421\u2013440 (2005)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1\u20133","key":"37_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J Alferes","year":"2000","unstructured":"Alferes, J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1\u20133), 43\u201370 (2000)","journal-title":"J. Log. Program."},{"issue":"6","key":"37_CR10","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. Theor. Pract. Log. Program. (TPLP) 2(6), 721\u2013777 (2002)","journal-title":"Theor. Pract. Log. Program. (TPLP)"},{"key":"37_CR11","unstructured":"Leite, J.A.: Evolving Knowledge Bases. Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover, vol. 81. IOS Press (2003)"},{"key":"37_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-642-33353-8_29","volume-title":"Logics in Artificial Intelligence","author":"M Slota","year":"2012","unstructured":"Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 372\u2013384. Springer, Heidelberg (2012)"},{"key":"37_CR13","unstructured":"Wong, K.S.: Forgetting in Logic Programs, Ph.D. thesis. The University of New South Wales (2009)"},{"key":"37_CR14","unstructured":"Wang, Y., Wang, K., Zhang, M.: Forgetting for answer set programs revisited. In: Rossi, F. (ed.) Proceedings of IJCAI. IJCAI\/AAAI (2013)"},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/978-3-319-11558-0_29","volume-title":"Logics in Artificial Intelligence","author":"M Knorr","year":"2014","unstructured":"Knorr, M., Alferes, J.J.: Preserving strong equivalence while forgetting. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 412\u2013425. Springer, Heidelberg (2014)"},{"key":"37_CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1613\/jair.4297","volume":"50","author":"Y Wang","year":"2014","unstructured":"Wang, Y., Zhang, Y., Zhou, Y., Zhang, M.: Knowledge forgetting in answer set programming. J. Artif. Intell. Res. (JAIR) 50, 31\u201370 (2014)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"Delgrande, J.P., Wang, K.: A syntax-independent approach to forgetting in disjunctive logic programs. In: Bonet, B., Koenig, S. (eds.) Proceedings of AAAI, pp. 1482\u20131488. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9402"},{"issue":"16\u201317","key":"37_CR18","doi-asserted-by":"crossref","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. 173(16\u201317), 1525\u20131537 (2009)","journal-title":"Artif. Intell."},{"key":"37_CR19","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: The ultimate guide to forgetting in ASP. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Proceedings of KR, pp. 135\u2013144. AAAI Press (2016)"},{"issue":"4","key":"37_CR20","doi-asserted-by":"crossref","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. 2(4), 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3\u20134","key":"37_CR21","doi-asserted-by":"crossref","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. 25(3\u20134), 369\u2013389 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"6","key":"37_CR22","first-page":"745","volume":"7","author":"P Cabalar","year":"2007","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. TPLP 7(6), 745\u2013759 (2007)","journal-title":"TPLP"},{"key":"37_CR23","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: You can\u2019t always forget what you want: on the limits of forgetting in answer set programming. In: Fox, M.S., Kaminka, G.A. (eds.) Proceedings of ECAI. IOS Press (2016)"},{"issue":"16\u201317","key":"37_CR24","doi-asserted-by":"crossref","first-page":"1285","DOI":"10.1016\/j.artint.2010.08.004","volume":"174","author":"M Truszczynski","year":"2010","unstructured":"Truszczynski, M.: Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Artif. Intell. 174(16\u201317), 1285\u20131306 (2010)","journal-title":"Artif. Intell."},{"key":"37_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-642-40564-8_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"JJ 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. 8148, pp. 36\u201341. Springer, Heidelberg (2013)"},{"issue":"9\u201310","key":"37_CR26","doi-asserted-by":"crossref","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. 175(9\u201310), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"37_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 6341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"37_CR28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.artint.2015.07.008","volume":"229","author":"M Slota","year":"2015","unstructured":"Slota, M., Leite, J., Swift, T.: On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229, 33\u2013104 (2015)","journal-title":"Artif. Intell."},{"key":"37_CR29","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Proceedings of ECAI, pp. 375\u2013380. IOS Press (2014)"},{"key":"37_CR30","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Proceedings of ECAI, pp. 159\u2013164. IOS Press (2014)"},{"issue":"2","key":"37_CR31","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"37_CR32","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-41335-3_14","volume-title":"ISWC 2013","author":"V Ivanov","year":"2013","unstructured":"Ivanov, V., Knorr, M., Leite, J.: A query tool for $$\\cal EL$$ with non-monotonic rules. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41335-3_14"},{"key":"37_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/978-3-319-25007-6_33","volume-title":"the semantic web - iswc 2015","author":"N Costa","year":"2015","unstructured":"Costa, N., Knorr, M., Leite, J.: Next step for NoHR: OWL 2 QL. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 569\u2013586. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25007-6_33"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T21:16:37Z","timestamp":1657574197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}