{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T01:11:26Z","timestamp":1767575486744},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_14","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"134-146","source":"Crossref","is-referenced-by-count":11,"title":["Capturing Parallel Circumscription with Disjunctive Logic Programs"],"prefix":"10.1007","author":[{"given":"Tomi","family":"Janhunen","sequence":"first","affiliation":[]},{"given":"Emilia","family":"Oikarinen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"460","volume-title":"Proceedings of the 15th International Joint Conference on Artificial Intelligence","author":"P. Baumgartner","year":"1997","unstructured":"Baumgartner, P., Fr\u00f6hlich, P., Furbach, U., Nejdl, W.: Semantically guided theorem proving for diagnosis applications. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence, Nagoya, pp. 460\u2013465. Morgan Kaufmann, San Francisco (1997)"},{"issue":"2","key":"14_CR2","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"},{"issue":"3","key":"14_CR3","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":"1-2","key":"14_CR4","first-page":"99","volume":"12","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the DLV system. AI Communications\u00a012(1-2), 99\u2013111 (1999)","journal-title":"AI Communications"},{"key":"14_CR5","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, 289\u2013323 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR6","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-63255-7_22","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular logic programming and generalized quantifiers. In: Dix, J., Furbach, U., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 289\u2013308. Springer, Heidelberg (1997)"},{"key":"14_CR7","first-page":"449","volume-title":"Proceedings of the 7th National Conference on Artificial Intelligence","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: Compiling circumscriptive theories into logic programs. In: Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, August 1988, pp. 449\u2013455. AAAI Press, Menlo Park (1988)"},{"key":"14_CR8","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"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. Journal of Logic Programming\u00a035(1), 39\u201378 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"1-4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1018915113814","volume":"27","author":"T. Janhunen","year":"1999","unstructured":"Janhunen, T.: On the intertranslatability of non-monotonic logics. Annals of Mathematics and Artificial Intelligence\u00a027(1-4), 79\u2013128 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR11","series-title":"Lecture Notes in Artificial Intelligence","first-page":"93","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2001","unstructured":"Janhunen, T.: On the effect of default negation on the expressiveness of disjunctive rules. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 93\u2013106. Springer, Heidelberg (2001)"},{"key":"14_CR12","unstructured":"Janhunen, T.: Translatability and intranslatability results for certain classes of logic programs, Espoo, Finland. Series A: Research report 82, Helsinki University of Technology, Laboratory for Theoretical Computer Science (November 2003)"},{"key":"14_CR13","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 (2004), Accepted for publication, see \n                    \n                      http:\/\/www.acm.org\/tocl\/accepted.html"},{"key":"14_CR14","first-page":"281","volume-title":"Proceedings of the 19th National Conference on Artificial Intelligence","author":"J. Lee","year":"2004","unstructured":"Lee, J., Lin, F.: Loop formulas for circumscription. In: Proceedings of the 19th National Conference on Artificial Intelligence, San Jose, California, July 2004, pp. 281\u2013286. AAAI, Menlo Park (2004)"},{"key":"14_CR15","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Scarcello, F.: The DLV system for knowledge representation and reasoning. CoRR: cs.AI\/0211004 v2 (August 2003)"},{"key":"14_CR16","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: Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, California, USA, August 1985, pp. 121\u2013127. Morgan Kaufmann, San Francisco (1985)"},{"key":"14_CR17","first-page":"23","volume-title":"Proceedings of the 11th International Conference on Logic Programming","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of the 11th International Conference on Logic Programming, pp. 23\u201337. MIT Press, Cambridge (1994)"},{"key":"14_CR18","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\u2014a form of non-monotonic reasoning. Artificial Intelligence\u00a013, 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61208-4_18","volume-title":"Theorem Proving with Analytic Tableaux and Related Methods","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I.: A tableau calculus for minimal model reasoning. In: Miglioli, P., Moscato, U., Ornaghi, M., Mundici, D. (eds.) TABLEAUX 1996. LNCS, vol.\u00a01071, pp. 278\u2013294. Springer, Heidelberg (1996)"},{"key":"14_CR20","doi-asserted-by":"publisher","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\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"14_CR21","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, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"14_CR22","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)"},{"key":"14_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-46767-X_22","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Simons","year":"1999","unstructured":"Simons, P.: Extending the stable model semantics with more expressive rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 305\u2013316. Springer, Heidelberg (1999)"}],"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-540-30227-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:01Z","timestamp":1620014281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}