{"id":"https://openalex.org/W1994016856","doi":"https://doi.org/10.1007/bf01530747","title":"Controlling the complexity in model-based diagnosis","display_name":"Controlling the complexity in model-based diagnosis","publication_year":1994,"publication_date":"1994-03-01","ids":{"openalex":"https://openalex.org/W1994016856","doi":"https://doi.org/10.1007/bf01530747","mag":"1994016856"},"language":"en","primary_location":{"id":"doi:10.1007/bf01530747","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01530747","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"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/A5017283574","display_name":"Igor Mozeti\u010d","orcid":"https://orcid.org/0000-0002-5466-0608"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I161878677","display_name":"Austrian Research Institute for Artificial Intelligence","ror":"https://ror.org/04j47vk14","country_code":"AT","type":"facility","lineage":["https://openalex.org/I161878677","https://openalex.org/I4210107880"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Igor Mozeti\u010d","raw_affiliation_strings":["Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria","Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria","institution_ids":["https://openalex.org/I129774422","https://openalex.org/I161878677"]},{"raw_affiliation_string":"Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Vienna, Austria","institution_ids":["https://openalex.org/I161878677"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041860083","display_name":"Christian Holzbaur","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I161878677","display_name":"Austrian Research Institute for Artificial Intelligence","ror":"https://ror.org/04j47vk14","country_code":"AT","type":"facility","lineage":["https://openalex.org/I161878677","https://openalex.org/I4210107880"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christian Holzbaur","raw_affiliation_strings":["Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria","Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Vienna, Austria","Austrian Research Institute for Artificial Intelligence and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria","institution_ids":["https://openalex.org/I129774422","https://openalex.org/I161878677"]},{"raw_affiliation_string":"Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422","https://openalex.org/I161878677"]},{"raw_affiliation_string":"Austrian Research Institute for Artificial Intelligence and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I161878677"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.7381,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85730879,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"11","issue":"1-4","first_page":"297","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9994000196456909,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9994000196456909,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9710000157356262,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9638000130653381,"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/medical-diagnosis","display_name":"Medical diagnosis","score":0.8313469290733337},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6008957624435425},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.569109320640564},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.561842679977417},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4923332929611206},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4860582649707794},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47899696230888367},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.47226157784461975},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4407026767730713},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4192717373371124},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4163738787174225},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3472333550453186},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3059198260307312},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.21722903847694397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19376075267791748}],"concepts":[{"id":"https://openalex.org/C534262118","wikidata":"https://www.wikidata.org/wiki/Q177719","display_name":"Medical diagnosis","level":2,"score":0.8313469290733337},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6008957624435425},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.569109320640564},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.561842679977417},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4923332929611206},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4860582649707794},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47899696230888367},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.47226157784461975},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4407026767730713},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4192717373371124},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4163738787174225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3472333550453186},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3059198260307312},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.21722903847694397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19376075267791748},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf01530747","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01530747","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.45.6309","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ai.univie.ac.at/papers/oefai-tr-91-03.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320324190","display_name":"Bundesministerium f\u00fcr Wissenschaft und Forschung","ror":"https://ror.org/02d229b24"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W2814531","https://openalex.org/W65937437","https://openalex.org/W134204210","https://openalex.org/W1484865018","https://openalex.org/W1492803714","https://openalex.org/W1493278936","https://openalex.org/W1519683110","https://openalex.org/W1567176099","https://openalex.org/W1575798436","https://openalex.org/W1608701707","https://openalex.org/W1764662929","https://openalex.org/W1797873548","https://openalex.org/W1869185720","https://openalex.org/W1974103833","https://openalex.org/W1983382292","https://openalex.org/W1986473353","https://openalex.org/W2079035845","https://openalex.org/W2084202433","https://openalex.org/W2099630917","https://openalex.org/W2108309071","https://openalex.org/W2116938596","https://openalex.org/W2123396057","https://openalex.org/W2141333305","https://openalex.org/W2144386448","https://openalex.org/W2169583663","https://openalex.org/W2250732248","https://openalex.org/W2317286377","https://openalex.org/W2911331989","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1596719193","https://openalex.org/W2365168741","https://openalex.org/W2510050445","https://openalex.org/W1591583250","https://openalex.org/W2525470665","https://openalex.org/W2963869083","https://openalex.org/W1591778271"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}