乐胖代购免代理版

{"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":{"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_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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":"funder","lineage":["https://openalex.org/I200332995"]},{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"funder","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"],"affiliations":[{"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":[]},{"raw_affiliation_string":"Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]},{"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":"funder","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"],"affiliations":[{"raw_affiliation_string":"Lero, the SFI Research Centre for Software, Ireland","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]},{"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":"funder","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"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Chair of Programming Systems, TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.887,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.716963,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":85},"biblio":{"volume":"23","issue":"6","first_page":"8","last_page":"12"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9934,"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.9934,"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.991,"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.9894,"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/heuristics","display_name":"Heuristics","score":0.77864015},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.5735574},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.46530277},{"id":"https://openalex.org/keywords/phenomenon","display_name":"Phenomenon","score":0.4229822}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7826871},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.77864015},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.637363},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.5735574},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5371552},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5323043},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.46530277},{"id":"https://openalex.org/C50335755","wikidata":"https://www.wikidata.org/wiki/Q483247","display_name":"Phenomenon","level":2,"score":0.4229822},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.41732737},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.39995882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35566476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19007865},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11347899},{"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":[{"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_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":7,"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"],"related_works":["https://openalex.org/W787402332","https://openalex.org/W3123102830","https://openalex.org/W3022567966","https://openalex.org/W3005679258","https://openalex.org/W3003242261","https://openalex.org/W2539548808","https://openalex.org/W2368398071","https://openalex.org/W2354121810","https://openalex.org/W2188214825","https://openalex.org/W2011862483"],"abstract_inverted_index":{"IN":[0],"\"Towards":[1],"Explainability":[2],"in":[3,22,77,105],"Machine":[4],"Learning:":[5],"The":[6],"Formal":[7],"Methods":[8],"Way,\"1":[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],"\"explanation,\"":[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]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4200316166","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-04-19T21:23:54.608908","created_date":"2021-12-31"}