{"id":"https://openalex.org/W3003455100","doi":"https://doi.org/10.1007/s10489-019-01575-5","title":"Faster horn diagnosis - a performance comparison of abductive reasoning algorithms","display_name":"Faster horn diagnosis - a performance comparison of abductive reasoning algorithms","publication_year":2020,"publication_date":"2020-01-28","ids":{"openalex":"https://openalex.org/W3003455100","doi":"https://doi.org/10.1007/s10489-019-01575-5","mag":"3003455100"},"language":"en","primary_location":{"id":"doi:10.1007/s10489-019-01575-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10489-019-01575-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10489-019-01575-5.pdf","source":{"id":"https://openalex.org/S74726891","display_name":"Applied Intelligence","issn_l":"0924-669X","issn":["0924-669X","1573-7497"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10489-019-01575-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001301874","display_name":"Roxane Koitz","orcid":"https://orcid.org/0000-0002-5077-8641"},"institutions":[{"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":true,"raw_author_name":"Roxane Koitz-Hristov","raw_affiliation_strings":["Insitute for Software Technology, Graz University of Technology, Inffeldgasse 16b/II, Graz, 8010, Austria"],"raw_orcid":"https://orcid.org/0000-0002-5077-8641","affiliations":[{"raw_affiliation_string":"Insitute for Software Technology, Graz University of Technology, Inffeldgasse 16b/II, Graz, 8010, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"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/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":["Insitute for Software Technology, Graz University of Technology, Inffeldgasse 16b/II, Graz, 8010, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Insitute for Software Technology, Graz University of Technology, Inffeldgasse 16b/II, Graz, 8010, Austria","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001301874"],"corresponding_institution_ids":["https://openalex.org/I4092182"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.5436,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72434681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"50","issue":"5","first_page":"1558","last_page":"1572"},"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.9984999895095825,"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.9984999895095825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9970999956130981,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9909999966621399,"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/abductive-reasoning","display_name":"Abductive reasoning","score":0.8628877401351929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.837200939655304},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6881676316261292},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.6819326281547546},{"id":"https://openalex.org/keywords/french-horn","display_name":"French horn","score":0.5942744612693787},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5657474398612976},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.49470922350883484},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4673346281051636},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4359847903251648},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4299299716949463},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4101945757865906},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3207562565803528},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.20035135746002197},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1423744559288025}],"concepts":[{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.8628877401351929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.837200939655304},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6881676316261292},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.6819326281547546},{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.5942744612693787},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5657474398612976},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.49470922350883484},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4673346281051636},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4359847903251648},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4299299716949463},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4101945757865906},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3207562565803528},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.20035135746002197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1423744559288025},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10489-019-01575-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10489-019-01575-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10489-019-01575-5.pdf","source":{"id":"https://openalex.org/S74726891","display_name":"Applied Intelligence","issn_l":"0924-669X","issn":["0924-669X","1573-7497"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10489-019-01575-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10489-019-01575-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10489-019-01575-5.pdf","source":{"id":"https://openalex.org/S74726891","display_name":"Applied Intelligence","issn_l":"0924-669X","issn":["0924-669X","1573-7497"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3003455100.pdf","grobid_xml":"https://content.openalex.org/works/W3003455100.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W73864267","https://openalex.org/W78724527","https://openalex.org/W79296947","https://openalex.org/W97081472","https://openalex.org/W286350456","https://openalex.org/W952867079","https://openalex.org/W1484146221","https://openalex.org/W1488364561","https://openalex.org/W1505068091","https://openalex.org/W1520443109","https://openalex.org/W1540899940","https://openalex.org/W1541340697","https://openalex.org/W1795691572","https://openalex.org/W1831845533","https://openalex.org/W1965184317","https://openalex.org/W1979472512","https://openalex.org/W1987005090","https://openalex.org/W2015962091","https://openalex.org/W2020169768","https://openalex.org/W2037481186","https://openalex.org/W2045284289","https://openalex.org/W2087418187","https://openalex.org/W2087432892","https://openalex.org/W2100657934","https://openalex.org/W2108309071","https://openalex.org/W2113666441","https://openalex.org/W2125626101","https://openalex.org/W2147096558","https://openalex.org/W2152516279","https://openalex.org/W2166013242","https://openalex.org/W2172057908","https://openalex.org/W2182439353","https://openalex.org/W2210667683","https://openalex.org/W2264956082","https://openalex.org/W2398908713","https://openalex.org/W2401610261","https://openalex.org/W2403011991","https://openalex.org/W2403750894","https://openalex.org/W2404575846","https://openalex.org/W2470660316","https://openalex.org/W2478872016","https://openalex.org/W2544773140","https://openalex.org/W2568315666","https://openalex.org/W2579177025","https://openalex.org/W2597046772","https://openalex.org/W2617704515","https://openalex.org/W2801146031","https://openalex.org/W2913130920","https://openalex.org/W2913602408","https://openalex.org/W3100572694"],"related_works":["https://openalex.org/W2372612917","https://openalex.org/W1991403408","https://openalex.org/W1521840795","https://openalex.org/W2404351495","https://openalex.org/W2600034178","https://openalex.org/W328089188","https://openalex.org/W2542670467","https://openalex.org/W1808107509","https://openalex.org/W1601271412","https://openalex.org/W2009605580"],"abstract_inverted_index":{"Abstract":[0],"Abductive":[1],"inference":[2],"derives":[3],"explanations":[4,91],"for":[5,14,138,178],"encountered":[6],"anomalies":[7],"and":[8,123],"thus":[9],"embodies":[10],"a":[11,32,61,104,151,176],"natural":[12],"approach":[13],"diagnostic":[15,110],"reasoning.":[16],"Yet":[17],"its":[18],"computational":[19],"complexity,":[20],"which":[21,102,155],"is":[22,44,56,129],"inherent":[23],"to":[24,39,107],"the":[25,28,37,42,87,127,135],"expressiveness":[26],"of":[27,57,68,89,172],"underlying":[29],"theory,":[30],"remains":[31],"disadvantage.":[33],"Even":[34],"when":[35,84],"restricting":[36],"representation":[38],"Horn":[40,100,164],"formulae":[41],"problem":[43,118],"NP-complete.":[45],"Hence,":[46],"finding":[47],"procedures":[48],"that":[49],"can":[50],"efficiently":[51],"solve":[52],"abductive":[53],"diagnosis":[54],"problems":[55],"particular":[58],"interest":[59],"from":[60],"research":[62],"as":[63,65,167,169,175],"well":[64,168],"practical":[66],"point":[67],"view.":[69],"In":[70],"this":[71],"paper,":[72],"we":[73,149,156],"aim":[74],"at":[75],"providing":[76],"guidance":[77],"on":[78,99,131],"choosing":[79],"an":[80],"algorithm":[81],"or":[82],"tool":[83],"confronted":[85],"with":[86],"issue":[88],"computing":[90],"in":[92,154],"propositional":[93],"logic-based":[94],"abduction.":[95,179],"Our":[96],"focus":[97],"lies":[98],"representations,":[101],"provide":[103],"suitable":[105,139],"language":[106],"describe":[108],"most":[109],"scenarios.":[111],"We":[112],"illustrate":[113],"abduction":[114],"via":[115],"two":[116],"contrasting":[117],"formulations:":[119],"direct":[120],"proof":[121],"methods":[122,174],"conflict-driven":[124],"techniques.":[125],"While":[126],"former":[128],"based":[130],"determining":[132],"logical":[133],"consequences,":[134],"later":[136],"searches":[137],"refutations":[140],"involving":[141],"possible":[142],"causes.":[143],"To":[144],"reveal":[145],"runtime":[146],"performance":[147],"trends":[148],"conducted":[150],"case":[152],"study,":[153],"compared":[157],"publicly":[158],"available":[159],"general":[160],"purpose":[161],"tools,":[162],"established":[163],"reasoning":[165],"engines,":[166],"new":[170],"variations":[171],"known":[173],"means":[177]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}