@inproceedings{5653e36098634912ac9f4f4de04a5ac1,
title = "Formalizing group and propagated trust in multi-agent systems",
abstract = "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 the concepts of everyone trust, distributed trust and propagated trust. We analyze the satisfiability and model checking problems of this logic using a reduction technique.",
author = "Nagat Drawel and Jamal Bentahar and Amine Laarej and Gaith Rjoub",
note = "Publisher Copyright: {\textcopyright} 2020 Inst. Sci. inf., Univ. Defence in Belgrade. All rights reserved.; 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 ; Conference date: 01-01-2021",
year = "2020",
language = "British English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
pages = "60--66",
editor = "Christian Bessiere",
booktitle = "Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020",
}