{"id":"https://openalex.org/W1560046152","doi":"https://doi.org/10.1007/3-540-45422-5_31","title":"DiKe - A Model-Based Diagnosis Kernel and Its Application","display_name":"DiKe - A Model-Based Diagnosis Kernel and Its Application","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W1560046152","doi":"https://doi.org/10.1007/3-540-45422-5_31","mag":"1560046152"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45422-5_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45422-5_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5044484831","display_name":"Gerhard Fleischanderl","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127033","display_name":"Siemens (Austria)","ror":"https://ror.org/03794w632","country_code":"AT","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210127033"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Gerhard Fleischanderl","raw_affiliation_strings":["Siemens Austria, Program and System Engineering, Erdbergerl\u00e4nde 26, A-1030, Vienna, Austria","Program and System Engineering, Siemens Austria, Erdbergerl\u00e4nde 26, A-1030 Vienna, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"Siemens Austria, Program and System Engineering, Erdbergerl\u00e4nde 26, A-1030, Vienna, Austria","institution_ids":["https://openalex.org/I4210127033"]},{"raw_affiliation_string":"Program and System Engineering, Siemens Austria, Erdbergerl\u00e4nde 26, A-1030 Vienna, Austria#TAB#","institution_ids":["https://openalex.org/I4210127033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050571039","display_name":"Thomas Havelka","orcid":null},"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":"Thomas Havelka","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme, Technische Universit\u00e4tWien, Favoritenstra\u00dfe 9-11, A-1040, Vienna, Austria","Institut f\u00fcr Informationssysteme, Database and Artificial Intelligence Group, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Wien, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme, Technische Universit\u00e4tWien, Favoritenstra\u00dfe 9-11, A-1040, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme, Database and Artificial Intelligence Group, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Wien, Austria#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088522536","display_name":"Herwig Schreiner","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127033","display_name":"Siemens (Austria)","ror":"https://ror.org/03794w632","country_code":"AT","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210127033"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Herwig Schreiner","raw_affiliation_strings":["Siemens Austria, Program and System Engineering, Erdbergerl\u00e4nde 26, A-1030, Vienna, Austria","Program and System Engineering, Siemens Austria, Erdbergerl\u00e4nde 26, A-1030 Vienna, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"Siemens Austria, Program and System Engineering, Erdbergerl\u00e4nde 26, A-1030, Vienna, Austria","institution_ids":["https://openalex.org/I4210127033"]},{"raw_affiliation_string":"Program and System Engineering, Siemens Austria, Erdbergerl\u00e4nde 26, A-1030 Vienna, Austria#TAB#","institution_ids":["https://openalex.org/I4210127033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019515177","display_name":"Markus Stumptner","orcid":"https://orcid.org/0000-0002-7125-3289"},"institutions":[{"id":"https://openalex.org/I170239107","display_name":"University of South Australia","ror":"https://ror.org/01p93h210","country_code":"AU","type":"education","lineage":["https://openalex.org/I170239107"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Markus Stumptner","raw_affiliation_strings":["School of Computer and Information Science, University of South Australia, Mawson Lakes Boulevard 1, 5092, Mawson Lakes SA, Australia","Advanced Computing Research Center, University of South Australia, 5095 Mawson Lakes (Adelaide) SA, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, University of South Australia, Mawson Lakes Boulevard 1, 5092, Mawson Lakes SA, Australia","institution_ids":["https://openalex.org/I170239107"]},{"raw_affiliation_string":"Advanced Computing Research Center, University of South Australia, 5095 Mawson Lakes (Adelaide) SA, Australia#TAB#","institution_ids":["https://openalex.org/I170239107"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011388533","display_name":"Franz Wotawa","orcid":"https://orcid.org/0000-0002-0462-2283"},"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"]},{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Franz Wotawa","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme, Technische Universit\u00e4tWien, Favoritenstra\u00dfe 9-11, A-1040, Vienna, Austria","Institute for Software Technology, Technische Universit\u00e4t Graz, Inffeldgasse 16b/II, A-8010 Graz, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme, Technische Universit\u00e4tWien, Favoritenstra\u00dfe 9-11, A-1040, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute for Software Technology, Technische Universit\u00e4t Graz, Inffeldgasse 16b/II, A-8010 Graz, Austria#TAB#","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5044484831"],"corresponding_institution_ids":["https://openalex.org/I4210127033"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.12267772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"440","last_page":"454"},"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.9993000030517578,"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.9993000030517578,"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.9955000281333923,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9803000092506409,"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/computer-science","display_name":"Computer science","score":0.8447957038879395},{"id":"https://openalex.org/keywords/dike","display_name":"Dike","score":0.6387505531311035},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.5871411561965942},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5680339336395264},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.535883367061615},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.5014712810516357},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42613083124160767},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42561107873916626},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3776543140411377},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.07628679275512695}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8447957038879395},{"id":"https://openalex.org/C83893233","wikidata":"https://www.wikidata.org/wiki/Q662806","display_name":"Dike","level":2,"score":0.6387505531311035},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.5871411561965942},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5680339336395264},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.535883367061615},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.5014712810516357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42613083124160767},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42561107873916626},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3776543140411377},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.07628679275512695},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-45422-5_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45422-5_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.527.3011","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.3011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ist.tugraz.at/DEV/download/conferences/frameworkKI2001.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W11259559","https://openalex.org/W27070454","https://openalex.org/W29348749","https://openalex.org/W110177614","https://openalex.org/W178087257","https://openalex.org/W193530434","https://openalex.org/W194442520","https://openalex.org/W202104474","https://openalex.org/W1490178561","https://openalex.org/W1496523200","https://openalex.org/W1499160934","https://openalex.org/W1533012984","https://openalex.org/W1548687343","https://openalex.org/W1551041685","https://openalex.org/W1553765170","https://openalex.org/W1559084037","https://openalex.org/W1563724406","https://openalex.org/W1589475514","https://openalex.org/W1597829571","https://openalex.org/W1607817027","https://openalex.org/W1641709528","https://openalex.org/W1696263757","https://openalex.org/W1757766229","https://openalex.org/W1797873548","https://openalex.org/W1804031886","https://openalex.org/W1986146602","https://openalex.org/W2025271293","https://openalex.org/W2053190303","https://openalex.org/W2101003484","https://openalex.org/W2108309071","https://openalex.org/W2116938596","https://openalex.org/W2144386448","https://openalex.org/W2159484511","https://openalex.org/W2160851181","https://openalex.org/W2165558305","https://openalex.org/W2268702648","https://openalex.org/W2395053017","https://openalex.org/W2979785467","https://openalex.org/W3152779315","https://openalex.org/W3154048165","https://openalex.org/W6607876646"],"related_works":["https://openalex.org/W3180179400","https://openalex.org/W2118366689","https://openalex.org/W2154998455","https://openalex.org/W2116888309","https://openalex.org/W2477652530","https://openalex.org/W2039055059","https://openalex.org/W2381088774","https://openalex.org/W963721989","https://openalex.org/W1547777009","https://openalex.org/W2183494409"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}