{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:27:18Z","timestamp":1742920038796,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415234"},{"type":"electronic","value":"9783642415241"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41524-1_12","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"215-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Solving Modular Model Expansion: Case Studies"],"prefix":"10.1007","author":[{"given":"Shahab","family":"Tasharrofi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiongnan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenia","family":"Ternovska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"12_CR1","unstructured":"Mitchell, D.G., Ternovska, E.: A framework for representing and solving NP search problems. In: Proceedings of AAAI, pp. 430\u2013435 (2005)"},{"key":"12_CR2","first-page":"259","volume-title":"FroCoS 2011. LNCS","author":"S Tasharrofi","year":"2011","unstructured":"Tasharrofi, S., Ternovska, E.: A semantic account for modularity in multi-language modelling of search problems. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS, vol. 6989, pp. 259\u2013274. Springer, Heidelberg (2011)"},{"key":"12_CR3","first-page":"3","volume-title":"LPNMR 2009. LNCS","author":"I Niemel\u00e4","year":"2009","unstructured":"Niemel\u00e4, I.: Integrating answer set programming and satisfiability modulo theories. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, p. 3. Springer, Heidelberg (2009)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving sat and sat modulo theories: from an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J. ACM 53, 937\u2013977 (2006)","journal-title":"J. ACM"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5362-2","volume-title":"Handbook of applied optimization","author":"P Pardalos","year":"2002","unstructured":"Pardalos, P., Resende, M.: Handbook of applied optimization, vol. 126. Oxford University Press, New York (2002)"},{"key":"12_CR6","first-page":"235","volume-title":"ICLP 2009. LNCS","author":"M Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint answer set solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 235\u2013249. Springer, Heidelberg (2009)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"AM Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I.: Essence: a constraint language for specifying combinatorial problems. Constraints 13, 268\u2013306 (2008)","journal-title":"Constraints"},{"key":"12_CR8","first-page":"155","volume-title":"LPNMR 2009. LNCS","author":"M J\u00e4rvisalo","year":"2009","unstructured":"J\u00e4rvisalo, M., Oikarinen, E., Janhunen, T., Niemel\u00e4, I.: A module-based framework for multi-language constraint modeling. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 155\u2013168. Springer, Heidelberg (2009)"},{"key":"12_CR9","unstructured":"Vaezipoor, P., Mitchell, D., Mari\u00ebn, M.: Lifted unit propagation for effective grounding. In: 19th International Conference on Applications of Declarative Programming and Knowledge Management (2011). CoRR abs\/1109.1317"},{"key":"12_CR10","first-page":"141","volume":"3","author":"R Sebastiani","year":"2007","unstructured":"Sebastiani, R.: Lazy satisfiability modulo theories. JSAT 3, 141\u2013224 (2007)","journal-title":"JSAT"},{"key":"12_CR11","unstructured":"De Cat, B., Denecker, M.: DPLL(Agg): An efficient SMT module for aggregates. In: LaSh 2010 Workshop (2010)"},{"key":"12_CR12","first-page":"52","volume-title":"ICLP 2005. LNCS","author":"S Baselice","year":"2005","unstructured":"Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 52\u201366. Springer, Heidelberg (2005)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"VS Mellarkod","year":"2008","unstructured":"Mellarkod, V.S., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53, 251\u2013287 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"key":"12_CR14","first-page":"290","volume-title":"LPNMR 1997. LNCS","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, vol. 1265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"12_CR15","unstructured":"Oikarinen, E., Janhunen, T.: Modular equivalence for normal logic programs. In: The Proceedings of NMR 2006, pp. 10\u201318 (2006)"},{"key":"12_CR16","first-page":"175","volume-title":"LPNMR 2007. LNCS (LNAI)","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. 4483, pp. 175\u2013187. Springer, Heidelberg (2007)"},{"key":"12_CR17","first-page":"145","volume-title":"ICLP 2009. LNCS","author":"M Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular nonmonotonic logic programming revisited. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"12_CR18","first-page":"376","volume-title":"ICLP 2006. LNCS","author":"C Baral","year":"2006","unstructured":"Baral, C., Dzifcak, J., Takahashi, H.: Macros, macro calls and use of ensembles in modular answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"12_CR19","unstructured":"Balduccini, M.: Modules and signature declarations for a-prolog: Progress report. In: SEA, pp. 41\u201355 (2007)"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1342991.1342998","volume":"9","author":"M Denecker","year":"2008","unstructured":"Denecker, M., Ternovska, E.: A logic of non-monotone inductive definitions. Trans. Comput. Logic 9(2), 1\u201351 (2008)","journal-title":"Trans. Comput. Logic"},{"key":"12_CR21","unstructured":"Swift, T., Warren, D.S.: The XSB System (2009)"},{"key":"12_CR22","first-page":"148","volume-title":"PADL 2004. LNCS","author":"O Elkhatib","year":"2004","unstructured":"Elkhatib, O., Pontelli, E., Son, T.C.: $$\\mathbb{ASP-PROLOG}$$: a system for reasoning about answer set programs in prolog. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 148\u2013162. Springer, Heidelberg (2004)"},{"key":"12_CR23","first-page":"700","volume-title":"CP 2006. LNCS","author":"M Garcia de la Banda","year":"2006","unstructured":"Garcia de la Banda, M., Marriott, M., Rafeh, R., Wallace, M.: The modelling language zinc. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 700\u2013705. Springer, Heidelberg (2006)"},{"key":"12_CR24","first-page":"385","volume-title":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence","author":"G Brewka","year":"2007","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. Proceedings of the 22nd AAAI Conference on Artificial Intelligence, vol. 1, pp. 385\u2013390. AAAI Press, Vancouver (2007)"},{"key":"12_CR25","first-page":"352","volume-title":"JELIA 2010. LNCS","author":"S-D Bairakdar","year":"2010","unstructured":"Bairakdar, S.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS solver for distributed nonmonotonic multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 352\u2013355. Springer, Heidelberg (2010)"},{"key":"12_CR26","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR 2010), Toronto, Ontario, Canada, 9\u201313 May 2010. AAAI Press (2010)"},{"key":"12_CR27","first-page":"107","volume-title":"LPNMR 2011. LNCS","author":"T Eiter","year":"2011","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P.: Approximations for explanations of inconsistency in partially known multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 107\u2013119. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41524-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T17:16:36Z","timestamp":1676654196000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}