{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T22:31:06Z","timestamp":1784068266387,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540594871","type":"print"},{"value":"9783540492825","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:01Z","timestamp":1330276741000},"page":"344-357","source":"Crossref","is-referenced-by-count":17,"title":["Embedding circumscriptive theories in general disjunctive programs"],"prefix":"10.1007","author":[{"given":"Chiaki","family":"Sakama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"Bossu, G. and Siegel, P., Satutation, Nonmonotonic Reasoning and the Closed World Assumption, Artificial Intelligence 25, 13\u201363, 1985.","journal-title":"Artificial Intelligence"},{"key":"25_CR2","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0004-3702(92)90051-X","volume":"54","author":"M. Cadoli","year":"1992","unstructured":"Cadoli, M., Eiter, T. and Gottlob, G., An Efficient Method for Eliminating Varying Predicates from a Circumscription, Artificial Intelligence 54, 397\u2013410, 1992.","journal-title":"Artificial Intelligence"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0004-3702(89)90018-0","volume":"39","author":"J. Kleer de","year":"1989","unstructured":"de Kleer, J. and Konolige, K., Eliminating the Fixed Predicates from a Circumscription, Artificial Intelligence 39, 391\u2013398, 1989.","journal-title":"Artificial Intelligence"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Gelfond, M. and Lifschitz, V., Compiling Circumscriptive Theories into Logic Programs, Proc. AAAI-88, 455\u2013459. Extended version in: Proc. 2nd Int. Workshop on Nonmonotonic Reasoning, LNAI 346, 74\u201399, 1988.","DOI":"10.1007\/3-540-50701-9_21"},{"key":"25_CR5","unstructured":"Gelfond, M. and Lifschitz, V., The Stable Model Semantics for Logic Programming, Proc. ICLP'88, 1070\u20131080."},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","volume":"38","author":"M. Gelfond","year":"1989","unstructured":"Gelfond, M., Przymusinska, H. and Przymusinski, T., On the Relation between Circumscription and Negation as Failure, Artificial Intelligence 38, 75\u201394, 1989.","journal-title":"Artificial Intelligence"},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9, 365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V., Przymusinska, H. and Schwarz, G., Autoepistemic Logic and Introspective Circumscription, Proc. TARK'94, 197\u2013207.","DOI":"10.1016\/B978-1-4832-1453-5.50018-0"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","volume":"39","author":"M. L. Ginsberg","year":"1989","unstructured":"Ginsberg, M. L., A Circumscriptive Theorem Prover, Artificial Intelligence 39, 209\u2013230, 1989.","journal-title":"Artificial Intelligence"},{"key":"25_CR10","unstructured":"Helft, N., Inoue, K. and Poole, D., Query Answering in Circumscription, Proc. IJCAI-91, 426\u2013431."},{"key":"25_CR11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K., Linear Resolution for Consequence Finding, Artificial Intelligence 56, 301\u2013353, 1992.","journal-title":"Artificial Intelligence"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Inoue, K. and Sakama, C., On Positive Occurrences of Negation as Failure, Proc. KR'94, 293\u2013304.","DOI":"10.1016\/B978-1-4832-1452-8.50123-8"},{"key":"25_CR13","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1992","unstructured":"Kakas, A. C., Kowalski, R. A. and Toni, F., Abductive Logic Programming, J. Logic and Computation 2, 719\u2013770, 1992.","journal-title":"J. Logic and Computation"},{"key":"25_CR14","unstructured":"Konolige, K., On the Relation between Autoepistemic Logic and Circumscription, Proc. IJCAI-89, 1213\u20131218."},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0004-3702(85)90055-4","volume":"27","author":"V. Lifschitz","year":"1985","unstructured":"Lifschitz, V., Closed World Databases and Circumscription, Artificial Intelligence 27, 229\u2013235, 1985.","journal-title":"Artificial Intelligence"},{"key":"25_CR16","unstructured":"Lifschitz, V., Computing Circumscription, Proc. IJCAI-85, 121\u2013127."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., On the Declarative Semantics of Logic Programs with Negation, in Foundations of Deductive Databases and Logic Programming (J. Minker ed.), Morgan Kaufmann, 177\u2013192, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"25_CR18","unstructured":"Lifschitz, V., Between Circumscription and Autoepistemic Logic, Proc. KR'89, 235\u2013244."},{"key":"25_CR19","unstructured":"Lifschitz, V. and Woo, T. Y. C., Answer Sets in General Nonmonotonic Reasoning (preliminary report), Proc. KR'92, 603\u2013614."},{"key":"25_CR20","unstructured":"Lifschitz, V., Restricted Monotonicity, Proc. AAAI-93, 432\u2013437."},{"key":"25_CR21","doi-asserted-by":"crossref","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, Artificial Intelligence 70, 53\u201372, 1994.","journal-title":"Artificial Intelligence"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Circumscription, in Handbook of Logic in Artificial Intelligence and Logic Programming (D. M. Gabbay, et al. eds.), Clarendon Press, 297\u2013352, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0006"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. and Turner, H., From Disjunctive Programs to Abduction, Proc. ICLP'94 Workshop on Nonmonotonic Extensions of Logic Programming, 111\u2013125.","DOI":"10.1007\/BFb0030658"},{"key":"25_CR24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0004-3702(92)90019-T","volume":"57","author":"F. Lin","year":"1992","unstructured":"Lin F. and Shoham, Y., A Logic of Knowledge and Justified Assumptions, Artificial Intelligence 57, 271\u2013289, 1992.","journal-title":"Artificial Intelligence"},{"key":"25_CR25","unstructured":"Loveland, D. W., Automated Theorem Proving: A Logical Basis, North-Holland, 1978."},{"key":"25_CR26","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., Circumscription \u2014 A Form of Nonmonotonic Reasoning, Artificial Intelligence 13, 27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C., On the Declarative Semantics of Deductive Databases and Logic Programs, in the same source book as [Lif88], 193\u2013216, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"25_CR28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","author":"T. Przymusinski","year":"1989","unstructured":"Przymusinski, T., An Algorithm to Compute Circumscription, Artificial Intelligence 38, 49\u201373, 1989.","journal-title":"Artificial Intelligence"},{"key":"25_CR29","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. C. Przymusinski","year":"1991","unstructured":"Przymusinski, T. C., Stable Semantics for Disjunctive Programs, New Generation Computing 9, 401\u2013424, 1991.","journal-title":"New Generation Computing"},{"key":"25_CR30","unstructured":"Reiter, R., Circumscription implies Predicate Completion (sometimes), Proc. AAAI-82, 418\u2013420."},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"Sakama, C. and Inoue, K., Relating Disjunctive Logic Programs to Default Theories, Proc. LPNMR'93, 266\u2013282.","DOI":"10.7551\/mitpress\/4307.003.0023"},{"key":"25_CR32","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00881833","volume":"10","author":"L. Y. Yuan","year":"1993","unstructured":"Yuan, L. Y. and You, J-H., Autoepistemic Circumscription and Logic Programming, J. Automated Reasoning 10, 143\u2013160, 1993.","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:32:41Z","timestamp":1713630761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}