{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:37:26Z","timestamp":1742913446388,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031483158"},{"type":"electronic","value":"9783031483165"}],"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-48316-5_11","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:03:08Z","timestamp":1700611388000},"page":"77-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a\u00a0Unified Symbolic AI Framework for\u00a0Mining High Utility Itemsets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1201-8585","authenticated-orcid":false,"given":"Amel","family":"Hidouri","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4712-0811","authenticated-orcid":false,"given":"Badran","family":"Raddaoui","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8389-8332","authenticated-orcid":false,"given":"Said","family":"Jabbour","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,22]]},"reference":[{"key":"11_CR1","unstructured":"Biere, A., Heule, M., van Maaren, H.: Handbook of satisfiability. IOS press (2009)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Boudane, A., Jabbour, S., Sais, L., Salhi, Y.: Sat-based data mining. IJAIT, 1840002 (2018)","DOI":"10.1142\/S021821301840002X"},{"key":"11_CR3","unstructured":"Chan, R., Yang, Q., Shen, Y.-D.: Mining high utility itemsets. In: ICDM, pp. 19\u201319 (2003)"},{"key":"11_CR4","unstructured":"Damon, P.: Like the PS4, Xbox One Being Built At a Loss (2013)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM, pp. 394\u2013397 (1962)","DOI":"10.1145\/368273.368557"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Chun-Wei Lin, J., Truong-Chi, T., Nkambou, R.: A survey of high utility itemset mining (2019)","DOI":"10.1007\/978-3-030-04921-8"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Chun-Wei Lin, J., Wu, C.-W., Tseng, V.S., Faghihi, U.: Mining minimal high-utility itemsets. In: DEXA (2016)","DOI":"10.1007\/978-3-319-44403-1_6"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Wu, C.-W., Tseng, V.S.: Novel concise representations of high utility itemsets using generator patterns. In: ADMA (2014)","DOI":"10.1007\/978-3-319-14717-8_3"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Zida, S., Chun-Wei Lin, J., Wu, C.-W., Tseng, V.S.: Efim-closed: fast and memory efficient discovery of closed high-utility itemsets. In: MLDM (2016)","DOI":"10.1145\/2851613.2851884"},{"key":"11_CR10","unstructured":"Hidouri, A., Jabbour, S., Raddaoui, B.: On the enumeration of frequent high utility itemsets: a symbolic AI approach. In: CP, pp. 27:1\u201327:17 (2022)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, S., Manthey, N., Steinke, P.: A compact encoding of pseudo-boolean constraints into sat. In: Annual Conference on Artificial Intelligence, pp. 107\u2013118 (2012)","DOI":"10.1007\/978-3-642-33347-7_10"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Jabbour, S., Mhadhbi, N., Raddaoui, B., Sais, L.: Sat-based models for overlapping community detection in networks. Computing, pp. 1275\u20131299 (2020)","DOI":"10.1007\/s00607-020-00803-y"},{"key":"11_CR13","unstructured":"Jabbour, S., Mhadhbi, N., Raddaoui, B., Sais, L.: A declarative framework for maximal k-plex enumeration problems. In: AAMAS, pp. 660\u2013668 (2022)"},{"key":"11_CR14","unstructured":"Morgado, A., Marques-Silva, J.: Algorithms for propositional model enumeration and counting (2005)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Wu, C.-W., Fournier-Viger, P., Gu, J.-Y., Tseng, V.S.: Mining compact high utility itemsets without candidate generation. In: High-Utility Pattern Mining: Theory, Algorithms and Applications (2019)","DOI":"10.1007\/978-3-030-04921-8"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, C., Almpanidis, G., Wang, W., Liu, C.: An empirical evaluation of high utility itemset mining algorithms. Expert Systems with applications, pp. 91\u2013115 (2018)","DOI":"10.1016\/j.eswa.2018.02.008"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, S., Malik, S., McGeer, R.: Verification of computer switching networks: an overview. In: International Symposium on ATVA, pp. 1\u201316 (2012)","DOI":"10.1007\/978-3-642-33386-6_1"}],"container-title":["Lecture Notes in Computer Science","Information Integration and Web Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-48316-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,27]],"date-time":"2023-12-27T19:02:45Z","timestamp":1703703765000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-48316-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031483158","9783031483165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-48316-5_11","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":"22 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"iiWAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Integration and Web Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denpasar","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indonesia","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":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iiwas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iiwas.org\/conferences\/iiwas2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Mix","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"HotCRP","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"96","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":"24","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":"24","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":"25% - 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)"}}]}}