{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:40:06Z","timestamp":1775839206179,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>We present a formal framework that allows individual and group of agents to reason about their trust toward other agents. In particular, we propose a branching  time temporal logic BT which includes operators that express concepts such as everyone trust, distributed trust and propagated trust. We analyze the satisfiability and model checking problems of this logic using a reduction technique.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/9","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T12:12:10Z","timestamp":1594210330000},"page":"60-66","source":"Crossref","is-referenced-by-count":20,"title":["Formalizing Group and Propagated Trust in Multi-Agent Systems"],"prefix":"10.24963","author":[{"given":"Nagat","family":"Drawel","sequence":"first","affiliation":[{"name":"Concordia University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[{"name":"Concordia University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amine","family":"Laarej","sequence":"additional","affiliation":[{"name":"Concordia University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaith","family":"Rjoub","sequence":"additional","affiliation":[{"name":"Concordia University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","theme":"Artificial Intelligence","location":"Yokohama, Japan","acronym":"IJCAI-PRICAI-2020","number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2020,7,11]]},"end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T02:12:52Z","timestamp":1594260772000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/9"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/9","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}