{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T09:44:32Z","timestamp":1713174272089},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"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":["AI Ethics"],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1007\/s43681-023-00415-0","type":"journal-article","created":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T13:02:51Z","timestamp":1707138171000},"page":"37-46","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking"],"prefix":"10.1007","volume":"4","author":[{"given":"Omer Nguena","family":"Timo","sequence":"first","affiliation":[]},{"given":"Tianqi","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Florent","family":"Avellaneda","sequence":"additional","affiliation":[]},{"given":"Yasir","family":"Malik","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Bruda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,2,5]]},"reference":[{"key":"415_CR1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M., Tranninger, M.: Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. In Gaston, C.; Kosmatov, N.; and Gall, P.\u00a0L., eds., Proceedings of 31st IFIP WG 6.1 International Conference on Testing Software and Systems, volume 11812 of Lecture Notes in Computer Science, 3\u201321. Springer (2019)","DOI":"10.1007\/978-3-030-31280-0_1"},{"key":"415_CR2","doi-asserted-by":"crossref","unstructured":"Ashok, P., Jackermeier, M., Jagtap, P., Kret\u00ednsk\u00fd, J., Weininger, M., Zamani, M.: dtControl: decision tree learning algorithms for controller representation. In Ames, A.; Seshia, S.\u00a0A.; and Deshmukh, J., eds., 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, 30:1\u201330:2. ACM (2020)","DOI":"10.1145\/3365365.3383468"},{"key":"415_CR3","doi-asserted-by":"crossref","unstructured":"Avellaneda, F.: Efficient Inference of Optimal Decision Trees. In The 34th AAAI Conference on Artificial Intelligence, AAAI 2020, The 32nd Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The 10th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI, 3195\u20133202. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i04.5717"},{"key":"415_CR4","volume-title":"Classification and Regression Trees","author":"L Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth International Group, Belmont, California (1984)"},{"issue":"1","key":"415_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888997000015","volume":"12","author":"LA Breslow","year":"1997","unstructured":"Breslow, L.A., Aha, D.W.: Simplifying decision trees: a survey. Knowl. Eng. Rev. 12(1), 1\u201340 (1997)","journal-title":"Knowl. Eng. Rev."},{"key":"415_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF00994006","volume":"8","author":"WL Buntine","year":"1992","unstructured":"Buntine, W.L., Niblett, T.: A further comparison of splitting rules for decision-tree induction. Mach. Learn. 8, 75\u201385 (1992)","journal-title":"Mach. Learn."},{"key":"415_CR7","doi-asserted-by":"crossref","unstructured":"Chinchor, N.: MUC-4 evaluation metrics. In: Proceedings of the 4th Conference on Message Understanding, MUC 1992, McLean, Virginia, USA, June 16\u201318, 1992, 22\u201329. ACL (1992)","DOI":"10.3115\/1072064.1072067"},{"key":"415_CR8","doi-asserted-by":"crossref","unstructured":"Frank, E., Hall, M., Holmes, G., Kirkby, R., Pfahringer, B., Witten, I.H., Trigg, L.: Weka-a machine learning workbench for data mining. In: Data mining and knowledge discovery handbook, 1269\u20131277. Springer (2009)","DOI":"10.1007\/978-0-387-09823-4_66"},{"issue":"2","key":"415_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1022604100933","volume":"4","author":"J Mingers","year":"1989","unstructured":"Mingers, J.: An empirical comparison of pruning methods for decision tree induction. Mach. Learn. 4(2), 227\u2013243 (1989)","journal-title":"Mach. Learn."},{"issue":"2","key":"415_CR10","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s11219-019-9440-3","volume":"27","author":"O Nguena Timo","year":"2019","unstructured":"Nguena Timo, O., Petrenko, A., Ramesh, S.: Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. 27(2), 501\u2013527 (2019)","journal-title":"Softw. Qual. J."},{"key":"415_CR11","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., VanderPlas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: Machine Learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"issue":"1","key":"415_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00116251","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"key":"415_CR13","unstructured":"Quinlan, R.: C4.5: Programs for Machine Learning. San Mateo, CA: Morgan Kaufmann Publishers (1993)"},{"issue":"2","key":"415_CR14","first-page":"2278","volume":"1","author":"K Rajesh","year":"2012","unstructured":"Rajesh, K., Anand, S.: Analysis of SEER dataset for breast cancer diagnosis using C4. 5 classification algorithm. Int. J. Adv. Res. Comput. Commun. Eng. 1(2), 2278\u20132321 (2012)","journal-title":"Int. J. Adv. Res. Comput. Commun. Eng."},{"key":"415_CR15","doi-asserted-by":"crossref","unstructured":"Refaeilzadeh, P., Tang, L., Liu, H.: Cross-validation. Encyclopedia of database systems, 532\u2013538 (2009)","DOI":"10.1007\/978-0-387-39940-9_565"}],"container-title":["AI and Ethics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s43681-023-00415-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s43681-023-00415-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s43681-023-00415-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T09:12:43Z","timestamp":1713172363000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s43681-023-00415-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["415"],"URL":"https:\/\/doi.org\/10.1007\/s43681-023-00415-0","relation":{},"ISSN":["2730-5953","2730-5961"],"issn-type":[{"value":"2730-5953","type":"print"},{"value":"2730-5961","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2]]},"assertion":[{"value":"5 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}