{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:22Z","timestamp":1725518902183},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_33","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T06:35:16Z","timestamp":1222151716000},"page":"403-415","source":"Crossref","is-referenced-by-count":0,"title":["Meta Level Reasoning and Default Reasoning"],"prefix":"10.1007","author":[{"given":"Yi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"Szabo, M.: The collected papers of Gerhard Gentzen (1969)"},{"key":"33_CR2","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385\u2013390 (2007)"},{"key":"33_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-72200-7_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Zhou","year":"2007","unstructured":"Zhou, Y., Lin, F., Zhang, Y.: General default logic. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 241\u2013253. Springer, Heidelberg (2007)"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: NMELP, pp. 57\u201370 (1997)","DOI":"10.1007\/BFb0023801"},{"key":"33_CR5","unstructured":"Ferraris, P., Lifschitz, V.: Mathematical foundations of answer set programming. In: We Will Show Them! (1), pp. 615\u2013664 (2005)"},{"key":"33_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"33_CR7","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 Transactions on Computational Logic\u00a02, 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"33_CR8","series-title":"Lecture Notes in Artificial Intelligence","first-page":"81","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H. Turner","year":"2001","unstructured":"Turner, H.: Strong equivalence for logic programs and default theories (made easy). In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 81\u201392. Springer, Heidelberg (2001)"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"33_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP, pp. 1070\u20131080 (1988)"},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"33_CR12","unstructured":"Gelfond, M., Lifschitz, V., Przymusinska, H., Truszczy\u0144ski, M.: Disjunctive defaults. In: KR, pp. 230\u2013237 (1991)"},{"key":"33_CR13","unstructured":"McCarthy, J.: Notes on formalizing context. In: IJCAI, pp. 555\u2013560 (1993)"},{"key":"33_CR14","unstructured":"Giunchiglia, F.: Contextual reasoning. Epistemologia, 345\u2013364 (1993)"},{"key":"33_CR15","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: IJCAI, pp. 558\u2013563 (2005)"},{"key":"33_CR16","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: IJCAI, pp. 268\u2013273 (2007)"},{"key":"33_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0004-3702(92)90019-T","volume":"57","author":"F. Lin","year":"1992","unstructured":"Lin, F., Shoham, Y.: A logic of knowledge and justified assumptions. Artificial Intelligence\u00a057, 271\u2013289 (1992)","journal-title":"Artificial Intelligence"},{"issue":"2-3","key":"33_CR18","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Geffner, H., Pearl, J.: Conditional entailment: bridging two approaches to default reasoning. Artificial Intelligence\u00a053(2-3), 209\u2013244 (1992)","journal-title":"Artificial Intelligence"},{"key":"33_CR19","series-title":"Lecture Notes in Artificial Intelligence","first-page":"87","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Fink, M., Tompits, H., Woltran, S.: Simplifying logic programs under uniform and strong equivalence. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 87\u201399. Springer, Heidelberg (2004)"},{"key":"33_CR20","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1613\/jair.2472","volume":"31","author":"K. Wong","year":"2008","unstructured":"Wong, K.: Sound and complete inference rules for se-consequence. JAIR\u00a031, 205\u2013216 (2008)","journal-title":"JAIR"},{"key":"33_CR21","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR, pp. 141\u2013151 (2004)"},{"key":"33_CR22","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI, pp. 477\u2013482 (2007)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:49:59Z","timestamp":1619509799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}