{"id":"https://openalex.org/W2151230338","doi":"https://doi.org/10.1145/2362536.2362543","title":"A comparison of strategies for tolerating inconsistencies during decision-making","display_name":"A comparison of strategies for tolerating inconsistencies during decision-making","publication_year":2012,"publication_date":"2012-09-02","ids":{"openalex":"https://openalex.org/W2151230338","doi":"https://doi.org/10.1145/2362536.2362543","mag":"2151230338"},"language":"en","primary_location":{"id":"doi:10.1145/2362536.2362543","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2362536.2362543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Software Product Line Conference - Volume 1","raw_type":"proceedings-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/A5041598520","display_name":"Alexander N\u00f6hrer","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Alexander N\u00f6hrer","raw_affiliation_strings":["Johannes Kepler University, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082596567","display_name":"Armin Biere","orcid":"https://orcid.org/0000-0001-7170-9242"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Armin Biere","raw_affiliation_strings":["Johannes Kepler University, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057561309","display_name":"Alexander Egyed","orcid":"https://orcid.org/0000-0003-3128-5427"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alexander Egyed","raw_affiliation_strings":["Johannes Kepler University, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041598520"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":2.997,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.91849391,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"11","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9951000213623047,"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.7931198477745056},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5870651006698608},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5746854543685913},{"id":"https://openalex.org/keywords/product-line","display_name":"Product line","score":0.5639559030532837},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4523237645626068},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.437336266040802},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43647074699401855},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.43630069494247437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33121800422668457},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1857825219631195},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18213269114494324},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07987669110298157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07675871253013611}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7931198477745056},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5870651006698608},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5746854543685913},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.5639559030532837},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4523237645626068},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.437336266040802},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43647074699401855},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.43630069494247437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33121800422668457},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1857825219631195},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18213269114494324},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07987669110298157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07675871253013611},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2362536.2362543","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2362536.2362543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Software Product Line Conference - Volume 1","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7900000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W111132822","https://openalex.org/W1488424150","https://openalex.org/W1511963917","https://openalex.org/W1526260260","https://openalex.org/W1681979991","https://openalex.org/W1710690747","https://openalex.org/W1979903718","https://openalex.org/W2016728294","https://openalex.org/W2020169768","https://openalex.org/W2024148935","https://openalex.org/W2033803742","https://openalex.org/W2034393157","https://openalex.org/W2037450763","https://openalex.org/W2057361103","https://openalex.org/W2060555016","https://openalex.org/W2110936022","https://openalex.org/W2143614054","https://openalex.org/W2158633088","https://openalex.org/W2159090554","https://openalex.org/W2160332621","https://openalex.org/W2162686404","https://openalex.org/W2164392635","https://openalex.org/W2294168344","https://openalex.org/W2294967233","https://openalex.org/W2415170901","https://openalex.org/W2770340794","https://openalex.org/W4243958534","https://openalex.org/W6697200068"],"related_works":["https://openalex.org/W4253469356","https://openalex.org/W4236879149","https://openalex.org/W2122639651","https://openalex.org/W3136844949","https://openalex.org/W2099023631","https://openalex.org/W2093033840","https://openalex.org/W1585697219","https://openalex.org/W2334851661","https://openalex.org/W4233314024","https://openalex.org/W2105186259"],"abstract_inverted_index":{"Tolerating":[0],"inconsistencies":[1,32,66,107,139],"is":[2,10,95,118,130],"well":[3],"accepted":[4],"in":[5,36,54,69,103],"design":[6],"modeling":[7],"because":[8],"it":[9,94],"often":[11],"neither":[12],"obvious":[13,44],"how":[14],"to":[15,21,98,132,143,157],"fix":[16],"an":[17],"inconsistency":[18],"nor":[19],"important":[20,131],"do":[22],"so":[23],"right":[24],"away.":[25],"However,":[26],"there":[27],"are":[28,33,50,155],"technical":[29],"reasons":[30],"why":[31],"not":[34],"tolerated":[35],"many":[37],"areas":[38],"of":[39,57,106,111,152],"software":[40,124],"engineering.":[41],"The":[42],"most":[43],"being":[45],"that":[46,79,93,134],"common":[47],"reasoning":[48,78,90,102],"engines":[49],"rendered":[51],"(partially)":[52],"useless":[53],"the":[55,104,109,149],"presence":[56,105],"inconsistencies.":[58,81],"This":[59],"paper":[60],"investigates":[61],"automated":[62],"strategies":[63],"for":[64,137],"tolerating":[65,138],"during":[67],"decision-making":[68],"product":[70,125],"line":[71,126],"engineering,":[72],"based":[73,119],"on":[74,120],"isolating":[75],"parts":[76],"from":[77],"cause":[80],"We":[82],"compare":[83],"trade":[84],"offs":[85],"concerning":[86],"incorrect":[87,101],"and":[88,91,147],"incomplete":[89],"demonstrate":[92],"even":[96],"possible":[97],"fully":[99],"eliminate":[100],"at":[108],"expense":[110],"marginally":[112],"less":[113],"complete":[114],"reasoning.":[115],"Our":[116],"evaluation":[117],"seven":[121],"medium-to-large":[122],"size":[123],"case":[127],"studies.":[128],"It":[129],"note":[133],"our":[135],"mechanism":[136],"can":[140],"be":[141],"applied":[142],"arbitrary":[144],"SAT":[145],"problems":[146],"thus":[148],"basic":[150],"principles":[151],"this":[153],"approach":[154],"applicable":[156],"other":[158],"domains":[159],"also.":[160]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}