{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:27:10Z","timestamp":1725514030369},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540721994"},{"type":"electronic","value":"9783540722007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72200-7_33","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T12:54:47Z","timestamp":1181048087000},"page":"321-326","source":"Crossref","is-referenced-by-count":1,"title":["Modularity in smodels Programs"],"prefix":"10.1007","author":[{"given":"Emilia","family":"Oikarinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"33_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell.\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","first-page":"290","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: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"33_CR3","unstructured":"Ianni, G., et al.: Enhancing answer set programming with templates. In: NMR, pp. 233\u2013239 (2004)"},{"key":"33_CR4","unstructured":"Tari, L., Baral, C., Anwar, S.: A language for modular answer set programming: Application to ACC tournament scheduling. In: ASP, CEUR-WS.org, 277\u2013292 (2005)"},{"key":"33_CR5","first-page":"23","volume-title":"ICLP","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP, pp. 23\u201337. MIT Press, Cambridge (1994)"},{"issue":"3","key":"33_CR6","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"33_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-540-30570-5_21","volume-title":"Database Theory - ICDT 2005","author":"W. Faber","year":"2004","unstructured":"Faber, W., Greco, G., Leone, N.: Magic sets and their application to data integration. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, pp. 306\u2013320. Springer, Heidelberg (2004)"},{"key":"33_CR8","first-page":"412","volume-title":"ECAI","author":"E. Oikarinen","year":"2006","unstructured":"Oikarinen, E., Janhunen, T.: Modular equivalence for normal logic programs. In: ECAI, pp. 412\u2013416. IOS Press, Amsterdam (2006)"},{"key":"33_CR9","first-page":"134","volume-title":"POPL","author":"H. Gaifman","year":"1989","unstructured":"Gaifman, H., Shapiro, E.Y.: Fully abstract compositional semantics for logic programs. In: POPL, pp. 134\u2013142. ACM Press, New York (1989)"},{"key":"33_CR10","first-page":"1070","volume-title":"ICLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"1-2","key":"33_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"33_CR12","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 TOCL\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM TOCL"},{"issue":"1-2","key":"33_CR13","first-page":"35","volume":"16","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T.: Some (In)translatability Results for Normal Logic Programs and Propositional Theories. JANCL\u00a016(1-2), 35\u201386 (2006)","journal-title":"JANCL"},{"issue":"3","key":"33_CR14","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Autoepistemic logic. J. ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"J. ACM"},{"key":"33_CR15","series-title":"Lecture Notes in Artificial Intelligence","first-page":"306","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"D. Pearce","year":"2001","unstructured":"Pearce, D., Tompits, H., Woltran, S.: Encodings for equilibrium logic and logic programs with nested expressions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 306\u2013320. Springer, Heidelberg (2001)"},{"issue":"4","key":"33_CR16","first-page":"1","volume":"7","author":"T. Janhunen","year":"2007","unstructured":"Janhunen, T., Oikarinen, E.: Automated verification of weak equivalence within the smodels system. TPLP\u00a07(4), 1\u201348 (2007)","journal-title":"TPLP"},{"issue":"2","key":"33_CR17","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comp.\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comp."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72200-7_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:29:39Z","timestamp":1605745779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72200-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540721994","9783540722007"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72200-7_33","relation":{},"subject":[]}}