{"id":"https://openalex.org/W1498090045","doi":"https://doi.org/10.3233/978-1-60750-606-5-895","title":"The Complexity of Handling Minimal Solutions in Logic-Based Abduction","display_name":"The Complexity of Handling Minimal Solutions in Logic-Based Abduction","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1498090045","doi":"https://doi.org/10.3233/978-1-60750-606-5-895","mag":"1498090045"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-606-5-895","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-606-5-895","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","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/A5091683403","display_name":"Reinhard Pichler","orcid":"https://orcid.org/0000-0002-1760-122X"},"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":"Pichler Reinhard","raw_affiliation_strings":["Technische Universit\u00e4t Wien, email: {pichler,woltran}@dbai.tuwien.ac.at"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, email: {pichler,woltran}@dbai.tuwien.ac.at","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"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":"Woltran Stefan","raw_affiliation_strings":["Technische Universit\u00e4t Wien, email: {pichler,woltran}@dbai.tuwien.ac.at"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, email: {pichler,woltran}@dbai.tuwien.ac.at","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091683403"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07859317,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"895","last_page":"900"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9968000054359436,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962000250816345,"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.5042856931686401},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34363269805908203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5042856931686401},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34363269805908203}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-60750-606-5-895","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-606-5-895","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:1498090045","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#PichlerW10","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W89211023","https://openalex.org/W1540899940","https://openalex.org/W1548234627","https://openalex.org/W1764662929","https://openalex.org/W2000042161","https://openalex.org/W2002476082","https://openalex.org/W2055356006","https://openalex.org/W2100657934","https://openalex.org/W2113666441","https://openalex.org/W2127845326","https://openalex.org/W2394842790"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"Logic-based":[0],"abduction":[1,22,55],"is":[2,24,42,67,111],"an":[3,21,30,54,59],"important":[4],"reasoning":[5],"method":[6],"with":[7,134],"many":[8,37],"applications":[9],"in":[10,45],"Artificial":[11],"Intelligence":[12],"including":[13],"diagnosis,":[14],"planning,":[15],"and":[16,40],"configuration.":[17],"The":[18],"goal":[19],"of":[20,51,88,102,108,137],"problem":[23,56],"to":[25,53,75,113],"find":[26],"a":[27,85,92,99,106],"“solution”,":[28],"i.e.,":[29],"explanation":[31],"for":[32],"some":[33],"observed":[34],"symptoms.":[35],"Usually,":[36],"solutions":[38,89],"exist,":[39],"one":[41],"often":[43],"interested":[44],"minimal":[46],"ones":[47],"only.":[48],"Previous":[49],"definitions":[50],"“solutions”":[52],"tacitly":[57],"made":[58],"open-world":[60],"assumption.":[61],"However,":[62],"as":[63,65,128,130],"far":[64],"minimality":[66,103],"concerned,":[68],"this":[69,81],"assumption":[70],"may":[71],"not":[72],"always":[73],"lead":[74],"the":[76,109,120,131],"desired":[77],"behavior.":[78],"To":[79],"overcome":[80],"problem,":[82],"we":[83,96],"propose":[84],"new":[86,100,126],"definition":[87],"based":[90],"on":[91],"closed-world":[93],"approach.":[94],"Moreover,":[95],"also":[97],"introduce":[98],"variant":[101],"where":[104],"only":[105],"part":[107],"hypotheses":[110],"subject":[112],"minimization.":[114],"A":[115],"thorough":[116],"complexity":[117],"analysis":[118],"reveals":[119],"close":[121],"relationship":[122],"between":[123],"these":[124],"two":[125],"notions":[127,136],"well":[129],"differences":[132],"compared":[133],"previous":[135],"solutions.":[138]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}