{"id":"https://openalex.org/W7169192479","doi":"https://doi.org/10.24963/kr.2026/23","title":"Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games","display_name":"Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games","publication_year":2026,"publication_date":"2026-07-01","ids":{"openalex":"https://openalex.org/W7169192479","doi":"https://doi.org/10.24963/kr.2026/23"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2026/23","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/23","pdf_url":"https://proceedings.kr.org/2026/23/kr2026-0023-conati-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2026/23/kr2026-0023-conati-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114301752","display_name":"Ari Conati","orcid":"https://orcid.org/0000-0003-3023-3991"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Ari Conati","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089559958","display_name":"Andreas Niskanen","orcid":"https://orcid.org/0000-0003-3197-2075"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Andreas Niskanen","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068702258","display_name":"Ronald de Haan","orcid":"https://orcid.org/0000-0003-2023-0586"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ronald de Haan","raw_affiliation_strings":["University of Amsterdam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5140991398","display_name":"Matti J\u00e4rvisalo","orcid":null},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Matti J\u00e4rvisalo","raw_affiliation_strings":["University of Helsinki"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Helsinki","institution_ids":["https://openalex.org/I133731052"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"245","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/veto","display_name":"Veto","score":0.663100004196167},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5611000061035156},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5572999715805054},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.46939998865127563},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.438400000333786},{"id":"https://openalex.org/keywords/situated","display_name":"Situated","score":0.38920000195503235},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.34929999709129333},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.3474000096321106}],"concepts":[{"id":"https://openalex.org/C2776331573","wikidata":"https://www.wikidata.org/wiki/Q178074","display_name":"Veto","level":3,"score":0.663100004196167},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5611000061035156},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5572999715805054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5153999924659729},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.46939998865127563},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.44339999556541443},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.438400000333786},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41839998960494995},{"id":"https://openalex.org/C132829578","wikidata":"https://www.wikidata.org/wiki/Q581151","display_name":"Situated","level":2,"score":0.38920000195503235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3578999936580658},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.34929999709129333},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.29899999499320984},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2955000102519989},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C2777615720","wikidata":"https://www.wikidata.org/wiki/Q11888847","display_name":"Prioritization","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C2776013622","wikidata":"https://www.wikidata.org/wiki/Q2103021","display_name":"Polynomial hierarchy","level":3,"score":0.26600000262260437},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2026/23","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/23","pdf_url":"https://proceedings.kr.org/2026/23/kr2026-0023-conati-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2026/23","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/23","pdf_url":"https://proceedings.kr.org/2026/23/kr2026-0023-conati-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7169192479.pdf","grobid_xml":"https://content.openalex.org/works/W7169192479.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Boolean":[0,132],"hedonic":[1],"games":[2,8],"are":[3,58,111],"a":[4,71,148],"class":[5],"of":[6,37,118,151],"cooperative":[7],"involving":[9],"multiple":[10],"agents":[11,14,51],"in":[12,46,108],"which":[13,55],"aim":[15],"to":[16,60,73,97],"form":[17],"coalitions":[18,41,56],"based":[19,135],"on":[20,114,126],"individual":[21,76],"agents\u2019":[22],"preferences.":[23],"In":[24],"this":[25,109],"work,":[26],"we":[27,130],"provide":[28],"complexity":[29,128],"results":[30],"and":[31,105,145],"exact":[32],"algorithms":[33,139],"for":[34,54,68,123,140],"the":[35,47,81,90,115,119,127,141,152],"task":[36],"forming":[38],"Nash":[39],"stable":[40],"under":[42],"different":[43],"membership":[44,63],"rights":[45,64,67],"dichotomous":[48],"setting":[49,110],"where":[50],"specify":[52,65],"preferences":[53],"they":[57],"happy/unhappy":[59],"join.":[61],"The":[62],"veto":[66],"coalitions,":[69],"allowing":[70],"coalition":[72,83],"forbid":[74],"an":[75],"agent":[77,91],"from":[78],"moving":[79],"(exiting":[80],"current":[82],"or":[84],"entering":[85],"another":[86],"coalition)":[87],"even":[88],"if":[89],"themself":[92],"would":[93],"become":[94],"more":[95],"happy":[96],"move.":[98],"We":[99],"establish":[100],"that":[101],"various":[102],"problem":[103,143],"variants":[104,144],"their":[106],"refinements":[107],"often":[112],"situated":[113],"second":[116],"level":[117],"polynomial":[120],"hierarchy,":[121],"complete":[122],"\u03a3p2.":[124],"Building":[125],"results,":[129],"develop":[131],"satisfiability":[133],"(SAT)":[134],"counterexample-guided":[136],"abstraction":[137],"refinement":[138],"\u03a3p2":[142],"empirically":[146],"evaluate":[147],"first-of-kind":[149],"implementation":[150],"approaches.":[153]},"counts_by_year":[],"updated_date":"2026-07-18T05:51:51.687321","created_date":"2026-07-17T00:00:00"}