{"id":"https://openalex.org/W4403792841","doi":"https://doi.org/10.24963/kr.2024/53","title":"Explaining Decisions in ML Models: A Parameterized Complexity Analysis","display_name":"Explaining Decisions in ML Models: A Parameterized Complexity Analysis","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792841","doi":"https://doi.org/10.24963/kr.2024/53"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/53","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/53","pdf_url":"https://proceedings.kr.org/2024/53/kr2024-0053-ordyniak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/53/kr2024-0053-ordyniak-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017076947","display_name":"Sebastian Ordyniak","orcid":"https://orcid.org/0000-0003-1935-651X"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Sebastian Ordyniak","raw_affiliation_strings":["University of Leeds"],"affiliations":[{"raw_affiliation_string":"University of Leeds","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054949871","display_name":"Giacomo Paesani","orcid":"https://orcid.org/0000-0002-2383-1339"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giacomo Paesani","raw_affiliation_strings":["Sapienza University of Rome"],"affiliations":[{"raw_affiliation_string":"Sapienza University of Rome","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098621695","display_name":"Mateusz Rychlicki","orcid":null},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mateusz Rychlicki","raw_affiliation_strings":["University of Leeds"],"affiliations":[{"raw_affiliation_string":"University of Leeds","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037092803","display_name":"Stefan Szeider","orcid":"https://orcid.org/0000-0001-8994-1656"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Szeider","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017076947"],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22688953,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"563","last_page":"573"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.5482000112533569,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.5482000112533569,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.5322999954223633,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.5235999822616577,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8809360265731812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5748472213745117},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22561383247375488}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8809360265731812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5748472213745117},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22561383247375488}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.24963/kr.2024/53","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/53","pdf_url":"https://proceedings.kr.org/2024/53/kr2024-0053-ordyniak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:215408","is_oa":false,"landing_page_url":"https://eprints.whiterose.ac.uk/215408/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"},{"id":"pmh:oai:iris.uniroma1.it:11573/1747620","is_oa":false,"landing_page_url":"https://hdl.handle.net/11573/1747620","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/53","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/53","pdf_url":"https://proceedings.kr.org/2024/53/kr2024-0053-ordyniak-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2447788411","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2533745686","display_name":"Next Generation of Algorithms for Mixed Integer Linear Programming (MILP)","funder_award_id":"EP/V00252X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3098964846","display_name":null,"funder_award_id":"P36420","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3899648691","display_name":null,"funder_award_id":"10.55776/P","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4125750076","display_name":null,"funder_award_id":"10.55776/COE12","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5798262103","display_name":null,"funder_award_id":"10.55776/COE","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7689679561","display_name":null,"funder_award_id":"10.55776/COE1","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8184292771","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792841.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051058708","https://openalex.org/W1494268238","https://openalex.org/W154868527","https://openalex.org/W1983207144","https://openalex.org/W2490706771","https://openalex.org/W2480116122","https://openalex.org/W4255576661"],"abstract_inverted_index":{"This":[0,83,107],"paper":[1],"presents":[2],"a":[3,86,95],"comprehensive":[4],"theoretical":[5],"investigation":[6],"into":[7],"the":[8,22,99,116,122,126],"parameterized":[9],"complexity":[10],"of":[11,40,98,101,118,128],"explanation":[12,41],"problems":[13],"in":[14,47,89,115,132],"various":[15],"machine":[16],"learning":[17],"(ML)":[18],"models.":[19,106],"Contrary":[20],"to":[21,121],"prevalent":[23],"black-box":[24],"perception,":[25],"our":[26],"study":[27],"focuses":[28],"on":[29,125],"models":[30],"with":[31],"transparent":[32],"internal":[33],"mechanisms.":[34],"We":[35],"address":[36],"two":[37],"principal":[38],"types":[39],"problems:":[42],"abductive":[43],"and":[44,50,72,75,130],"contrastive,":[45],"both":[46],"their":[48],"local":[49],"global":[51],"variants.":[52],"Our":[53],"analysis":[54],"encompasses":[55],"diverse":[56],"ML":[57],"models,":[58],"including":[59],"Decision":[60,62,64,68],"Trees,":[61],"Sets,":[63],"Lists,":[65],"Ordered":[66],"Binary":[67],"Diagrams,":[69],"Random":[70],"Forests,":[71],"Boolean":[73],"Circuits,":[74],"ensembles":[76],"thereof,":[77],"each":[78],"offering":[79],"unique":[80],"explanatory":[81],"challenges.":[82],"research":[84,114],"fills":[85],"significant":[87],"gap":[88],"explainable":[90],"AI":[91,133],"(XAI)":[92],"by":[93],"providing":[94],"foundational":[96],"understanding":[97],"complexities":[100],"generating":[102],"explanations":[103],"for":[104,112],"these":[105],"work":[108],"provides":[109],"insights":[110],"vital":[111],"further":[113],"domain":[117],"XAI,":[119],"contributing":[120],"broader":[123],"discourse":[124],"necessity":[127],"transparency":[129],"accountability":[131],"systems.":[134]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}