{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:09:50Z","timestamp":1742911790593,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031450716"},{"type":"electronic","value":"9783031450723"}],"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-45072-3_12","type":"book-chapter","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:01:34Z","timestamp":1697281294000},"page":"166-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study for\u00a0Declarative Pattern Mining in\u00a0Digital Forensics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5414-5844","authenticated-orcid":false,"given":"Francesca Alessandra","family":"Lisi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2936-0777","authenticated-orcid":false,"given":"Gioacchino","family":"Sterlicchio","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1321-5361","authenticated-orcid":false,"given":"David","family":"Billard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,15]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alam, S.: Applying natural language processing for detecting malicious patterns in android applications. Forensic Sci. Int.: Digit. Invest. 39, 301270 (2021). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2666281721001888","DOI":"10.1016\/j.fsidi.2021.301270"},{"key":"12_CR2","unstructured":"Besnard, P., Guyet, T.: Declarative mining of negative sequential patterns. In: DPSW 2020\u20131st Declarative Problem Solving Workshop, pp. 1\u20138 (2020)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011). http:\/\/doi.acm.org\/10.1145\/2043174.2043195","DOI":"10.1145\/2043174.2043195"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"25464","DOI":"10.1109\/ACCESS.2022.3154059","volume":"10","author":"F Casino","year":"2022","unstructured":"Casino, F., et al.: Research trends, challenges, and emerging topics in digital forensics: a review of reviews. IEEE Access 10, 25464\u201325493 (2022)","journal-title":"IEEE Access"},{"key":"12_CR5","unstructured":"Chen, Y., Gan, W., Wu, Y., Yu, P.S.: Contrast pattern mining: a survey (2022). https:\/\/arxiv.org\/abs\/2209.13556"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-319-23264-5_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S Costantini","year":"2015","unstructured":"Costantini, S., De Gasperis, G., Olivieri, R.: Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 242\u2013249. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_21"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10472-019-09632-y","volume":"86","author":"S Costantini","year":"2019","unstructured":"Costantini, S., De Gasperis, G., Olivieri, R.: Digital forensics and investigations meet artificial intelligence. Ann. Math. Artif. Intell. 86(1), 193\u2013229 (2019)","journal-title":"Ann. Math. Artif. Intell."},{"key":"12_CR8","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":"12_CR9","doi-asserted-by":"crossref","unstructured":"Garfinkel, S.L.: Digital forensics research: the next 10 years. Digit. Invest. 7, S64\u2013S73 (2010). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1742287610000368","DOI":"10.1016\/j.diin.2010.05.009"},{"key":"12_CR10","unstructured":"Gebser, M., Guyet, T., Quiniou, R., Romero, J., Schaub, T.: Knowledge-based sequence mining with ASP. In: IJCAI 2016\u201325th International Joint Conference on Artificial Intelligence, p. 8. AAAI (2016)"},{"key":"12_CR11","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. arXiv preprint: arXiv:1405.3694 (2014)"},{"key":"12_CR12","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":"12_CR13","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":"12_CR14","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":"12_CR15","series-title":"Lecture Notes in Computer Science()","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N Leone","year":"2015","unstructured":"Leone, N., et al.: Enhancing DLV for large-scale reasoning. In: Balduccini, M., Lierler, Y., Woltran, S., et al. (eds.) LPNMR 2019. Lecture Notes in Computer Science(), vol. 11481. Springer, Cham (2015)"},{"key":"12_CR16","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, June 29 - July 1, 2022. CEUR Workshop Proceedings, vol. 3204, pp. 232\u2013246. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3204\/paper_23.pdf"},{"key":"12_CR17","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, September 5, 2022. CEUR Workshop Proceedings, vol. 3281, pp. 34\u201350. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3281\/paper4.pdf"},{"key":"12_CR18","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 - Advances in Artificial Intelligence. Lecture Notes in Computer Science(), vol. 13796, pp. 17\u201330. Springer International Publishing, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27181-6_2"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2431211.2431218","volume":"45","author":"C Mooney","year":"2013","unstructured":"Mooney, C., Roddick, J.F.: Sequential pattern mining - approaches and algorithms. ACM Comput. Surv. 45(2), 1\u201339 (2013). https:\/\/doi.org\/10.1145\/2431211.2431218","journal-title":"ACM Comput. Surv."},{"key":"12_CR20","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"},{"key":"12_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)"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45072-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:02:56Z","timestamp":1697281376000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45072-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031450716","9783031450723"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45072-3_12","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":"15 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","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":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.declarativeai.net\/events\/ruleml-rr","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","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","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":"13","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":"3","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":"28% - 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":"4","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":"6 subreviewers were invited by the pc members and provided 7 reviews","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)"}}]}}