{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:27:41Z","timestamp":1743006461670,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_14","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"199-214","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid ASP-Based Approach to Pattern Mining"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Paramonov","sequence":"first","affiliation":[]},{"given":"Daria","family":"Stepanova","sequence":"additional","affiliation":[]},{"given":"Pauli","family":"Miettinen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"14_CR1","unstructured":"Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Advances in Knowledge Discovery and Data Mining, pp. 307\u2013328 (1996)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-319-46227-1_20","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"JOR Aoga","year":"2016","unstructured":"Aoga, J.O.R., Guns, T., Schaus, P.: An efficient algorithm for mining frequent sequence with constraint programming. In: Frasconi, P., Landwehr, N., Manco, G., Vreeken, J. (eds.) ECML PKDD 2016. LNCS, vol. 9852, pp. 315\u2013330. Springer, Cham (2016). doi: 10.1007\/978-3-319-46227-1_20"},{"issue":"2","key":"14_CR3","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/s10115-005-0201-1","volume":"9","author":"F Bonchi","year":"2006","unstructured":"Bonchi, F., Lucchese, C.: On condensed representations of constrained frequent patterns. Knowl. Inf. Syst. 9(2), 180\u2013201 (2006)","journal-title":"Knowl. Inf. Syst."},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-04222-5_2","volume-title":"Frontiers of Combining Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining nonmonotonic knowledge bases with external sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol. 5749, pp. 18\u201342. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04222-5_2"},{"key":"14_CR5","unstructured":"Gebser, M., Guyet, T., Quiniou, R., Romero, J., Schaub, T.: Knowledge-based sequence mining with ASP. In: Proceedings of 25th International Joint Conference on Artificial Intelligence, IJCAI (2016)"},{"key":"14_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/j.artint.2015.09.007","volume":"244","author":"T Guns","year":"2017","unstructured":"Guns, T., Dries, A., Nijssen, S., Tack, G., De Raedt, L.: MiningZinc: a declarative framework for constraint-based mining. Artif. Intell. 244, 6\u201329 (2017)","journal-title":"Artif. Intell."},{"key":"14_CR8","unstructured":"Guns, T., Paramonov, S., N\u00e9grevergne, B.: On declarative modeling of structured pattern mining. In: Declarative Learning Based Programming, AAAI Workshop (2016)"},{"key":"14_CR9","unstructured":"Guyet, T., Moinard, Y., Quiniou, R.: Using answer set programming for pattern mining. CoRR abs\/1409.7777 (2014)"},{"key":"14_CR10","unstructured":"van der Hallen, M., Paramonov, S., Leuschel, M., Janssens, G.: Knowledge representation analysis of graph mining. CoRR abs\/1608.08956 (2016)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Jabbour, S., Sais, L., Salhi, Y.: Boolean satisfiability for sequence mining. In: Proceedings of 22nd ACM International Conference on Information and Knowledge Management (CIKM), pp. 649\u2013658 (2013)","DOI":"10.1145\/2505515.2505577"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/978-3-319-18032-8_52","volume-title":"Advances in Knowledge Discovery and Data Mining","author":"S Jabbour","year":"2015","unstructured":"Jabbour, S., Sais, L., Salhi, Y.: Decomposition based SAT encodings for itemset mining problems. In: Cao, T., Lim, E.-P., Zhou, Z.-H., Ho, T.-B., Cheung, D., Motoda, H. (eds.) PAKDD 2015. LNCS (LNAI), vol. 9078, pp. 662\u2013674. Springer, Cham (2015). doi: 10.1007\/978-3-319-18032-8_52"},{"key":"14_CR13","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"},{"issue":"3","key":"14_CR14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1009796218281","volume":"1","author":"H Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Min. Knowl. Discov. 1(3), 241\u2013258 (1997)","journal-title":"Data Min. Knowl. Discov."},{"key":"14_CR15","unstructured":"M\u00e9tivier, J., Loudni, S., Charnois, T.: A constraint programming approach for mining sequential patterns in a sequence database. CoRR abs\/1311.6907 (2013)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"N\u00e9grevergne, B., Dries, A., Guns, T., Nijssen, S.: Dominance programming for itemset mining. In: 2013 IEEE 13th International Conference on Data Mining, pp. 557\u2013566 (2013)","DOI":"10.1109\/ICDM.2013.92"},{"key":"14_CR17","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, Cham (2015). doi: 10.1007\/978-3-319-18008-3_20"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-40566-7_12","volume-title":"Inductive Logic Programming","author":"S Paramonov","year":"2016","unstructured":"Paramonov, S., Leeuwen, M., Denecker, M., Raedt, L.: An exercise in declarative modeling for relational query mining. In: Inoue, K., Ohwada, H., Yamamoto, A. (eds.) ILP 2015. LNCS (LNAI), vol. 9575, pp. 166\u2013182. Springer, Cham (2016). doi: 10.1007\/978-3-319-40566-7_12"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Pei, J., Han, J.: Can we push more constraints into frequent pattern mining? In: ACM SIGKDD, pp. 350\u2013354 (2000)","DOI":"10.1145\/347090.347166"},{"key":"14_CR20","unstructured":"Pei, J., Han, J., Mao, R.: CLOSET: an efficient algorithm for mining frequent closed itemsets. In: ACM SIGMOD Workshop on Research Issues on Data Mining and Knowledge Discovery, pp. 21\u201330 (2000)"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-07046-9_6","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"W Ugarte Rojas","year":"2014","unstructured":"Ugarte Rojas, W., Boizumault, P., Loudni, S., Cr\u00e9milleux, B., Lepailleur, A.: Mining (soft-) skypatterns using dynamic CSP. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 71\u201387. Springer, Cham (2014). doi: 10.1007\/978-3-319-07046-9_6"},{"issue":"1\u20132","key":"14_CR22","doi-asserted-by":"crossref","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. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Yan, X., Han, J., Afshar, R.: CloSpan: mining closed sequential patterns in large datasets. In: SDM, pp. 166\u2013177 (2003)","DOI":"10.1137\/1.9781611972733.15"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Zaki, M.J., Parthasarathy, S., Ogihara, M., Li, W.: New algorithms for fast discovery of association rules. Technical report, Rochester, NY, USA (1997)","DOI":"10.1007\/978-1-4615-5669-5_1"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T19:52:10Z","timestamp":1569441130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}