{"id":"https://openalex.org/W4200316166","doi":"https://doi.org/10.1109/mitp.2021.3123495","title":"Formal Methods Boost Experimental Performance for Explainable AI","display_name":"Formal Methods Boost Experimental Performance for Explainable AI","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4200316166","doi":"https://doi.org/10.1109/mitp.2021.3123495"},"language":"en","primary_location":{"id":"doi:10.1109/mitp.2021.3123495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mitp.2021.3123495","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065109312","display_name":"Frederik Gossen","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]},{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["DE","IE"],"is_corresponding":false,"raw_author_name":"Frederik Gossen","raw_affiliation_strings":["Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","Faculty of Computer Science, Chair of Programming Systems, TU Dortmund University, Dortmund, Germany","Lero, the SFI Research Centre for Software, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]},{"raw_affiliation_string":"Faculty of Computer Science, Chair of Programming Systems, TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Lero, the SFI Research Centre for Software, Ireland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013165259","display_name":"Tiziana Margaria","orcid":"https://orcid.org/0000-0002-5547-9739"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Tiziana Margaria","raw_affiliation_strings":["Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","Lero, the SFI Research Centre for Software, Ireland"],"raw_orcid":"https://orcid.org/0000-0002-5547-9739","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]},{"raw_affiliation_string":"Lero, the SFI Research Centre for Software, Ireland","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["Faculty of Computer Science, Chair of Programming Systems, TU Dortmund University, Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Chair of Programming Systems, TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2594,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.84270307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"23","issue":"6","first_page":"8","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7826871275901794},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7786401510238647},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6373630166053772},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.5735573768615723},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5371552109718323},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5323042869567871},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.4653027653694153},{"id":"https://openalex.org/keywords/phenomenon","display_name":"Phenomenon","score":0.42298218607902527},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.4173273742198944},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.3999588191509247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35566475987434387},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19007864594459534},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11347898840904236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7826871275901794},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7786401510238647},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6373630166053772},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.5735573768615723},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5371552109718323},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5323042869567871},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.4653027653694153},{"id":"https://openalex.org/C50335755","wikidata":"https://www.wikidata.org/wiki/Q483247","display_name":"Phenomenon","level":2,"score":0.42298218607902527},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.4173273742198944},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.3999588191509247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35566475987434387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19007864594459534},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11347898840904236},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mitp.2021.3123495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mitp.2021.3123495","pdf_url":null,"source":{"id":"https://openalex.org/S86192639","display_name":"IT Professional","issn_l":"1520-9202","issn":["1520-9202","1941-045X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IT Professional","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1570448133","https://openalex.org/W2001619934","https://openalex.org/W2047650874","https://openalex.org/W2898478450","https://openalex.org/W3045990532","https://openalex.org/W3120740533","https://openalex.org/W3203751129","https://openalex.org/W6801895848"],"related_works":["https://openalex.org/W787402332","https://openalex.org/W2368398071","https://openalex.org/W3123102830","https://openalex.org/W2354121810","https://openalex.org/W2188214825","https://openalex.org/W2011862483","https://openalex.org/W3022567966","https://openalex.org/W3005679258","https://openalex.org/W2539548808","https://openalex.org/W3003242261"],"abstract_inverted_index":{"IN":[0],"\u201cTowards":[1],"Explainability":[2],"in":[3,22,77,105],"Machine":[4],"Learning:":[5],"The":[6],"Formal":[7],"Methods":[8],"Way,\u201d1":[9],"we":[10,110],"illustrated":[11,93],"last":[12],"year":[13],"how":[14,44,71],"Explainable":[15,29],"AI":[16,30,59],"can":[17,111],"profit":[18],"by":[19],"formal":[20,80],"methods":[21],"terms":[23,78],"of":[24,35,43,52,57,67,75,79,87,120,128],"its":[25],"explainability.":[26],"In":[27],"fact,":[28],"is":[31],"a":[32,39,84,124],"new":[33],"branch":[34],"AI,":[36],"directed":[37],"to":[38,83],"finer":[40],"granular":[41],"understanding":[42],"the":[45,55,65,72,88,96,121],"fancy":[46],"heuristics":[47],"and":[48,61,69,107,116],"experimental":[49],"fine":[50],"tuning":[51],"hyperparameters":[53],"influence":[54],"outcomes":[56],"advanced":[58],"tools":[60],"algorithms.":[62],"We":[63,92],"discussed":[64],"concept":[66],"\u201cexplanation,\u201d":[68],"showed":[70],"stronger":[73],"meaning":[74],"explanation":[76],"models":[81],"leads":[82],"precise":[85,113],"characterization":[86],"phenomenon":[89],"under":[90],"consideration.":[91],"how,":[94],"following":[95],"Algebraic":[97],"Decision":[98],"Diagram":[99],"(ADD)-based":[100],"aggregation":[101],"technique":[102],"originally":[103],"established":[104],"Gossen":[106],"Steffen's":[108],"work2":[109],"produce":[112],"information":[114],"about":[115],"exact,":[117],"deterministic":[118],"prediction":[119],"outcome":[122],"from":[123],"random":[125],"forest":[126],"consisting":[127],"100":[129],"trees.":[130]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}