{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T14:47:20Z","timestamp":1768834040639,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031659409","type":"print"},{"value":"9783031659416","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-65941-6_6","type":"book-chapter","created":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T07:10:56Z","timestamp":1722496256000},"page":"104-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Unified Opinion Dynamic Modeling as\u00a0Concurrent Set Relations in\u00a0Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Olarte","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Ram\u00edrez","sequence":"additional","affiliation":[]},{"given":"Camilo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,2]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. ENTCS 153(2), 213\u2013239 (2006)","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Amorim, B., Knight, S., Quintero, S., Valencia, F.: A formal model for polarization under confirmation bias in social networks. Log. Methods Comput. Sci. 19(1) (2023)","DOI":"10.46298\/lmcs-19(1:18)2023"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Ballard, A.O., DeTamble, R., Dorsey, S., Heseltine, M., Johnson, M.: Dynamics of polarizing rhetoric in congressional tweets. Legis. Stud. Q. 48(1), 105\u2013144 (2023)","DOI":"10.1111\/lsq.12374"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Beaufort, M.: Digital media, political polarization and challenges to democracy. Inf. Commun. Soc. 21(7), 915\u2013920 (2018)","DOI":"10.1080\/1369118X.2018.1451909"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1086\/688938","volume":"84","author":"A Bramson","year":"2017","unstructured":"Bramson, A., Grim, P., Singer, D.J., Berger, W.J., Sack, G., Fisher, S., Flocken, C., Holman, B.: Understanding polarization: Meanings, measures, and model evaluation. Philoso. Sci. 84(1), 115\u2013159 (2017)","journal-title":"Philoso. Sci."},{"key":"6_CR6","unstructured":"Center for Strategic and International Studies: The #MilkTeaAlliance in Southeast Asia: Digital revolution and repression in Myanmar and Thailand (2021). https:\/\/www.csis.org\/blogs\/new-perspectives-asia\/milkteaalliance-southeast-asia-digital-revolution-and-repression, visited 12-30-2023"},{"key":"6_CR7","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude\u2014A High-Performance Logical Framework, LNCS, vol.\u00a04350. Springer, Berlin (2007)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Das, A., Gollapudi, S., Munagala, K.: Modeling opinion dynamics in social networks. In: Proceedings of the 7th ACM International Conference on Web Search and Data Mining, pp. 403\u2013412. Association for Computing Machinery, New York, NY, USA (2014)","DOI":"10.1145\/2556195.2559896"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Degroot, M.H.: Reaching a consensus. J. Am. Stat. Assoc. 69(345), 118\u2013121 (1974)","DOI":"10.1080\/01621459.1974.10480137"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Fagnani, F., Zampieri, S.: Randomized consensus algorithms over large scale networks. In: 2007 Information Theory and Applications Workshop, pp. 150\u2013159 (2007)","DOI":"10.1109\/ITA.2007.4357574"},{"key":"6_CR11","unstructured":"Fitriani, H.M.: Social media and the fight for political influence in Southeast Asia (2023). https:\/\/thediplomat.com\/2023\/08\/social-media-and-the-fight-for-political-influence-in-southeast-asia, visited 12-30-2023"},{"key":"6_CR12","unstructured":"Foundation, T.A.: Violent Conflict, Tech Companies, and Social Media in Southeast Asia: Key Dynamics and Responses. The Asia Foundation, San Francisco, USA (2020)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Garrett, R.K.: The \u201cecho chamber\u201d distraction: Disinformation campaigns are the problem, not audience fragmentation. J. Appl. Res. Memory Cognition 6 (2017)","DOI":"10.1016\/j.jarmac.2017.09.011"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Golub, B., Sadler, E.: Learning in social networks. Social Science Research Network (SSRN) (2017). http:\/\/dx.doi.org\/10.2139\/ssrn.2919146","DOI":"10.2139\/ssrn.2919146"},{"key":"6_CR15","unstructured":"Gordon-Zolov, T.: Chile\u2019s estallido social and the art of protest. Sociologica 17(1), 41\u201355 (2023)"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1177\/22786821221147592","volume":"12","author":"S Gupta","year":"2023","unstructured":"Gupta, S., Chauhan, V.: Understanding the role of social networking sites in political marketing. Jindal J. Bus. Res. 12(1), 58\u201372 (2023)","journal-title":"Jindal J. Bus. Res."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Xia, H., Huili\u00a0Wang, Z.X.: Opinion dynamics: A multidisciplinary review and perspective on future research. Int. J. Knowl. Syst. Sci. 2(4), 72\u201391 (2023)","DOI":"10.4018\/jkss.2011100106"},{"issue":"13","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1781","DOI":"10.1177\/0010414015592643","volume":"48","author":"T Iversen","year":"2015","unstructured":"Iversen, T., Soskice, D.: Information, inequality, and mass polarization: Ideology in advanced democracies. Comput. Pol. Stud. 48(13), 1781\u20131813 (2015)","journal-title":"Comput. Pol. Stud."},{"key":"6_CR19","unstructured":"Kirby, E.: The city getting rich from fake news. BBC News Documentary (2017). https:\/\/www.bbc.com\/news\/magazine-38168281"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Lynch, M.: After the arab spring: How the media trashed the transitions. J. Democr. 26(4), 90\u201399 (2015)","DOI":"10.1353\/jod.2015.0070"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Neverov, K., Budko, D.: Social networks and public policy: Place for public dialogue? In: Proceedings of the International Conference IMS-2017, pp. 189\u2013194. Association for Computing Machinery, New York, NY, USA (2017)","DOI":"10.1145\/3143699.3143700"},{"key":"6_CR23","unstructured":"Olarte, C., Ram\u00edrez, C., Rocha, C., Valencia, F.: Opinion dynamic modeling as concurrent set relations in rewriting logic. https:\/\/github.com\/promueva\/maude-opinion-model"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.scico.2013.07.008","volume":"92","author":"C Rocha","year":"2014","unstructured":"Rocha, C., Mu\u00f1oz, C.A.: Synchronous set relations in rewriting logic. Sci. Comput. Program. 92, 211\u2013228 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"37","key":"6_CR25","doi-asserted-by":"publisher","first-page":"4853","DOI":"10.1016\/j.tcs.2011.01.027","volume":"412","author":"C Rocha","year":"2011","unstructured":"Rocha, C., Mu\u00f1oz, C.A., Dowek, G.: A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412(37), 4853\u20134866 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Rubio, R., Mart\u00ed-Oliet, N., Pita, I., Verdejo, A.: Strategies, model checking and branching-time properties in maude. J. Log. Algebraic Methods Program. 123, 100700 (2021)","DOI":"10.1016\/j.jlamp.2021.100700"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Rubio, R., Mart\u00ed-Oliet, N., Pita, I., Verdejo, A.: Qmaude: Quantitative specification and verification in rewriting logic. In: Chechik, M., Katoen, J., Leucker, M. (eds.) FM 2023. LNCS, vol. 14000, pp. 240\u2013259. Springer, Berlin (2023)","DOI":"10.1007\/978-3-031-27481-7_15"},{"issue":"2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"96","DOI":"10.47814\/ijssrr.v6i2.857","volume":"6","author":"P Sarma","year":"2023","unstructured":"Sarma, P., Hazarika, T.: Social media and election campaigns: an analysis of the usage of twitter during the 2021 Assam assembly elections. Int. J. Soc. Sci. Res. Rev. 6(2), 96\u2013117 (2023)","journal-title":"Int. J. Soc. Sci. Res. Rev."},{"key":"6_CR29","unstructured":"Suresh, V.P., Nogara, G., Cardoso, F., Cresci, S., Giordano, S., Luceri, L.: Tracking fringe and coordinated activity on twitter leading up to the us capitol attack (2023)"},{"key":"6_CR30","unstructured":"Wikipedia Foundation: 2021 Colombian protests. https:\/\/en.wikipedia.org\/wiki\/2021_Colombian_protests, visited 12-30-2023"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65941-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T07:12:21Z","timestamp":1722496341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65941-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031659409","9783031659416"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65941-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WRLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Rewriting Logic and its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wrla2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wrla2024.gitlab.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}