Skip to main content

Research Repository

Advanced Search

All Outputs (4)

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).

Model checking ontology-driven reasoning agents using strategy and abstraction (2019)
Journal Article
Rakib, A., & Faruqui, R. U. (2021). Model checking ontology-driven reasoning agents using strategy and abstraction. Concurrency and Computation: Practice and Experience, 33(2), Article e5205. https://doi.org/10.1002/cpe.5205

We present a framework for the modelling, specification and verification of ontology-driven multi-agent rule-based systems (MASs). We assume that each agent executes in a separate process and that they communicate via message passing. The proposed ap... Read More about Model checking ontology-driven reasoning agents using strategy and abstraction.

Smart space system interoperability (2019)
Conference Proceeding
Abdur, R. (2019). Smart space system interoperability. In Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (16-23)

This paper presents our research approach which uses and integrates the terminologies and inference mechanism towards the development of functionally correct systems for smart spaces, considering the recent advances in the area of ontology-based mode... Read More about Smart space system interoperability.