{"id":"https://openalex.org/W2964813204","doi":"https://doi.org/10.24963/ijcai.2019/155","title":"Model-Based Diagnosis with Multiple Observations","display_name":"Model-Based Diagnosis with Multiple Observations","publication_year":2019,"publication_date":"2019-07-28","ids":{"openalex":"https://openalex.org/W2964813204","doi":"https://doi.org/10.24963/ijcai.2019/155","mag":"2964813204"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2019/155","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/155","pdf_url":"https://www.ijcai.org/proceedings/2019/0155.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2019/0155.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051305025","display_name":"Alexey Ignatiev","orcid":"https://orcid.org/0000-0002-4535-2902"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["PT","RU"],"is_corresponding":false,"raw_author_name":"Alexey Ignatiev","raw_affiliation_strings":["Faculty of Science, University of Lisbon, Portugal","ISDCT SB RAS, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, University of Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"ISDCT SB RAS, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063586825","display_name":"Ant\u00f3nio Morgado","orcid":"https://orcid.org/0000-0002-5295-1321"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Antonio Morgado","raw_affiliation_strings":["Faculty of Science, University of Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, University of Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017958562","display_name":"Georg Wei\u00dfenbacher","orcid":"https://orcid.org/0000-0002-0143-632X"},"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":true,"raw_author_name":"Georg Weissenbacher","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002246957","display_name":"Jo\u00e3o Marques\u2010Silva","orcid":"https://orcid.org/0000-0002-6632-3086"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Joao Marques-Silva","raw_affiliation_strings":["Faculty of Science, University of Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, University of Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017958562"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":2.3062,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.88634454,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1108","last_page":"1115"},"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.9998000264167786,"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.9998000264167786,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9969000220298767,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7927764654159546},{"id":"https://openalex.org/keywords/medical-diagnosis","display_name":"Medical diagnosis","score":0.6221156716346741},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5656479001045227},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4629579186439514},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.41691070795059204},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3823893964290619}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7927764654159546},{"id":"https://openalex.org/C534262118","wikidata":"https://www.wikidata.org/wiki/Q177719","display_name":"Medical diagnosis","level":2,"score":0.6221156716346741},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5656479001045227},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4629579186439514},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41691070795059204},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3823893964290619},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2019/155","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/155","pdf_url":"https://www.ijcai.org/proceedings/2019/0155.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2019/155","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/155","pdf_url":"https://www.ijcai.org/proceedings/2019/0155.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1796134897","display_name":null,"funder_award_id":"PTDC/CCI-COM/29300/2017","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G2512157488","display_name":null,"funder_award_id":"VRG11-005","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G3284537356","display_name":null,"funder_award_id":"SFRH/B","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3929721829","display_name":null,"funder_award_id":"CEECIND/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5454278309","display_name":null,"funder_award_id":"/2017","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5722645763","display_name":null,"funder_award_id":"SFRH/BP","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6299983296","display_name":null,"funder_award_id":"PTDC/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6947071278","display_name":null,"funder_award_id":"S11403","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7052333967","display_name":null,"funder_award_id":"S11403-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G724804869","display_name":null,"funder_award_id":"SFRH/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G943999617","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2964813204.pdf","grobid_xml":"https://content.openalex.org/works/W2964813204.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W9697679","https://openalex.org/W22606231","https://openalex.org/W28392221","https://openalex.org/W134459671","https://openalex.org/W139194355","https://openalex.org/W952867079","https://openalex.org/W1505051593","https://openalex.org/W1511069520","https://openalex.org/W1527892282","https://openalex.org/W1545697174","https://openalex.org/W1831845533","https://openalex.org/W1898652832","https://openalex.org/W2020169768","https://openalex.org/W2039786027","https://openalex.org/W2040900440","https://openalex.org/W2058449564","https://openalex.org/W2081966954","https://openalex.org/W2086674260","https://openalex.org/W2087418187","https://openalex.org/W2115436681","https://openalex.org/W2126693329","https://openalex.org/W2144386448","https://openalex.org/W2144641128","https://openalex.org/W2166414999","https://openalex.org/W2205491070","https://openalex.org/W2261194965","https://openalex.org/W2278865530","https://openalex.org/W2290416502","https://openalex.org/W2296202685","https://openalex.org/W2478872016","https://openalex.org/W2481363456","https://openalex.org/W2507929402","https://openalex.org/W2593009553","https://openalex.org/W2730325684","https://openalex.org/W2789151287","https://openalex.org/W2807724775","https://openalex.org/W2809729522","https://openalex.org/W2950256943","https://openalex.org/W2951454425","https://openalex.org/W2973270463","https://openalex.org/W4238552142","https://openalex.org/W4293397849","https://openalex.org/W4297823462"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4249377076","https://openalex.org/W4210389441","https://openalex.org/W2395241803","https://openalex.org/W2003211637","https://openalex.org/W2021488205","https://openalex.org/W2604451061","https://openalex.org/W2418110971","https://openalex.org/W2806095031"],"abstract_inverted_index":{"Existing":[0],"automated":[1],"testing":[2],"frameworks":[3],"require":[4],"multiple":[5,77,108],"observations":[6,78],"to":[7,36,61,94,113],"be":[8],"jointly":[9],"diagnosed":[10],"with":[11,25],"the":[12,21,38,74,88,100],"purpose":[13],"of":[14,40,53,76,82],"identifying":[15],"common":[16],"fault":[17],"locations.":[18],"This":[19,29],"is":[20,111],"case":[22],"for":[23,68,106],"example":[24],"continuous":[26],"integration":[27],"tools.":[28],"paper":[30,56,101],"shows":[31],"that":[32],"existing":[33,63],"solutions":[34,60],"fail":[35],"compute":[37],"set":[39],"minimal":[41],"diagnoses,":[42],"and":[43],"as":[44],"a":[45,80,98,103],"result":[46],"run":[47,71],"times":[48],"can":[49],"increase":[50],"by":[51],"orders":[52],"magnitude.":[54],"The":[55],"proposes":[57],"not":[58],"only":[59],"correct":[62],"algorithms,":[64],"but":[65],"also":[66],"conditions":[67],"improving":[69],"their":[70],"times.":[72],"Nevertheless,":[73],"diagnosis":[75],"raises":[79],"number":[81],"important":[83],"computational":[84],"challenges,":[85],"which":[86,110],"even":[87],"corrected":[89],"algorithms":[90],"are":[91],"often":[92],"unable":[93],"cope":[95],"with.":[96],"As":[97],"result,":[99],"devises":[102],"novel":[104],"algorithm":[105],"diagnosing":[107],"observations,":[109],"shown":[112],"enable":[114],"significant":[115],"performance":[116],"improvements":[117],"in":[118],"practice.":[119]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}