{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T09:49:06Z","timestamp":1747216146911,"version":"3.40.5"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"type":"electronic","value":"9781643685489"}],"license":[{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,16]]},"abstract":"<jats:p>We propose modeling different policies for behaviour diffusion in a network of agents considering conflict and dependency. In approaches based on the threshold-limited influence model, an agent adopts a behaviour if it has received enough influence from its social connections to surpass a given behaviour threshold. We also consider models where adopting a behaviour might depend on other behaviours and where behaviours might conflict. We assume a network with a fixed structure and undirected and same-weight connections between agents, i.e., a network where, at least in principle, any two agents have the same capacity to influence each other. We propose a minimal propositional dynamic logic language for reasoning about each diffusion policy, and we provide a sound and complete axiomatization for it.<\/jats:p>","DOI":"10.3233\/faia240625","type":"book-chapter","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T12:57:47Z","timestamp":1729169867000},"source":"Crossref","is-referenced-by-count":0,"title":["Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-5272-8974","authenticated-orcid":false,"given":"Gabriel","family":"de Senne Amorim","sequence":"first","affiliation":[{"name":"Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5373-7271","authenticated-orcid":false,"given":"Marlo","family":"Souza","sequence":"additional","affiliation":[{"name":"Universidade Federal da Bahia, Salvador Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9224-2781","authenticated-orcid":false,"given":"\u00c1lvaro","family":"Freitas Moreira","sequence":"additional","affiliation":[{"name":"Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2024"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA240625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T12:57:48Z","timestamp":1729169868000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA240625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,16]]},"ISBN":["9781643685489"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia240625","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"type":"print","value":"0922-6389"},{"type":"electronic","value":"1879-8314"}],"subject":[],"published":{"date-parts":[[2024,10,16]]}}}