{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T21:05:20Z","timestamp":1772831120453,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156748","type":"print"},{"value":"9783642156755","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_17","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"182-194","source":"Crossref","is-referenced-by-count":13,"title":["Parametrized Logic Programming"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-48483-3_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"1999","unstructured":"Caleiro, C., Sernadas, C., Sernadas, A.: Parameterisation of logics. In: Fiadeiro, J.L. (ed.) WADT 1998. LNCS, vol.\u00a01589, pp. 48\u201362. Springer, Heidelberg (1999)"},{"key":"17_CR2","series-title":"Applied Logic","volume-title":"Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems","author":"W.A. Carnielli","year":"2008","unstructured":"Carnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C.: Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems. Applied Logic, vol.\u00a035. Springer, Heidelberg (2008)"},{"key":"17_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"379","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 379\u2013392. Springer, Heidelberg (2001)"},{"issue":"2","key":"17_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. J. Log. Program.\u00a011(2), 91\u2013116 (1991)","journal-title":"J. Log. Program."},{"key":"17_CR5","volume-title":"Fibring logics","author":"D. Gabbay","year":"1999","unstructured":"Gabbay, D.: Fibring logics. Oxford University Press, Oxford (1999)"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A.. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci.\u00a047(1), 185\u2013221 (1993)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"17_CR7","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., 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"},{"key":"17_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"17_CR10","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A well-founded semantics for hybrid mknf knowledge bases. In: Description Logics (2007)"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Elp: Tractable rules for owl 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell.\u00a070(1-2), 53\u201372 (1994)","journal-title":"Artif. Intell."},{"issue":"4","key":"17_CR13","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."},{"key":"17_CR14","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI, pp. 477\u2013482 (2007)"},{"issue":"1-2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell.\u00a047(1-2), 3\u201341 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"17_CR16","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi. Synthese Library. Kluwer Academic Publishers, Dordrecht (1988)"},{"issue":"2","key":"17_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10472-009-9161-6","volume":"57","author":"Y. Zhou","year":"2009","unstructured":"Zhou, Y., Lin, F., Zhang, Y.: General default logic. Annals of Mathematics and Artificial Intelligence\u00a057(2), 125\u2013160 (2009)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"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-642-15675-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T12:44:19Z","timestamp":1559652259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}