{"id":"https://openalex.org/W4385463023","doi":"https://doi.org/10.1016/j.artint.2023.103988","title":"Sequential model-based diagnosis by systematic search","display_name":"Sequential model-based diagnosis by systematic search","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385463023","doi":"https://doi.org/10.1016/j.artint.2023.103988"},"language":"en","primary_location":{"id":"doi:10.1016/j.artint.2023.103988","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2023.103988","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.artint.2023.103988","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":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Patrick Rodler","raw_affiliation_strings":["University of Klagenfurt, Universit\u00e4tsstr. 65-67, Klagenfurt, Austria"],"affiliations":[{"raw_affiliation_string":"University of Klagenfurt, Universit\u00e4tsstr. 65-67, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5046960881"],"corresponding_institution_ids":["https://openalex.org/I4210166741"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":{"value":3670,"currency":"USD","value_usd":3670},"fwci":1.0729,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84065461,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"323","issue":null,"first_page":"103988","last_page":"103988"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/T10260","display_name":"Software Engineering Research","score":0.998199999332428,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9977999925613403,"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.7819522619247437},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6974414587020874},{"id":"https://openalex.org/keywords/medical-diagnosis","display_name":"Medical diagnosis","score":0.6017519235610962},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5759605169296265},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5357128381729126},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.44229912757873535},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.43133482336997986},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4017077386379242},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3900231122970581},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3856527805328369},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3639477491378784},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2909875512123108},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08194765448570251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7819522619247437},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6974414587020874},{"id":"https://openalex.org/C534262118","wikidata":"https://www.wikidata.org/wiki/Q177719","display_name":"Medical diagnosis","level":2,"score":0.6017519235610962},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5759605169296265},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5357128381729126},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.44229912757873535},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.43133482336997986},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4017077386379242},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3900231122970581},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3856527805328369},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3639477491378784},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2909875512123108},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08194765448570251},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.artint.2023.103988","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2023.103988","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.artint.2023.103988","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2023.103988","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G8064514105","display_name":null,"funder_award_id":"P-32445-N38","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":107,"referenced_works":["https://openalex.org/W47957325","https://openalex.org/W55962619","https://openalex.org/W98416746","https://openalex.org/W100862262","https://openalex.org/W109768657","https://openalex.org/W145128706","https://openalex.org/W203402624","https://openalex.org/W1493140204","https://openalex.org/W1519683110","https://openalex.org/W1671802238","https://openalex.org/W1970074386","https://openalex.org/W1975438021","https://openalex.org/W1979972496","https://openalex.org/W1985769033","https://openalex.org/W2003116861","https://openalex.org/W2014363582","https://openalex.org/W2015094794","https://openalex.org/W2023428208","https://openalex.org/W2025271293","https://openalex.org/W2047961819","https://openalex.org/W2061877944","https://openalex.org/W2072536799","https://openalex.org/W2080412071","https://openalex.org/W2081966954","https://openalex.org/W2090119576","https://openalex.org/W2106356140","https://openalex.org/W2108309071","https://openalex.org/W2117508205","https://openalex.org/W2131660156","https://openalex.org/W2133431834","https://openalex.org/W2136512627","https://openalex.org/W2137118045","https://openalex.org/W2137152489","https://openalex.org/W2139315672","https://openalex.org/W2144386448","https://openalex.org/W2144641128","https://openalex.org/W2146882126","https://openalex.org/W2149836458","https://openalex.org/W2154829072","https://openalex.org/W2167685423","https://openalex.org/W2168457836","https://openalex.org/W2261812172","https://openalex.org/W2335478831","https://openalex.org/W2338672156","https://openalex.org/W2391941047","https://openalex.org/W2398112660","https://openalex.org/W2401610261","https://openalex.org/W2426452510","https://openalex.org/W2585806604","https://openalex.org/W2623293810","https://openalex.org/W2885836054","https://openalex.org/W2934997495","https://openalex.org/W2969750606","https://openalex.org/W3115259247","https://openalex.org/W4210869882","https://openalex.org/W4225821329","https://openalex.org/W4236137412","https://openalex.org/W4280598737","https://openalex.org/W4295246607","https://openalex.org/W6600058242","https://openalex.org/W6603051132","https://openalex.org/W6605694763","https://openalex.org/W6607897466","https://openalex.org/W6607911452","https://openalex.org/W6608040050","https://openalex.org/W6618640649","https://openalex.org/W6628799515","https://openalex.org/W6629068161","https://openalex.org/W6629203997","https://openalex.org/W6629371347","https://openalex.org/W6629597612","https://openalex.org/W6629703155","https://openalex.org/W6630954344","https://openalex.org/W6631835729","https://openalex.org/W6633414259","https://openalex.org/W6633745704","https://openalex.org/W6635538300","https://openalex.org/W6638707279","https://openalex.org/W6644040475","https://openalex.org/W6649135297","https://openalex.org/W6650437674","https://openalex.org/W6652036875","https://openalex.org/W6659573362","https://openalex.org/W6664319996","https://openalex.org/W6676258132","https://openalex.org/W6678087030","https://openalex.org/W6678762343","https://openalex.org/W6681175370","https://openalex.org/W6681939683","https://openalex.org/W6682373974","https://openalex.org/W6682569485","https://openalex.org/W6683218276","https://openalex.org/W6684148982","https://openalex.org/W6686203062","https://openalex.org/W6688717233","https://openalex.org/W6712386670","https://openalex.org/W6713652668","https://openalex.org/W6738911076","https://openalex.org/W6748032612","https://openalex.org/W6748199764","https://openalex.org/W6754080394","https://openalex.org/W6757830613","https://openalex.org/W6764845426","https://openalex.org/W6801103243","https://openalex.org/W6802752904","https://openalex.org/W6839562451","https://openalex.org/W6840752509"],"related_works":["https://openalex.org/W2057057690","https://openalex.org/W2368184788","https://openalex.org/W2358964818","https://openalex.org/W2359535128","https://openalex.org/W2381332051","https://openalex.org/W2321443665","https://openalex.org/W2375699995","https://openalex.org/W2043719711","https://openalex.org/W2140069467","https://openalex.org/W2364072231"],"abstract_inverted_index":{"Model-based":[0],"diagnosis":[1,32,74,173,218,293,313,350],"aims":[2],"at":[3],"identifying":[4],"the":[5,21,45,50,65,104,113,141,151,221,330,334,339,342,359,370,375,389,393],"real":[6],"cause":[7],"of":[8,20,67,103,109,122,144,158,162,224,259,292,312,324,329,341,348,361,369,374,395,400,404],"a":[9,14,78,87,101,205,209,233,238,256,275,310,321,346,410],"system's":[10],"malfunction":[11],"based":[12,231,326],"on":[13,49,77,115,232,247,327],"formal":[15],"system":[16,22,51,57],"model":[17],"and":[18,94,119,249,264,277,315,318,372,386],"observations":[19],"behavior.":[23],"To":[24,130],"discriminate":[25],"between":[26,91],"multiple":[27],"fault":[28],"hypotheses":[29],"(diagnoses),":[30],"sequential":[31,73,217],"approaches":[33,136],"iteratively":[34],"pose":[35],"queries":[36,53,69,260,325,363],"to":[37,40,85,149,160,168,176,269,274,382],"an":[38],"oracle":[39],"acquire":[41],"additional":[42],"knowledge":[43,304],"about":[44,140],"diagnosed":[46,145],"system.":[47],"Depending":[48],"type,":[52],"can":[54,245,287,307],"capture,":[55],"e.g.,":[56],"tests,":[58],"probes,":[59],"measurements,":[60],"or":[61,123,171,187,191,195,414],"expert":[62],"questions.":[63],"As":[64,204],"determination":[66],"optimal":[68,242,362],"is":[70,230,267,279,299],"NP-hard,":[71],"state-of-the-art":[72,390],"methods":[75],"rely":[76],"myopic":[79],"one-step-lookahead":[80],"analysis":[81],"which":[82],"has":[83],"proven":[84],"constitute":[86],"particularly":[88],"favorable":[89],"trade-off":[90],"computational":[92],"efficiency":[93],"diagnostic":[95],"effectivity.":[96],"Yet,":[97],"this":[98],"solves":[99],"only":[100],"part":[102],"problem,":[105],"as":[106,112,295,412],"various":[107],"sources":[108],"complexity,":[110],"such":[111,133],"reliance":[114],"costly":[116],"reasoning":[117],"services":[118],"large":[120,186],"numbers":[121],"not":[124],"explicitly":[125],"given":[126],"query":[127,159,165,189,213,251],"candidates,":[128],"remain.":[129],"deal":[131,184,288],"with":[132,185,192,289,301,309,364],"issues,":[134],"existing":[135,225],"often":[137,182],"make":[138],"assumptions":[139],"(i)":[142],"type":[143,157,291],"system,":[146,152],"(ii)":[147],"formalism":[148],"describe":[150],"(iii)":[153],"inference":[154],"engine,":[155],"(iv)":[156],"be":[161,169,177,202,383],"interest,":[163],"(v)":[164],"quality":[166,322],"criterion":[167],"adopted,":[170],"(vi)":[172],"computation":[174,214,360,405],"algorithm":[175],"employed.":[178],"Moreover,":[179,379],"they":[180],"(vii)":[181],"cannot":[183,200],"implicit":[188,248],"spaces":[190],"expressive":[193],"logics,":[194],"(viii)":[196],"require":[197],"inputs":[198],"that":[199,219,285,355],"always":[201,408],"provided.":[203],"remedy,":[206],"we":[207],"propose":[208],"novel":[210,343],"one-step":[211],"lookahead":[212],"technique":[215,344],"for":[216,241,255,320],"overcomes":[220],"said":[222],"issues":[223],"methods.":[226],"Our":[227,352],"approach":[228,357],"(1)":[229],"solid":[234],"theory,":[235,298],"(2)":[236],"involves":[237],"systematic":[239],"search":[240],"queries,":[243],"(3)":[244],"operate":[246],"huge":[250],"spaces,":[252],"(4)":[253],"allows":[254,319],"two-stage":[257],"optimization":[258,323],"(wrt.":[261],"their":[262],"number":[263],"cost),":[265],"(5)":[266],"designed":[268],"reduce":[270],"expensive":[271],"logical":[272,316],"inferences":[273],"minimum,":[276],"(6)":[278],"generally":[280],"applicable.":[281],"The":[282],"latter":[283],"means":[284],"it":[286,380,387],"any":[290,302,328,366],"problem":[294],"per":[296],"Reiter's":[297],"applicable":[300],"monotonic":[303],"representation":[305],"language,":[306],"interact":[308],"multitude":[311],"engines":[314],"reasoners,":[317],"common":[331],"criteria":[332],"in":[333,392,402],"literature.":[335],"We":[336],"extensively":[337],"study":[338],"performance":[340],"using":[345],"benchmark":[347,377],"real-world":[349],"problems.":[351],"findings":[353],"are":[354],"our":[356,396],"enables":[358],"hardly":[365],"delay,":[367],"independently":[368],"size":[371],"complexity":[373],"considered":[376],"problem.":[378],"proves":[381],"highly":[384],"scalable,":[385],"outperforms":[388],"method":[391],"domain":[394],"benchmarks":[397],"by":[398],"orders":[399],"magnitude":[401],"terms":[403],"time":[406],"while":[407],"returning":[409],"qualitatively":[411],"good":[413],"better":[415],"query.":[416]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}