{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:49:38Z","timestamp":1742939378750,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319501369"},{"type":"electronic","value":"9783319501376"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50137-6_10","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T10:41:48Z","timestamp":1480675308000},"page":"257-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling in MiningZinc"],"prefix":"10.1007","author":[{"given":"Anton","family":"Dries","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tias","family":"Guns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siegfried","family":"Nijssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrouz","family":"Babaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanh","family":"Le Van","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Negrevergne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Paramonov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Agrawal, R., Imielinski, T., Swami, A.N.: Mining association rules between sets of items in large databases. In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, pp. 207\u2013216. ACM Press (1993)","key":"10_CR1","DOI":"10.1145\/170035.170072"},{"key":"10_CR2","series-title":"Chapman & Hall\/CRC Data Mining and Knowledge Discovery Series","doi-asserted-by":"crossref","DOI":"10.1201\/9781584889977","volume-title":"Constrained Clustering: Advances in Algorithms, Theory, and Applications","author":"S Basu","year":"2008","unstructured":"Basu, S., Davidson, I., Wagstaff, K.: Constrained Clustering: Advances in Algorithms, Theory, and Applications. Chapman & Hall\/CRC Data Mining and Knowledge Discovery Series. CRC Press, Boca Raton (2008)"},{"key":"10_CR3","volume-title":"Pattern Recognition and Machine Learning","author":"CM Bishop","year":"2006","unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10618-011-0229-7","volume":"24","author":"H Blockeel","year":"2012","unstructured":"Blockeel, H., Calders, T., Fromont, \u00c9., Goethals, B., Prado, A., Robardet, C.: An inductive database system based on virtual mining views. Data Min. Knowl. Discov. 24(1), 247\u2013287 (2012)","journal-title":"Data Min. Knowl. Discov."},{"unstructured":"Boulicaut, J.F., Dzeroski, S. (eds.): Proceedings of the Second International Workshop on Inductive Databases, 22 September, Cavtat-Dubrovnik, Croatia. Rudjer Boskovic Institute, Zagreb (2003)","key":"10_CR5"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/11615576","volume-title":"Constraint-Based Mining and Inductive Databases","year":"2006","unstructured":"Boulicaut, J.-F., Raedt, L., Mannila, H. (eds.): Constraint-Based Mining and Inductive Databases. LNCS (LNAI), vol. 3848. Springer, Heidelberg (2006). doi:10.1007\/11615576"},{"unstructured":"Coquery, E., Jabbour, S., Sais, L., Salhi, Y., et al.: A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. In: European Conference on Artificial Intelligence (ECAI), vol. 242, pp. 258\u2013263 (2012)","key":"10_CR7"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/765568.765570","volume":"50","author":"A Darwiche","year":"2003","unstructured":"Darwiche, A.: A differential approach to inference in bayesian networks. J. ACM 50(3), 280\u2013305 (2003). http:\/\/doi.acm.org\/10.1145\/765568.765570","journal-title":"J. ACM"},{"unstructured":"De Raedt, L., Paramonov, S., van Leeuwen, M.: Relational decomposition using answer set programming. In: Online Preprints 23rd International Conference on Inductive Logic Programming, International Conference on Inductive Logic Programming, Rio de Janeiro, 28\u201330 August 2013, August 2013. https:\/\/lirias.kuleuven.be\/handle\/123456789\/439287","key":"10_CR9"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402\u2013436. Springer, Heidelberg (2002). doi:10.1007\/3-540-45628-7_16"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-642-40994-3_27","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"T-B-H Dao","year":"2013","unstructured":"Dao, T.-B.-H., Duong, K.-C., Vrain, C.: A declarative framework for constrained clustering. In: Blockeel, H., Kersting, K., Nijssen, S., \u017delezn\u00fd, F. (eds.) ECML PKDD 2013. LNCS (LNAI), vol. 8190, pp. 419\u2013434. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-40994-3_27"},{"issue":"3","key":"10_CR12","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 13(3), 268\u2013306 (2008)","journal-title":"Constraints"},{"doi-asserted-by":"crossref","unstructured":"Gilpin, S., Davidson, I.N.: Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach. In: Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Diego, CA, USA, 21\u201324 August 2011, pp. 1136\u20131144 (2011)","key":"10_CR13","DOI":"10.1145\/2020408.2020585"},{"unstructured":"Guns, T., Dries, A., Tack, G., Nijssen, S., De Raedt, L.: MiningZinc: a modeling language for constraint-based mining. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 1365\u20131372. AAAI Press, August 2013","key":"10_CR14"},{"unstructured":"Guns, T., Dries, A., Tack, G., Nijssen, S., Raedt, L.D.: Miningzinc: a language for constraint-based mining. In: International Joint Conference on Artificial Intelligence (2013)","key":"10_CR15"},{"issue":"12\u201313","key":"10_CR16","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.artint.2011.05.002","volume":"175","author":"T Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., De Raedt, L.: Itemset mining: a constraint programming perspective. Artif. Intell. 175(12\u201313), 1951\u20131983 (2011)","journal-title":"Artif. Intell."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/TKDE.2011.204","volume":"25","author":"T Guns","year":"2013","unstructured":"Guns, T., Nijssen, S., De Raedt, L.: k-Pattern set mining under constraints. IEEE Trans. Knowl. Data Eng. 25(2), 402\u2013418 (2013)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The weka data mining software: an update. SIGKDD Explor. 11(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor."},{"key":"10_CR19","volume-title":"Data Mining: Concepts and Techniques","author":"J Han","year":"2000","unstructured":"Han, J., Kamber, M.: Data Mining: Concepts and Techniques. Morgan Kaufmann, Burlington (2000)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1023\/A:1009816913055","volume":"3","author":"T Imielinski","year":"1999","unstructured":"Imielinski, T., Virmani, A.: MSQL: a query language for database mining. Data Min. Knowl. Disc. 3, 373\u2013408 (1999)","journal-title":"Data Min. Knowl. Disc."},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/331499.331504","volume":"31","author":"AK Jain","year":"1999","unstructured":"Jain, A.K., Murty, M.N., Flynn, P.J.: Data clustering: a review. ACM Comput. Surv. 31(3), 264\u2013323 (1999). http:\/\/doi.acm.org\/10.1145\/331499.331504","journal-title":"ACM Comput. Surv."},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-20895-9_35","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M J\u00e4rvisalo","year":"2011","unstructured":"J\u00e4rvisalo, M.: Itemset mining as a challenge application for answer set enumeration. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 304\u2013310. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-20895-9_35"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-662-44851-9_7","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"T Van","year":"2014","unstructured":"Van, T., Leeuwen, M., Nijssen, S., Fierro, A.C., Marchal, K., Raedt, L.: Ranked tiling. In: Calders, T., Esposito, F., H\u00fcllermeier, E., Meo, R. (eds.) ECML PKDD 2014. LNCS (LNAI), vol. 8725, pp. 98\u2013113. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-44851-9_7. https:\/\/lirias.kuleuven.be\/handle\/123456789\/457022"},{"unstructured":"Mannila, H.: Inductive databases and condensed representations for data mining. In: ILPS, pp. 21\u201330 (1997)","key":"10_CR24"},{"issue":"3","key":"10_CR25","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.J., De La Banda, M.G., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"unstructured":"Meo, R., Psaila, G., Ceri, S.: A new SQL-like operator for mining association rules. In: VLDB, pp. 122\u2013133 (1996)","key":"10_CR26"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-34156-4_20","volume-title":"Advances in Intelligent Data Analysis XI","author":"J-P M\u00e9tivier","year":"2012","unstructured":"M\u00e9tivier, J.-P., Boizumault, P., Cr\u00e9milleux, B., Khiari, M., Loudni, S.: Constrained clustering using SAT. In: Hollm\u00e9n, J., Klawonn, F., Tucker, A. (eds.) IDA 2012. LNCS, vol. 7619, pp. 207\u2013218. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-34156-4_20"},{"doi-asserted-by":"crossref","unstructured":"M\u00e9tivier, J.P., Boizumault, P., Cr\u00e9milleux, B., Khiari, M., Loudni, S.: A constraint language for declarative pattern discovery. In: SAC 2012, pp. 119\u2013125. ACM (2012). http:\/\/doi.acm.org\/10.1145\/2245276.2245302","key":"10_CR28","DOI":"10.1145\/2245276.2245302"},{"issue":"10","key":"10_CR29","doi-asserted-by":"publisher","first-page":"1348","DOI":"10.1109\/TKDE.2008.53","volume":"20","author":"P Miettinen","year":"2008","unstructured":"Miettinen, P., Mielik\u00e4inen, T., Gionis, A., Das, G., Mannila, H.: The discrete basis problem. IEEE Trans. Knowl. Data Eng. 20(10), 1348\u20131362 (2008)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"10_CR30","volume-title":"Machine Learning","author":"T Mitchell","year":"1997","unstructured":"Mitchell, T.: Machine Learning, 1st edn. McGraw-Hill, New York (1997)","edition":"1"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-319-18008-3_20","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"B Negrevergne","year":"2015","unstructured":"Negrevergne, B., Guns, T.: Constraint-based sequence mining using constraint programming. In: Michel, L. (ed.) CPAIOR 2015. LNCS, vol. 9075, pp. 288\u2013305. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-18008-3_20"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-74970-7_38"},{"key":"10_CR33","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-38171-3_18","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"PJ Stuckey","year":"2013","unstructured":"Stuckey, P.J., Tack, G.: MiniZinc with functions. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 268\u2013283. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38171-3_18"},{"key":"10_CR35","volume-title":"Introduction to Data Mining","author":"PN Tan","year":"2005","unstructured":"Tan, P.N., Steinbach, M., Kumar, V.: Introduction to Data Mining. Addison-Wesley, Boston (2005)"},{"key":"10_CR36","volume-title":"The OPL Optimization Programming Language","author":"P Van Hentenryck","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"key":"10_CR37","volume-title":"Constraint-Based Local Search","author":"P Van Hentenryck","year":"2005","unstructured":"Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)"},{"key":"10_CR38","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1111\/j.1467-9868.2005.00503.x","volume":"67","author":"H Zou","year":"2005","unstructured":"Zou, H., Hastie, T.: Regularization and variable selection via the elastic net. J. Roy. Stat. Soc. Series B 67, 301\u2013320 (2005)","journal-title":"J. Roy. Stat. Soc. Series B"}],"container-title":["Lecture Notes in Computer Science","Data Mining and Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50137-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:13:48Z","timestamp":1709820828000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-50137-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319501369","9783319501376"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50137-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"3 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}