Skip to main content

Research Repository

Advanced Search

Outputs (7)

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

Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment (2014)
Presentation / Conference
Lawan, A., Rakib, A., Alechina, N., & Karunaratne, A. (2014, November). Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment. Paper presented at 4th Joint International Semantic Technology Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014., Chiang Mai, Thailand

Due to their powerful knowledge representation formalism and associated inference mechanisms, ontology-based approaches have been increasingly adopted to formally represent domain knowledge. We propose the use of ontologies to advance knowledge-shari... Read More about Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment.

Resource-bounded alternating-time temporal logic (2010)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2010, May). Resource-bounded alternating-time temporal logic. Paper presented at 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, Toronto, Canada

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability c... Read More about Resource-bounded alternating-time temporal logic.

A logic for coalitions with bounded resources (2009)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009, July). A logic for coalitions with bounded resources. Paper presented at Twenty First International Joint Conference on Artificial Intelligence, Pasadena CA, USA

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper... Read More about A logic for coalitions with bounded resources.

Verifying time, memory and communication bounds in systems of reasoning agents (2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, May). Verifying time, memory and communication bounds in systems of reasoning agents. Paper presented at Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Verification of resource requirements of distributed reasoning agents (2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verification of resource requirements of distributed reasoning agents.