{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:17:11Z","timestamp":1742948231013,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031475450"},{"type":"electronic","value":"9783031475467"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-47546-7_4","type":"book-chapter","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:03:15Z","timestamp":1698883395000},"page":"44-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mining Contrast Sequential Patterns with ASP"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5414-5844","authenticated-orcid":false,"given":"Francesca Alessandra","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2936-0777","authenticated-orcid":false,"given":"Gioacchino","family":"Sterlicchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,2]]},"reference":[{"key":"4_CR1","unstructured":"Besnard, P., Guyet, T.: Declarative mining of negative sequential patterns. In: DPSW 2020\u20131st Declarative Problem Solving Workshop, pp. 1\u20138 (2020)"},{"issue":"12","key":"4_CR2","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011). https:\/\/doi.org\/10.1145\/2043174.2043195","journal-title":"Commun. ACM"},{"key":"4_CR3","unstructured":"Chen, Y., Gan, W., Wu, Y., Yu, P.S.: Contrast pattern mining: a survey. arXiv preprint arXiv:2209.13556 (2022)"},{"key":"4_CR4","volume-title":"Contrast Data Mining: Concepts, Algorithms, and Applications","author":"G Dong","year":"2012","unstructured":"Dong, G., Bailey, J.: Contrast Data Mining: Concepts, Algorithms, and Applications. CRC Press, Boca Raton (2012)"},{"key":"4_CR5","unstructured":"Gebser, M., Guyet, T., Quiniou, R., Romero, J., Schaub, T.: Knowledge-based sequence mining with asp. In: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016, p. 8. AAAI (2016)"},{"key":"4_CR6","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo= ASP + control: preliminary report. arXiv preprint arXiv:1405.3694 (2014)"},{"key":"4_CR7","doi-asserted-by":"publisher","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":"4_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-59758-4_29","volume-title":"Artificial Intelligence in Medicine","author":"T Guyet","year":"2017","unstructured":"Guyet, T., Happe, A., Dauxais, Y.: Declarative sequential pattern mining of care pathways. In: ten Teije, A., Popow, C., Holmes, J.H., Sacchi, L. (eds.) AIME 2017. LNCS (LNAI), vol. 10259, pp. 261\u2013266. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59758-4_29"},{"key":"4_CR9","unstructured":"Guyet, T., Moinard, Y., Quiniou, R.: Using answer set programming for pattern mining. arXiv preprint arXiv:1409.7777 (2014)"},{"key":"4_CR10","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-65406-5_3","volume-title":"Advances in Knowledge Discovery and Management","author":"T Guyet","year":"2018","unstructured":"Guyet, T., Moinard, Y., Quiniou, R., Schaub, T.: Efficiency analysis of ASP encodings for sequential pattern mining tasks. In: Pinaud, B., Guillet, F., Cremilleux, B., de Runz, C. (eds.) Advances in Knowledge Discovery and Management. SCI, vol. 732, pp. 41\u201381. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-65406-5_3"},{"key":"4_CR11","unstructured":"Han, J., et al.: PrefixSpan: mining sequential patterns efficiently by prefix-projected pattern growth. In: proceedings of the 17th International Conference on Data Engineering, pp. 215\u2013224. IEEE (2001)"},{"key":"4_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). https:\/\/doi.org\/10.1007\/978-3-319-18032-8_52"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-030-20528-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N Leone","year":"2019","unstructured":"Leone, N., et al.: Enhancing DLV for large-scale reasoning. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) LPNMR 2019. LNCS, vol. 11481, pp. 312\u2013325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20528-7_23"},{"issue":"3","key":"4_CR14","first-page":"7","volume":"37","author":"V Lifschitz","year":"2016","unstructured":"Lifschitz, V.: Answer sets and the language of answer set programming. AI Mag. 37(3), 7\u201312 (2016)","journal-title":"AI Mag."},{"key":"4_CR15","unstructured":"Lisi, F.A., Sterlicchio, G.: Declarative pattern mining in digital forensics: preliminary results. In: Calegari, R., Ciatto, G., Omicini, A. (eds.) Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, 29 June\u20131 July 2022. CEUR Workshop Proceedings, vol. 3204, pp. 232\u2013246. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3204\/paper_23.pdf"},{"key":"4_CR16","unstructured":"Lisi, F.A., Sterlicchio, G.: Mining sequences in phone recordings with answer set programming. In: Bruno, P., Calimeri, F., Cauteruccio, F., Maratea, M., Terracina, G., Vallati, M. (eds.) Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, 5 September 2022. CEUR Workshop Proceedings, vol. 3281, pp. 34\u201350. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3281\/paper4.pdf"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-031-27181-6_2","volume-title":"AIxIA 2022 - Advances in Artificial Intelligence","author":"FA Lisi","year":"2023","unstructured":"Lisi, F.A., Sterlicchio, G.: A declarative approach to contrast pattern mining. In: Dovier, A., Montanari, A., Orlandini, A. (eds.) AIxIA 2022. LNCS, vol. 13796, pp. 17\u201330. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27181-6_2"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2431211.2431218","volume":"45","author":"CH Mooney","year":"2013","unstructured":"Mooney, C.H., Roddick, J.F.: Sequential pattern mining-approaches and algorithms. ACM Comput. Surv. (CSUR) 45(2), 1\u201339 (2013)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"4_CR19","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). https:\/\/doi.org\/10.1007\/978-3-319-18008-3_20"},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1017\/S1471068418000467","volume":"19","author":"S Paramonov","year":"2019","unstructured":"Paramonov, S., Stepanova, D., Miettinen, P.: Hybrid ASP-based approach to pattern mining. Theory Pract. Log. Program. 19(4), 505\u2013535 (2019). https:\/\/doi.org\/10.1017\/S1471068418000467","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR21","unstructured":"Samet, A., Guyet, T., Negrevergne, B.: Mining rare sequential patterns with ASP. In: ILP 2017\u201327th International Conference on Inductive Logic Programming (2017)"},{"issue":"11","key":"4_CR22","doi-asserted-by":"publisher","first-page":"11819","DOI":"10.1109\/TCYB.2021.3082114","volume":"52","author":"Y Wu","year":"2022","unstructured":"Wu, Y., Wang, Y., Li, Y., Zhu, X., Wu, X.: Top-k self-adaptive contrast sequential pattern mining. IEEE Trans. Cybern. 52(11), 11819\u201311833 (2022). https:\/\/doi.org\/10.1109\/TCYB.2021.3082114","journal-title":"IEEE Trans. Cybern."},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s11280-015-0350-4","volume":"19","author":"Z Zheng","year":"2016","unstructured":"Zheng, Z., Wei, W., Liu, C., Cao, W., Cao, L., Bhatia, M.: An effective contrast sequential pattern mining approach to taxpayer behavior analysis. World Wide Web 19, 633\u2013651 (2016)","journal-title":"World Wide Web"}],"container-title":["Lecture Notes in Computer Science","AIxIA 2023 \u2013 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47546-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:11:26Z","timestamp":1698883886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47546-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031475450","9783031475467"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47546-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"2 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIxIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2023.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"62% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20 external reviewers.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}