{"id":"https://openalex.org/W2786945430","doi":"https://doi.org/10.29007/p7zp","title":"Reducing Model-Based Diagnosis to Knowledge Base Debugging","display_name":"Reducing Model-Based Diagnosis to Knowledge Base Debugging","publication_year":2018,"publication_date":"2018-01-12","ids":{"openalex":"https://openalex.org/W2786945430","doi":"https://doi.org/10.29007/p7zp","mag":"2786945430"},"language":"en","primary_location":{"id":"doi:10.29007/p7zp","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p7zp","pdf_url":"https://easychair.org/publications/open/3g9Q","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/3g9Q","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046960881","display_name":"Patrick Rodler","orcid":"https://orcid.org/0000-0001-8178-4692"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Patrick Rodler","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5055185135","display_name":"Konstantin Schekotihin","orcid":"https://orcid.org/0000-0002-0286-0958"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konstantin Schekotihin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046960881"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.9344,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.95566998,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":null,"first_page":"284","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9394000172615051,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9387000203132629,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8861241340637207},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.7277538776397705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7247778177261353},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6818664073944092},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.6250770092010498},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5714046359062195},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4505895674228668},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40413373708724976},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.401610791683197},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34140002727508545},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17811262607574463}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8861241340637207},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7277538776397705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7247778177261353},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6818664073944092},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.6250770092010498},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5714046359062195},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4505895674228668},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40413373708724976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.401610791683197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34140002727508545},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17811262607574463},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/p7zp","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p7zp","pdf_url":"https://easychair.org/publications/open/3g9Q","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/p7zp","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p7zp","pdf_url":"https://easychair.org/publications/open/3g9Q","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2786945430.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2611067230","https://openalex.org/W2385713529","https://openalex.org/W2599749361"],"abstract_inverted_index":{"Model-Based":[0],"Diagnosis":[1],"(MBD)":[2],"is":[3,45,84],"a":[4,20,37,46,59,85,98,107],"principled":[5],"approach":[6],"to":[7,33,58,100,117,121],"fault":[8],"localization":[9],"in":[10,19,36,50,93],"any":[11,52],"type":[12],"of":[13,48,64,73,88,104,109],"system":[14],"that":[15,43,51,79,94],"can":[16,55,67,114],"be":[17,56,68,115],"described":[18],"formal":[21],"structured":[22],"way.":[23],"Knowledge":[24],"Base":[25],"Debugging":[26],"(KBD)":[27],"draws":[28],"on":[29],"concepts":[30],"from":[31,71],"MBD":[32,49,53,82],"find":[34,78],"faults":[35],"monotonic":[38],"knowledge":[39],"base.":[40],"We":[41],"show":[42],"KBD":[44,60,91,112],"generalization":[47],"problem":[54,61,83,92],"reduced":[57],"and":[62],"solutions":[63,72],"the":[65,74,80,89,95],"former":[66],"directly":[69],"extracted":[70],"latter.":[75],"Moreover,":[76],"we":[77],"sequential":[81,90],"special":[86],"case":[87],"latter":[96],"allows":[97],"user":[99],"provide":[101],"more":[102],"types":[103],"measurements.":[105],"As":[106],"consequence":[108],"these":[110],"results,":[111],"approaches":[113],"applied":[116],"all":[118],"systems":[119],"amenable":[120],"MBD.":[122]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-22T06:13:13.366637","created_date":"2025-10-10T00:00:00"}