{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:11:38Z","timestamp":1725912698273},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319654058"},{"type":"electronic","value":"9783319654065"}],"license":[{"start":{"date-parts":[[2017,10,11]],"date-time":"2017-10-11T00:00:00Z","timestamp":1507680000000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-65406-5_3","type":"book-chapter","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T13:21:59Z","timestamp":1507641719000},"page":"41-81","source":"Crossref","is-referenced-by-count":7,"title":["Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Guyet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Moinard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Quiniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Imielinski, T., & Swami, A. (1993). Mining association rules between sets of items in large databases. In Proceedings of the ACM SIGMOD Conference on Management of Data (pp. 207\u2013216).","DOI":"10.1145\/170035.170072"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, R., & Srikant, R. (1995). Mining sequential patterns. In Proceedings of the International Conference on Data Engineering (pp. 3\u201314).","DOI":"10.1109\/ICDE.1995.380415"},{"key":"3_CR3","unstructured":"Biere, A., Heule, M., van Maaren, H., & Walsh, T. (2009). Handbook of satisfiability. Frontiers in artificial intelligence and applications (Vol. 185). IOS Press."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Giannotti, F., Lucchese, C., Orlando, S., Perego, R., & Trasarti, R. (2006). Conquest: A constraint-based querying system for exploratory pattern discovery. In Proceedings of the International Conference on Data Engineering (pp. 159\u2013159).","DOI":"10.1109\/ICDE.2006.42"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/0-387-25465-X_18","volume-title":"Data mining and knowledge discovery handbook","author":"J-F Boulicaut","year":"2005","unstructured":"Boulicaut, J.-F., & Jeudy, B. (2005). Constraint-based data mining. In O. Maimon & L. Rokach (Eds.), Data mining and knowledge discovery handbook (pp. 399\u2013416). US: Springer."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Brewka, G., Delgrande, J.P., Romero, J., & Schaub, T. (2015). Asprin: Customizing answer set preferences without a headache. In Proceedings of the Conference on Artificial Intelligence (AAAI), pp. 1467\u20131474.","DOI":"10.1609\/aaai.v29i1.9398"},{"issue":"06","key":"3_CR7","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1017\/S147106841400009X","volume":"15","author":"M Bruynooghe","year":"2015","unstructured":"Bruynooghe, M., Blockeel, H., Bogaerts, B., De Cat, B., De Pooter, S., Jansen, J., et al. (2015). Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3. Theory and Practice of Logic Programming, 15(06), 783\u2013817.","journal-title":"Theory and Practice of Logic Programming"},{"key":"3_CR8","unstructured":"Coletta, R., & Negrevergne, B. (2016). A SAT model to mine flexible sequences in transactional datasets. arXiv:1604.00300 ."},{"key":"3_CR9","unstructured":"Coquery, E., Jabbour, S., Sa\u00efs, L., & Salhi, Y. (2012). A SAT-Based approach for discovering frequent, closed and maximal patterns in a sequence. In Proceedings of European Conference on Artificial Intelligence (ECAI) (pp. 258\u2013263)."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Dao, T., Duong, K., & Vrain, C. (2015). Constrained minimum sum of squares clustering by constraint programming. In Proceedings of Principles and Practice of Constraint Programming (pp. 557\u2013573).","DOI":"10.1007\/978-3-319-23219-5_39"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"De Raedt, L. (2015). Languages for learning and mining. In Proceedings of the Conference on Artificial Intelligence (AAAI) (pp. 4107\u20134111).","DOI":"10.1609\/aaai.v29i1.9776"},{"key":"3_CR12","unstructured":"Garofalakis, M., Rastogi, R., & Shim, K. (1999). SPIRIT: Sequential pattern mining with regular expression constraints. In Proceedings of the International Conference on Very Large Data Bases (pp. 223\u2013234)."},{"key":"3_CR13","unstructured":"Gebser, M., Guyet, T., Quiniou, R., Romero, J., & Schaub, T. (2016). Knowledge-based sequence mining with ASP. In Proceedings of International Join Conference on Artificial Intelligence (pp. 1497\u20131504)."},{"issue":"2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Schneider, M. (2011). Potassco: The Potsdam answer set solving collection. AI Communications, 24(2), 107\u2013124.","journal-title":"AI Communications"},{"key":"3_CR15","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T. (2014). Clingo = ASP + control: Preliminary report. In Technical Communications of the Thirtieth International Conference on Logic Programming."},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365\u2013385.","journal-title":"New Generation Computing"},{"key":"3_CR17","unstructured":"Guns, T., Dries, A., Nijssen, S., Tack, G., & De Raedt, L. (2015). MiningZinc: A declarative framework for constraint-based mining. Artificial Intelligence, page In press."},{"issue":"12\u201313","key":"3_CR18","doi-asserted-by":"crossref","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. (2011). Itemset mining: A constraint programming perspective. Artificial Intelligence, 175(12\u201313), 1951\u20131983.","journal-title":"Artificial Intelligence"},{"key":"3_CR19","unstructured":"Gupta, M., & Han, J. (2013). Data mining: Concepts, methodologies, tools, and applications, chapter Applications of pattern discovery using sequential data mining (pp. 947\u2013970). IGI-Global."},{"key":"3_CR20","unstructured":"Guyet, T., Moinard, Y., & Quiniou, R. (2014). Using answer set programming for pattern mining. In Proceedings of Conference \u201cIntelligence Artificielle Fondamentale\u201d (IAF)."},{"key":"3_CR21","unstructured":"Guyet, T., Moinard, Y., Quiniou, R., & Schaub, T. (2016). Fouille de motifs s\u00e9quentiels avec ASP. In Proceedings of Conference \u201cExtraction et la Gestion des Connaissances\u201d (EGC) (pp. 39\u201350)."},{"issue":"11","key":"3_CR22","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/240455.240472","volume":"39","author":"T Imielinski","year":"1996","unstructured":"Imielinski, T., & Mannila, H. (1996). A database perspective on knowledge discovery. Communications of the ACM, 39(11), 58\u201364.","journal-title":"Communications of the ACM"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1609\/aimag.v37i3.2671","volume":"37","author":"T Janhunen","year":"2016","unstructured":"Janhunen, T., & Niemel\u00e4, I. (2016). The answer set programming paradigm. AI Magazine, 37, 13\u201324.","journal-title":"AI Magazine"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"J\u00e4rvisalo, M. (2011). Itemset mining as a challenge application for answer set enumeration. In Proceedings of the Conference on Logic Programming and Nonmonotonic Reasoning (pp. 304\u2013310).","DOI":"10.1007\/978-3-642-20895-9_35"},{"key":"3_CR25","unstructured":"Lallouet, A., Moinard, Y., Nicolas, P., & St\u00e9phan, I. (2013). Programmation logique. In P. Marquis, O. Papini, & H. Prade (Eds.), Panorama de l\u2019intelligence artificielle: ses bases m\u00e9thodologiques, ses d\u00e9veloppements (Vol. 2). C\u00e9padu\u00e8s."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre, C., & Nicolas, P. (2009). The first version of a new ASP solver: ASPeRiX. In Proceedings of the Conference on Logic Programming and Nonmonotonic Reasoning (pp. 522\u2013527).","DOI":"10.1007\/978-3-642-04238-6_52"},{"issue":"3","key":"3_CR27","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., et al. (2006). The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7(3), 499\u2013562.","journal-title":"ACM Transactions on Computational Logic"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Lhote, L. (2010). Number of frequent patterns in random databases. In Skiadas, C.\u00a0H. (Ed.), Advances in data analysis, Statistics for industry and technology (pp. 33\u201345).","DOI":"10.1007\/978-0-8176-4799-5_4"},{"key":"3_CR29","unstructured":"Lifschitz, V. (2008). What is answer set programming? In Proceedings of the Conference on Artificial Intelligence (AAAI) (pp. 1594\u20131597)."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Low-Kam, C., Ra\u00efssi, C., Kaytoue, M., & Pei, J. (2013). Mining statistically significant sequential patterns. In Proceedings of the IEEE International Conference on Data Mining (pp. 488\u2013497).","DOI":"10.1109\/ICDM.2013.124"},{"key":"3_CR31","unstructured":"M\u00e9tivier, J.-P., Loudni, S., & Charnois, T. (2013). A constraint programming approach for mining sequential patterns in a sequence database. In Proceedings of the Workshops of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML\/PKDD)."},{"issue":"2","key":"3_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2431211.2431218","volume":"45","author":"CH Mooney","year":"2013","unstructured":"Mooney, C. H., & Roddick, J. F. (2013). Sequential pattern mining\u2014Approaches and algorithms. ACM Computing Surveys, 45(2), 1\u201339.","journal-title":"ACM Computing Surveys"},{"key":"3_CR33","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: Theory and methods. The Journal of Logic Programming, 19, 629\u2013679.","journal-title":"The Journal of Logic Programming"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Negrevergne, B., Dries, A., Guns, T., & Nijssen, S. (2013). Dominance programming for itemset mining. In Proceedings of the International Conference on Data Mining (pp. 557\u2013566).","DOI":"10.1109\/ICDM.2013.92"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Negrevergne, B., & Guns, T. (2015). Constraint-based sequence mining using constraint programming. In Proceedings of International Conference on Integration of AI and OR Techniques in Constraint Programming, CPAIOR (pp. 288\u2013305).","DOI":"10.1007\/978-3-319-18008-3_20"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Stuckey, P.\u00a0J., Becket, R., Brand, S., Duck, G.\u00a0J., & Tack, G. (2007). MiniZinc: Towards a standard CP modelling language. In Proceedings of the Conference on Principles and Practice of Constraint Programming (pp. 529\u2013543).","DOI":"10.1007\/978-3-540-74970-7_38"},{"issue":"11","key":"3_CR37","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1109\/TKDE.2004.77","volume":"16","author":"J Pei","year":"2004","unstructured":"Pei, J., Han, J., Mortazavi-Asl, B., Wang, J., Pinto, H., Chen, Q., et al. (2004). Mining sequential patterns by pattern-growth: The prefixspan approach. IEEE Transactions on Knowledge and Data Engineering, 16(11), 1424\u20131440.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"3_CR38","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s10844-006-0006-z","volume":"28","author":"J Pei","year":"2007","unstructured":"Pei, J., Han, J., & Wang, W. (2007). Constraint-based sequential pattern mining: The pattern-growth methods. Journal of Intelligent Information Systems, 28(2), 133\u2013160.","journal-title":"Journal of Intelligent Information Systems"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Perer, A., & Wang, F. (2014). Frequence: Interactive mining and visualization of temporal frequent event sequences. In Proceedings of the international Conference on Intelligent User Interfaces (pp. 153\u2013162).","DOI":"10.1145\/2557500.2557508"},{"key":"3_CR40","unstructured":"Rossi, F., Van\u00a0Beek, P., & Walsh, T. (2006). Handbook of constraint programming. Elsevier."},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Shen, W., Wang, J., & Han, J. (2014). Sequential pattern mining. In Aggarwal, C.\u00a0C., & Han, J. (Ed.), Frequent pattern mining (pp. 261\u2013282). Springer.","DOI":"10.1007\/978-3-319-07821-2_11"},{"issue":"1\u20132","key":"3_CR42","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. (2002). Extending and implementing the stable model semantics. Artificial Intelligence, 138(1\u20132), 181\u2013234.","journal-title":"Artificial Intelligence"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Srikant, R., & Agrawal, R. (1996). Mining sequential patterns: Generalizations and performance improvements. In Proceedings of the 5th International Conference on Extending Database Technology (pp. 3\u201317).","DOI":"10.1007\/BFb0014140"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Syrj\u00e4nen, T., & Niemel\u00e4, I. (2001). The smodels system. In Proceedings of the Conference on Logic Programming and Nonmotonic Reasoning (pp. 434\u2013438).","DOI":"10.1007\/3-540-45402-0_38"},{"key":"3_CR45","unstructured":"Ugarte, W., Boizumault, P., Cr\u00e9milleux, B., Lepailleur, A., Loudni, S., Plantevit, M., Ra\u00efssi, C., & Soulet, A. (2015). Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems. Artificial Intelligence, page In press."},{"key":"3_CR46","unstructured":"Uno, T. (2004). http:\/\/research.nii.ac.jp\/~uno\/code\/lcm_seq.html ."},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Vautier, A., Cordier, M., & Quiniou, R. (2007). Towards data mining without information on knowledge structure. In Proceedings of the Conference on Principles and Practice of Knowledge Discovery in Databases (pp. 300\u2013311).","DOI":"10.1007\/978-3-540-74976-9_29"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Wang, J., & Han, J. (2004). BIDE: Efficient mining of frequent closed sequences. In Proceedings of the International Conference on Data Engineering (pp. 79\u201390).","DOI":"10.1109\/ICDE.2004.1319986"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Yan, X., Han, J., & Afshar, R. (2003). CloSpan: Mining closed sequential patterns in large datasets. In Proceedings of the SIAM Conference on Data Mining (pp. 166\u2013177).","DOI":"10.1137\/1.9781611972733.15"},{"issue":"1\/2","key":"3_CR50","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1007652502315","volume":"42","author":"MJ Zaki","year":"2001","unstructured":"Zaki, M. J. (2001). SPADE: An efficient algorithm for mining frequent sequences. Journal of Machine Learning, 42(1\/2), 31\u201360.","journal-title":"Journal of Machine Learning"},{"issue":"2","key":"3_CR51","first-page":"1","volume":"10","author":"L Zhang","year":"2015","unstructured":"Zhang, L., Luo, P., Tang, L., Chen, E., Liu, Q., Wang, M., et al. (2015). Occupancy-based frequent pattern mining. ACM Transactions on Knowledge Discovery from Data, 10(2), 1\u201333.","journal-title":"ACM Transactions on Knowledge Discovery from Data"}],"container-title":["Studies in Computational Intelligence","Advances in Knowledge Discovery and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65406-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T05:30:09Z","timestamp":1659591009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65406-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,11]]},"ISBN":["9783319654058","9783319654065"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65406-5_3","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2017,10,11]]}}}