{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T09:29:59Z","timestamp":1777714199033,"version":"3.51.4"},"reference-count":72,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100009392","name":"Deanship of Scientific Research at Prince Sattam Bin Abdulaziz University, Al-Kharj, Saudi Arabia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009392","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3088901","type":"journal-article","created":{"date-parts":[[2021,6,14]],"date-time":"2021-06-14T20:05:02Z","timestamp":1623701102000},"page":"92864-92880","source":"Crossref","is-referenced-by-count":26,"title":["Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3173-2549","authenticated-orcid":false,"given":"Muhammad","family":"Nauman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2475-5590","authenticated-orcid":false,"given":"Nadeem","family":"Akhtar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7201-6963","authenticated-orcid":false,"given":"Adi","family":"Alhudhaif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6794-5701","authenticated-orcid":false,"given":"Abdulrahman","family":"Alothaim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref72","first-page":"702","article-title":"Identifying and correcting label bias in machine learning","author":"jiang","year":"2020","journal-title":"Proc Int Conf Artif Intell Statist"},{"key":"ref71","first-page":"1","article-title":"Formal methods in the verification and validation of simulation models","author":"kennedy","year":"2003","journal-title":"Proc Spring Simulation Interoperability Workshop Simulation Interoperability Standards Organization"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-018-3064-6"},{"key":"ref39","article-title":"Weighted word embeddings and clustering-based identification of question topics in MOOC discussion forum posts","author":"onan","year":"0","journal-title":"Comput Appl Eng Educ"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2019.103676"},{"key":"ref33","author":"salzberg","year":"1994","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref32","first-page":"1","article-title":"Decision tree analysis on J48 algorithm for data mining","volume":"3","author":"bhargava","year":"2013","journal-title":"Proc Int J Adv Res Comput Sci Softw Eng"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jretconser.2017.03.006"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2946503"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2930867"},{"key":"ref35","article-title":"Tabela de decisão adaptativa na tomada de decisões multicritério. 172 p","author":"tchemra","year":"2009"},{"key":"ref34","author":"clarke","year":"2018","journal-title":"Model checking"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102450"},{"key":"ref28","first-page":"1","article-title":"It governance: Determining who decides","volume":"24","author":"clark","year":"2005","journal-title":"Educause Center Appl Res Bull"},{"key":"ref64","first-page":"55","article-title":"Formal verification of random forests in safety-critical applications","author":"t\u00f6rnblom","year":"2018","journal-title":"Proc Int Workshop Formal Techn Saf -Crit Syst"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"ref65","first-page":"2499","article-title":"Verifiable reinforcement learning via policy extraction","author":"bastani","year":"2018","journal-title":"Proc 32nd Int Conf Neural Inf Process Syst (NIPS)"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/507338.507355"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijedudev.2017.10.007"},{"key":"ref67","author":"quinlan","year":"2014","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref68","author":"witten","year":"2016","journal-title":"The WEKA Workbench Online Appendix for ‘Data Mining Practical Machine Learning Tools and Techniques"},{"key":"ref69","author":"turban","year":"2010","journal-title":"Decision Support and Business Intelligence Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2021.113493"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2919343"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27677-9_3"},{"key":"ref22","first-page":"2503","article-title":"Hidden technical debt in machine learning systems","author":"sculley","year":"2015","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2015.2456899"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2008.09.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2005.1556388"},{"key":"ref26","author":"petri","year":"1962","journal-title":"Kommunikation mit Automaten"},{"key":"ref25","volume":"1","author":"jensen","year":"2013","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref50","first-page":"26","article-title":"Student career prediction using advanced machine learning techniques","volume":"7","author":"roy","year":"2018","journal-title":"Int J Eng Technol"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s13042-017-0645-0"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref58","first-page":"30","article-title":"Towards verification of artificial neural networks","author":"scheibler","year":"2015","journal-title":"Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation Von Schaltungen Und Systemen"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2012-0525"},{"key":"ref56","first-page":"708","article-title":"Loss factorization, weakly supervised learning and label noise robustness","author":"patrini","year":"2016","journal-title":"Proc Int Conf Mach Learn"},{"key":"ref55","first-page":"489","article-title":"Classification with asymmetric label noise: Consistency and maximal denoising","author":"scott","year":"2013","journal-title":"Proc Conf Learn Theory"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41278-3_69"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33460-3_15"},{"key":"ref52","first-page":"1196","article-title":"Learning with noisy labels","volume":"26","author":"natarajan","year":"2013","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2019.04.015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2902217"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2020.105992"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNB.2005.864021"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2959739"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TDEI.2019.008208"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/cae.22179"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/cae.22253"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.175"},{"key":"ref18","article-title":"Identifying and correcting label bias in machine learning","author":"jiang","year":"2019","journal-title":"arXiv 1901 04966"},{"key":"ref19","first-page":"3315","article-title":"Equality of opportunity in supervised learning","author":"hardt","year":"2016","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S2212-5671(15)01186-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2020.113320"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2013.02.085"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.09.100"},{"key":"ref8","first-page":"343","article-title":"Learning with continuous classes","volume":"92","author":"quinlan","year":"1992","journal-title":"Proc 5th Austral Joint Conf Artif Intell"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IWSM-MENSURA.2011.44"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35231-8_52"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2937985"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/98894.99114"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2018.09.001"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-019-1295-4"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-017-3130-5"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-020-01776-3"},{"key":"ref44","first-page":"304","article-title":"Generating production rules from decision trees","volume":"87","author":"quinlan","year":"1987","journal-title":"Proc IJCAI"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSSIT46314.2019.8987766"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09454056.pdf?arnumber=9454056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:56:34Z","timestamp":1639770994000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9454056\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":72,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3088901","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]}}}