{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T01:11:27Z","timestamp":1767575487509},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857754"},{"type":"electronic","value":"9783540857761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85776-1_15","type":"book-chapter","created":{"date-parts":[[2008,8,23]],"date-time":"2008-08-23T08:01:12Z","timestamp":1219478472000},"page":"167-180","source":"Crossref","is-referenced-by-count":2,"title":["Implementing Prioritized Circumscription by Computing Disjunctive Stable Models"],"prefix":"10.1007","author":[{"given":"Emilia","family":"Oikarinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomi","family":"Janhunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-74610-2_36","volume-title":"Logic Programming","author":"E. Oikarinen","year":"2007","unstructured":"Oikarinen, E., Janhunen, T.: A linear transformation from prioritized circumscription to disjunctive logic programming. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 440\u2013441. Springer, Heidelberg (2007)"},{"issue":"3\/4","key":"15_CR2","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(3\/4), 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"3\/4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T.: Stable semantics for disjunctive programs. New Generation Computing\u00a09(3\/4), 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1119439.1119440","volume":"7","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T., Niemel\u00e4, I., Seipel, D., Simons, P., You, J.H.: Unfolding partiality and disjunctions in stable model semantics. ACM Transactions on Computational Logic\u00a07(1), 1\u201337 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"15_CR7","first-page":"121","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","author":"V. Lifschitz","year":"1985","unstructured":"Lifschitz, V.: Computing circumscription. In: Joshi, A.K. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, California, August 18\u201323, 1985, pp. 121\u2013127. Morgan Kaufmann, San Francisco (1985)"},{"issue":"1\u20132","key":"15_CR8","doi-asserted-by":"publisher","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 non-monotonic reasoning. Artificial Intelligence\u00a013(1\u20132), 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"15_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-30227-8_14","volume-title":"Logics in Artificial Intelligence","author":"T. Janhunen","year":"2004","unstructured":"Janhunen, T., Oikarinen, E.: Capturing parallel circumscription with disjunctive logic programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 134\u2013146. Springer, Heidelberg (2004)"},{"key":"15_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/11546207_36","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E. Oikarinen","year":"2005","unstructured":"Oikarinen, E., Janhunen, T.: circ2dlp \u2014 translating circumscription into disjunctive logic programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 405\u2013409. Springer, Heidelberg (2005)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/978-3-540-27775-0_25","volume-title":"Logic Programming","author":"T. Wakaki","year":"2004","unstructured":"Wakaki, T., Inoue, K.: Compiling prioritized circumscription into answer set programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 356\u2013370. Springer, Heidelberg (2004)"},{"key":"15_CR12","unstructured":"Wakaki, T., Tomita, K.: Compiling prioritized circumscription into general disjunctive programs. In: Provetti, A., Son, T.C. (eds.) Proceedings of PREFS 2006: Preferences and their Applications in Logic Programming Systems, August 16, 2006, pp. 1\u201315 (2006)"},{"key":"15_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-72200-7_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2007","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 175\u2013187. Springer, Heidelberg (2007)"},{"issue":"3\u20134","key":"15_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence\u00a015(3\u20134), 289\u2013323 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1006\/inco.1995.1124","volume":"121","author":"G. Gottlob","year":"1995","unstructured":"Gottlob, G.: The complexity of default reasoning under the stationary fixed point semantics. Information and Computation\u00a0121(1), 81\u201392 (1995)","journal-title":"Information and Computation"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0004-3702(89)90018-0","volume":"39","author":"J. Kleer de","year":"1989","unstructured":"de Kleer, J., Konolige, K.: Eliminating the fixed predicates from a circumscription. Artificial Intelligence\u00a039(3), 391\u2013398 (1989)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/0004-3702(92)90051-X","volume":"54","author":"M. Cadoli","year":"1992","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: An efficient method for eliminating varying predicates from a circumscription. Artificial Intelligence\u00a054(2), 397\u2013410 (1992)","journal-title":"Artificial Intelligence"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","first-page":"74","volume-title":"Non-Monotonic Reasoning","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: Compiling circumscriptive theories into logic programs. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol.\u00a0346, pp. 74\u201399. Springer, Heidelberg (1988)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-59487-6_25","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Embedding circumscriptive theories in general disjunctive programs. In: Marek, V.W., Truszczy\u0144ski, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol.\u00a0928, pp. 344\u2013357. Springer, Heidelberg (1995)"},{"issue":"1\u20132","key":"15_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence\u00a0123(1\u20132), 185\u2013222 (2000)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"15_CR21","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/j.artint.2005.09.003","volume":"170","author":"J. Lee","year":"2006","unstructured":"Lee, J., Lin, F.: Loop formulas for circumscription. Artificial Intelligence\u00a0170(2), 160\u2013185 (2006)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85776-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:49:13Z","timestamp":1619509753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85776-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857754","9783540857761"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85776-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}