Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Amine Laarej"'
Publikováno v:
Autonomous Agents and Multi-Agent Systems. 36
Publikováno v:
Journal of Systems and Software. 192:111383
Publikováno v:
IJCAI
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 tru
Publikováno v:
Journal of Systems and Software. 138:189-205
A new logical language for real-time conditional commitments called RTCTLcc has been developed by extending the CTL logic with interval bounded until modalities, conditional commitment modalities, and fulfillment modalities. RTCTLcc allows us to expr
Autor:
Jamal Bentahar, Warda El Kholy, Rachida Dssouli, Faisal Al-Saqqar, Amine Laarej, Mohamed El Menshawy
Publikováno v:
PRIMA 2015: Principles and Practice of Multi-Agent Systems ISBN: 9783319255231
PRIMA
PRIMA
A considerably large class of multi-agent systems (MASs) employed in real-time environments requires the possibility to express time-critical properties. In this paper, we develop a system of temporal logic RTCTL\(^{cc}\), an extension of CTL modalit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f80137c0937cc1375545f7ec00bba80
https://doi.org/10.1007/978-3-319-25524-8_37
https://doi.org/10.1007/978-3-319-25524-8_37