{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T05:02:11Z","timestamp":1779771731299,"version":"3.53.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032008275","type":"print"},{"value":"9783032008282","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:00:00Z","timestamp":1760659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:00:00Z","timestamp":1760659200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-00828-2_8","type":"book-chapter","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T16:23:35Z","timestamp":1760631815000},"page":"123-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Certified Enumeration of\u00a0AI Explanations: A Focus on\u00a0Monotonic Classifiers"],"prefix":"10.1007","author":[{"given":"Cl\u00e9ment","family":"Contet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rosalie","family":"Defourn\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aur\u00e9lie","family":"Hurault","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,17]]},"reference":[{"key":"8_CR1","unstructured":"Audemard, G., Lagniez, J., Marquis, P., Szczepanski, N.: Deriving provably correct explanations for decision trees: the impact of domain theories. In: Proceedings of the 33d International Joint Conference on Artificial Intelligence (IJCAI) (2024)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Balyo, T., Heule, M.J.H., J\u00e4rvisalo, M.: SAT competition 2016: recent developments. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI) (2017)","DOI":"10.1609\/aaai.v31i1.10641"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bartley, C., Liu, W., Reynolds, M.: A novel framework for constructing partially monotone rule ensembles. In: Proceedings of the IEEE 34th International Conference on Data Engineering (ICDE) (2018)","DOI":"10.1109\/ICDE.2018.00140"},{"key":"8_CR4","unstructured":"Biere, A., Faller, T., Fazekas, K., Fleury, M., Froleyks, N., Pollitt, F.: CaDiCaL, Gimsatul, IsaSAT and Kissat entering the SAT Competition 2024. In: Heule, M., Iser, M., J\u00e4rvisalo, M., Suda, M. (eds.) Proceedings of the SAT Competition \u2013 Solver, Benchmark and Proof Checker Descriptions (2024)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.neucom.2019.02.024","volume":"341","author":"JR Cano","year":"2019","unstructured":"Cano, J.R., Guti\u00e9rrez, P.A., Krawczyk, B., Wo\u017aniak, M., Garc\u00eda, S.: Monotonic classification: an overview on algorithms, performance measures and data sets. Neurocomputing 341, 168\u2013182 (2019)","journal-title":"Neurocomputing"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Chen, T., Guestrin, C.: Xgboost: a scalable tree boosting system. In: Proceedings of the 22nd ACM International Conference on Knowledge Discovery and Data Mining (SIGKDD), pp. 785\u2013794 (2016)","DOI":"10.1145\/2939672.2939785"},{"key":"8_CR7","unstructured":"Chen, Y., Wang, S., She, D., Jana, S.: On training robust PDF malware classifiers. In: Proceedings of the 29th USENIX Security Symposium (USENIX Security) (2020)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Darwiche, A., Hirth, A.: On the reasons behind decisions. In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI). IOS Press (2020)","DOI":"10.3233\/FAIA200158"},{"issue":"2","key":"8_CR9","first-page":"44","volume":"40","author":"D Gunning","year":"2019","unstructured":"Gunning, D., Aha, D.: Darpa\u2019s explainable artificial intelligence (XAI) program. AI Mag. 40(2), 44\u201358 (2019)","journal-title":"AI Mag."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hurault, A., Marques-Silva, J.: Certified logic-based explainable AI - the case of monotonic classifiers. In: Proceedings of the 17th International Conference on Tests and Proofs (TAP) (2023)","DOI":"10.1007\/978-3-031-38828-6_4"},{"key":"8_CR11","unstructured":"Ignatiev, A., Narodytska, N., Asher, N., Marques-Silva, J.: On relating \u2018why?\u2019 and \u2018why not?\u2019 explanations. arXiv preprint arXiv:2012.11067 (2020)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Ignatiev, A., Narodytska, N., Marques-Silva, J.: Abduction-based explanations for machine learning models. In: Proceedings of the 33st AAAI Conference on Artificial Intelligence (AAAI) (2019)","DOI":"10.1609\/aaai.v33i01.33011511"},{"key":"8_CR13","unstructured":"Izza, Y., Ignatiev, A., Marques-Silva, J.: On explaining decision trees. CoRR abs\/2010.11034 (2020)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Lammich, P.: The GRAT tool chain - efficient (UN)SAT certificate checking with formal correctness guarantees. In: Gaspers, S., Walsh, T. (eds.) Proceedings of 20th International Conference on Theory and Applications of Satisfiability (SAT) (2017)","DOI":"10.1007\/978-3-319-66263-3_29"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Liffiton, M.H., Previti, A., Malik, A., Marques-Silva, J.: Fast, flexible MUS enumeration. Constraints 21(2) (2016)","DOI":"10.1007\/s10601-015-9183-0"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Logic-based explainability in machine learning. In: Tutorial Lectures of the 18th International Summer School on Reasoning Web (2022)","DOI":"10.1007\/978-3-031-31414-8_2"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Disproving XAI myths with formal methods - initial results. In: Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS) (2023)","DOI":"10.1109\/ICECCS59891.2023.00012"},{"key":"8_CR18","unstructured":"Marques-Silva, J., Gerspacher, T., Cooper, M.C., Ignatiev, A., Narodytska, N.: Explanations for monotonic classifiers. In: International Conference on Machine Learning, pp. 7469\u20137479 (2021)"},{"issue":"7","key":"8_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/3635301","volume":"67","author":"J Marques-Silva","year":"2024","unstructured":"Marques-Silva, J., Huang, X.: Explainability is not a game. Commun. ACM 67(7), 66\u201375 (2024)","journal-title":"Commun. ACM"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","volume":"267","author":"T Miller","year":"2019","unstructured":"Miller, T.: Explanation in artificial intelligence: insights from the social sciences. Artif. Intell. 267, 1\u201338 (2019)","journal-title":"Artif. Intell."},{"key":"8_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103705","volume":"307","author":"T Miller","year":"2022","unstructured":"Miller, T., Hoffman, R.R., Amir, O., Holzinger, A.: Special issue on explainable artificial intelligence (XAI). Artif. Intell. 307, 103705 (2022)","journal-title":"Artif. Intell."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Oe, D., Stump, A., Oliver, C., Clancy, K.: versat: a verified modern SAT solver. In: Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) (2012)","DOI":"10.1007\/978-3-642-27940-9_24"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Shih, A., Choi, A., Darwiche, A.: A symbolic approach to explaining Bayesian network classifiers. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI) (2018)","DOI":"10.24963\/ijcai.2018\/708"},{"key":"8_CR24","unstructured":"Sivaraman, A., Farnadi, G., Millstein, T., Van\u00a0den Broeck, G.: Counterexample-guided learning of monotonic neural networks. In: Advances in Neural Information Processing Systems (NeurIPS), vol. 33 (2020)"},{"key":"8_CR25","unstructured":"Skot\u00e5m, S.H.: CreuSAT, Using Rust and Creusot to create the world\u2019s fastest deductively verified SAT solver. Master\u2019s thesis, University of Oslo (2022). https:\/\/www.duo.uio.no\/handle\/10852\/96757"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/BF01171114","volume":"27","author":"E Sperner","year":"1928","unstructured":"Sperner, E.: Ein satz \u00fcber untermengen einer endlichen menge. Math. Z. 27(1), 544\u2013548 (1928)","journal-title":"Math. Z."},{"key":"8_CR27","unstructured":"You, S., Ding, D., Canini, K.R., Pfeifer, J., Gupta, M.R.: Deep lattice networks and partial monotonic functions. In: Advances in Neural Information Processing Systems (NeurIPS), vol. 30 (2017)"}],"container-title":["Lecture Notes in Computer Science","Engineering of Complex Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00828-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T04:05:32Z","timestamp":1779768332000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00828-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,17]]},"ISBN":["9783032008275","9783032008282"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00828-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,17]]},"assertion":[{"value":"17 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICECCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Engineering of Complex Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iceccs2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iceccs2025-hangzhou.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}