{"id":"https://openalex.org/W3034438814","doi":"https://doi.org/10.24963/ijcai.2020/30","title":"Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory","display_name":"Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3034438814","doi":"https://doi.org/10.24963/ijcai.2020/30","mag":"3034438814"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/30","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/30","pdf_url":"https://www.ijcai.org/proceedings/2020/0030.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2020/0030.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061257841","display_name":"Wiebe van der Hoek","orcid":"https://orcid.org/0000-0003-0721-0310"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wiebe Van der Hoek","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091303743","display_name":"Louwe B. Kuijer","orcid":"https://orcid.org/0000-0001-6696-9023"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Louwe Kuijer","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100364945","display_name":"Y\u00ec W\u00e1ng","orcid":"https://orcid.org/0000-0002-3676-9183"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Y\u00ec W\u00e1ng","raw_affiliation_strings":["Zhejiang University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5091303743"],"corresponding_institution_ids":["https://openalex.org/I146655781"],"apc_list":null,"apc_paid":null,"fwci":0.9345,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.73367181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"210","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12592","display_name":"Opinion Dynamics and Social Influence","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12592","display_name":"Opinion Dynamics and Social Influence","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10064","display_name":"Complex Network Analysis Techniques","score":0.9829999804496765,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.9804999828338623,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6650781631469727},{"id":"https://openalex.org/keywords/balance","display_name":"Balance (ability)","score":0.6624277830123901},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.628334105014801},{"id":"https://openalex.org/keywords/theory","display_name":"Theory","score":0.5783674716949463},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5491459965705872},{"id":"https://openalex.org/keywords/dynamics","display_name":"Dynamics (music)","score":0.5246745944023132},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4682779312133789},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4232189357280731},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3308771252632141},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.2907407283782959},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1961272954940796},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.13758617639541626}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6650781631469727},{"id":"https://openalex.org/C168031717","wikidata":"https://www.wikidata.org/wiki/Q1530280","display_name":"Balance (ability)","level":2,"score":0.6624277830123901},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.628334105014801},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.5783674716949463},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5491459965705872},{"id":"https://openalex.org/C145912823","wikidata":"https://www.wikidata.org/wiki/Q113558","display_name":"Dynamics (music)","level":2,"score":0.5246745944023132},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4682779312133789},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4232189357280731},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3308771252632141},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.2907407283782959},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1961272954940796},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.13758617639541626},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2020/30","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/30","pdf_url":"https://www.ijcai.org/proceedings/2020/0030.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2020/30","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/30","pdf_url":"https://www.ijcai.org/proceedings/2020/0030.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.7900000214576721,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3034438814.pdf","grobid_xml":"https://content.openalex.org/works/W3034438814.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1501731334","https://openalex.org/W1572332409","https://openalex.org/W1590315663","https://openalex.org/W1980769375","https://openalex.org/W1980949197","https://openalex.org/W1986936900","https://openalex.org/W1998084650","https://openalex.org/W2031751296","https://openalex.org/W2048355938","https://openalex.org/W2053081145","https://openalex.org/W2056037595","https://openalex.org/W2057286267","https://openalex.org/W2065482951","https://openalex.org/W2068396411","https://openalex.org/W2083392533","https://openalex.org/W2104074474","https://openalex.org/W2155919832","https://openalex.org/W2164181247","https://openalex.org/W2788995504","https://openalex.org/W2799349239","https://openalex.org/W2969833226","https://openalex.org/W2980215826","https://openalex.org/W2986444891","https://openalex.org/W4220718742","https://openalex.org/W4251146767","https://openalex.org/W4298185589","https://openalex.org/W6645588313","https://openalex.org/W6667709304","https://openalex.org/W6767531405","https://openalex.org/W6868564194"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W2103740034","https://openalex.org/W1513903619","https://openalex.org/W2030935018","https://openalex.org/W2203774400"],"abstract_inverted_index":{"We":[0,31],"combine":[1],"social":[2,25,29],"balance":[3],"theory":[4],"with":[5],"temporal":[6],"logic":[7],"to":[8,23,28,42],"obtain":[9],"a":[10,24],"Logic":[11],"of":[12,37],"Allies":[13],"and":[14,47,53],"Enemies":[15],"(LAE),":[16],"which":[17],"formally":[18],"describes":[19],"the":[20,34],"likely":[21],"changes":[22],"network":[26],"due":[27],"pressure.":[30],"demonstrate":[32],"how":[33],"rich":[35],"language":[36],"LAE":[38],"can":[39],"be":[40],"used":[41],"describe":[43],"various":[44],"interesting":[45],"concepts,":[46],"show":[48],"that":[49],"both":[50],"model":[51],"checking":[52,55],"validity":[54],"are":[56],"PSPACE-complete.":[57]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}