{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:08:49Z","timestamp":1725804529983},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111124"},{"type":"electronic","value":"9783319111131"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11113-1_4","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T06:32:47Z","timestamp":1409985167000},"page":"45-59","source":"Crossref","is-referenced-by-count":5,"title":["A Generalization of Approximation Fixpoint Theory and Application"],"prefix":"10.1007","author":[{"given":"Yi","family":"Bi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Alviano, M., Calimeri, F., Faber, W., Leone, N., Perri, S.: Unfounded sets and well-founded semantics of answer set programs with aggregates. J. Artif. Intell. Res.\u00a042 (2011)","key":"4_CR1"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-40564-8_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Antic","year":"2013","unstructured":"Antic, C., Eiter, T., Fink, M.: Hex semantics via approximation fixpoint theory. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 102\u2013115. Springer, Heidelberg (2013)"},{"unstructured":"Bi, Y., You, J.H., Feng, Z.: A generalization of approximation fixpoint theory and its application to FOL-programs. Tech. rep., College of Computer Science and Technology, Tianjin University, Tianjin, China (June 2014), \n                    \n                      http:\/\/xinwang.tju.edu.cn\/drupal\/sites\/default\/files\/basic_page\/full-proof.pdf","key":"4_CR3"},{"unstructured":"de Bruijn, J., Eiter, T., Tompits, H.: Embedding approaches to combining rules and ontologies into autoepistemic logic. In: Proc. KR 2008, pp. 485\u2013495 (2008)","key":"4_CR4"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-72982-2_5","volume-title":"Web Reasoning and Rule Systems","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 58\u201372. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.ic.2004.02.004","volume":"192","author":"M. Denecker","year":"2004","unstructured":"Denecker, M., Marek, V., Truszczynski, M.: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Information and Computation\u00a0192(1), 84\u2013121 (2004)","journal-title":"Information and Computation"},{"issue":"12-13","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artifical Intelligence\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artifical Intelligence"},{"unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. IJCAI 2005, pp. 90\u201396 (2005)","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"Eiter, T., Lukasiewicz, T., Ianni, G., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Transactions on Computational Logic\u00a012(2) (2011)","key":"4_CR9","DOI":"10.1145\/1877714.1877717"},{"issue":"11","key":"4_CR10","first-page":"1577","volume":"22","author":"T. Lukasiewicz","year":"2010","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. IEEE TKDE\u00a022(11), 1577\u20131592 (2010)","journal-title":"IEEE TKDE"},{"issue":"27-39","key":"4_CR11","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0004-3702(80)90016-8","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artifical Intelligence\u00a013(27-39), 171\u2013172 (1980)","journal-title":"Artifical Intelligence"},{"issue":"5","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM\u00a057(5), 1\u201362 (2010)","journal-title":"Journal of the ACM"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S1471068406002973","volume":"7","author":"N. Pelov","year":"2007","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. Theory and Practice of Logic Programming\u00a07, 301\u2013353 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. KR 2006, pp. 68\u201378 (2006)","key":"4_CR15"},{"unstructured":"Shen, Y.D.: Well-supported semantics for description logic programs. In: Proc. IJCAI 2011, pp. 1081\u20131086 (2011)","key":"4_CR16"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/978-3-642-25073-6_40","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y.-D. Shen","year":"2011","unstructured":"Shen, Y.-D., Wang, K.: Extending logic programs with description logic expressions for the semantic web. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 633\u2013648. Springer, Heidelberg (2011)"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"issue":"1-2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10472-010-9207-9","volume":"58","author":"J. Vennekens","year":"2010","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell.\u00a058(1-2), 85\u2013115 (2010)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-642-30743-0_39","volume-title":"Correct Reasoning","author":"J.H. You","year":"2012","unstructured":"You, J.H., Shen, Y.D., Wang, K.: Well-supported semantics for logic programs with generalized rules. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol.\u00a07265, pp. 576\u2013591. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11113-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:57:49Z","timestamp":1558972669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11113-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111124","9783319111131"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11113-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}