{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:38Z","timestamp":1725536918797},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_15","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"155-168","source":"Crossref","is-referenced-by-count":7,"title":["A Module-Based Framework for Multi-language Constraint Modeling"],"prefix":"10.1007","author":[{"given":"Matti","family":"J\u00e4rvisalo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilia","family":"Oikarinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomi","family":"Janhunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilkka","family":"Niemel\u00e4","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","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":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11799573_28","volume-title":"Logic Programming","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.\u00a04079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"15_CR3","unstructured":"Balduccini, M.: Modules and signature declarations for A-Prolog: Progress report. In: SEA, pp. 41\u201355 (2007)"},{"issue":"5-6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1017\/S147106840800358X","volume":"8","author":"E. Oikarinen","year":"2008","unstructured":"Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for smodels programs. Theory and Practice of Logic Programming\u00a08(5-6), 717\u2013761 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"15_CR5","first-page":"75","volume-title":"ECAI","author":"T. Janhunen","year":"2008","unstructured":"Janhunen, T.: Modular equivalence in general. In: ECAI, pp. 75\u201379. IOS Press, Amsterdam (2008)"},{"key":"15_CR6","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90\u201396 (2005)"},{"key":"15_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/11546207_40","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Elkabani","year":"2005","unstructured":"Elkabani, I., Pontelli, E., Son, T.: Smodelsa - a system for computing answer sets of logic programs with aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 427\u2013431. Springer, Heidelberg (2005)"},{"key":"15_CR8","unstructured":"Gebser, M., et\u00a0al.: Clingcon (2009), \n                    \n                      http:\/\/www.cs.uni-potsdam.de\/clingcon\/"},{"key":"15_CR9","unstructured":"Tari, L., Baral, C., Anwar, S.: A language for modular answer set programming: Application to ACC tournament scheduling. In: ASP, pp. 277\u2013292 (2005)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11562931_7","volume-title":"Logic Programming","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.\u00a03668, pp. 52\u201366. Springer, Heidelberg (2005)"},{"issue":"1-4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"V. Mellarkod","year":"2008","unstructured":"Mellarkod, V., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell.\u00a053(1-4), 251\u2013287 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR12","unstructured":"Castro, L., Swift, T., Warren, D.: Xasp (2009), \n                    \n                      http:\/\/xsb.sourceforge.net\/"},{"key":"15_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11546207_35","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. El-Khatib","year":"2005","unstructured":"El-Khatib, O., Pontelli, E., Son, T.: Integrating an answer set solver into Prolog: ASP-PROLOG. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 399\u2013404. Springer, Heidelberg (2005)"},{"key":"15_CR14","unstructured":"Pontelli, E., Son, T., Baral, C.: A logic programming based framework for intelligent web services composition. In: Managing Web Services Quality: Measuring Outcomes and Effectiveness. IDEA Group Publishing (2008)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-25938-1_18","volume-title":"Logic Based Program Synthesis and Transformation","author":"P. Flener","year":"2004","unstructured":"Flener, P., Pearson, J., \u00c5gren, M.: Introducing ESRA, a relational language for modelling combinatorial problems. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 214\u2013232. Springer, Heidelberg (2004)"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A. Frisch","year":"2008","unstructured":"Frisch, A., Harvey, W., Jefferson, C., Hern\u00e1ndez, B.M., Miguel, I.: ESSENCE: A constraint language for specifying combinatorial problems. Constraints\u00a013(3), 268\u2013306 (2008)","journal-title":"Constraints"},{"issue":"3","key":"15_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10601-008-9041-4","volume":"13","author":"K. Marriott","year":"2008","unstructured":"Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., de la Banda, M.G., Wallace, M.: The design of the Zinc modelling language. Constraints\u00a013(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-49201-1_22","volume-title":"Practical Aspects of Declarative Languages","author":"H.J. Goltz","year":"1999","unstructured":"Goltz, H.J., Matzke, D.: University timetabling using constraint logic programming. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 320\u2013334. Springer, Heidelberg (1999)"},{"issue":"2-4","key":"15_CR19","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10472-008-9090-9","volume":"51","author":"S. Perri","year":"2007","unstructured":"Perri, S., Scarcello, F., Catalano, G., Leone, N.: Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell.\u00a051(2-4), 195\u2013228 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-85958-1_10","volume-title":"Principles and Practice of Constraint Programming","author":"J. Huang","year":"2008","unstructured":"Huang, J.: Universal Booleanization of constraint models. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 144\u2013158. Springer, Heidelberg (2008)"},{"issue":"1-4","key":"15_CR21","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10472-009-9118-9","volume":"53","author":"I. Niemel\u00e4","year":"2008","unstructured":"Niemel\u00e4, I.: Stable models and difference logic. Ann. Math. Artif. Intell.\u00a053(1-4), 313\u2013329 (2008)","journal-title":"Ann. Math. Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T11:33:04Z","timestamp":1552131184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}