Skip to main content

Research Repository

Advanced Search

Outputs (2)

A probabilistic logic for resource-bounded multi-agent systems (2019)
Presentation / Conference
Nguyen, H. N., & Rakib, A. (2019, August). A probabilistic logic for resource-bounded multi-agent systems. Paper presented at 28th International Joint Conference on Artificial Intelligence, Macao, China

Resource-bounded alternating-time temporal logic (RB-ATL), an extension of Coalition Logic (CL) and Alternating-time Temporal Logic (ATL), allows reasoning about resource requirements of coalitions in concurrent systems. However, many real-world syst... Read More about A probabilistic logic for resource-bounded multi-agent systems.

Probabilistic resource-bounded alternating-time temporal logic (2019)
Presentation / Conference
Nguyen, H. N., & Rakib, A. (2019, May). Probabilistic resource-bounded alternating-time temporal logic. Poster presented at International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada

This paper extends resource-bounded ATL (RB-ATL) with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL (pRB-ATL).