Skip to main content

Research Repository

Advanced Search

Outputs (3)

Logic for coalitions with bounded resources (2011)
Journal Article
Nguyen, H. N., Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2011). Logic for coalitions with bounded resources. Journal of Logic and Computation, 21(6), 907-937. https://doi.org/10.1093/logcom/exq032

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. In this a... Read More about Logic for coalitions with bounded resources.

Verifying requirements for resource-bounded agents (2011)
Thesis
Rakib, A. Verifying requirements for resource-bounded agents. (Thesis). University of Nottingham. Retrieved from https://uwe-repository.worktribe.com/output/958223

This thesis presents frameworks for the modelling and verification of resource-bounded reasoning agents. The resources considered include the time, memory, and communication bandwidth required by agents to achieve a goal. The scalability and expressi... Read More about Verifying requirements for resource-bounded agents.

Automated verification of resource requirements in multi-agent systems using abstraction (2011)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2011). Automated verification of resource requirements in multi-agent systems using abstraction. Lecture Notes in Artificial Intelligence, 6572 LNAI, 69-84. https://doi.org/10.1007/978-3-642-20674-0_5

We describe a framework for the automated verification of multi-agent systems which do distributed problem solving, e.g. query answering. Each reasoner uses facts, messages and Horn clause rules to derive new information. We show how to verify correc... Read More about Automated verification of resource requirements in multi-agent systems using abstraction.