Skip to main content

Research Repository

Advanced Search

Rakib Abdur

Image

Rakib Abdur

Senior Lecturer in Mobile Security


Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases (2013)
Journal Article
Izadi, O., & Rakib, A. (2013). Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases. https://doi.org/10.1109/ICRIIS.2013.6716764

An organization's future developments are influenced by its managements' decisions. This can only happen by strengthening research and development strategies. Market monitoring and analyzing systems are designed to provide an organized flow of inform... Read More about Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases.

A formal approach to modelling and verifying resource-bounded context-aware agents (2013)
Journal Article
Rakib, A., & Faruqui, R. U. (2013). A formal approach to modelling and verifying resource-bounded context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 109 LNICST, 86-96. https://doi.org/10.1007/978-3-642-36642-0_9

There has been a move of context-aware systems into safety-critical domains including healthcare, emergency scenarios, and disaster recovery. These systems are often distributed and deployed on resource-bounded devices. Therefore, developing formal t... Read More about A formal approach to modelling and verifying resource-bounded context-aware agents.

Verifying resource requirements for ontology-driven rule-based agents (2012)
Journal Article
Rakib, A., Faruqui, R. U., & MacCaull, W. (2012). Verifying resource requirements for ontology-driven rule-based agents. Lecture Notes in Artificial Intelligence, 7153 LNCS, 312-331. https://doi.org/10.1007/978-3-642-28472-4_18

Recent efforts towards the Semantic Web have resulted in powerful languages such as Semantic Web Rule Language (SWRL) based on OWL-DL and RuleML. Rule languages and inference engines incorporate reasoning capabilities to Semantic Web application syst... Read More about Verifying resource requirements for ontology-driven rule-based agents.

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.

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.

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

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.

Reasoning about other agents' beliefs under bounded resources (2009)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Reasoning about other agents' beliefs under bounded resources. Lecture Notes in Artificial Intelligence, 5605 LNAI, 1-15. https://doi.org/10.1007/978-3-642-05301-6_1

There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reaso... Read More about Reasoning about other agents' beliefs under bounded resources.

Expressing properties of coalitional ability under resource bounds (2009)
Journal Article
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Expressing properties of coalitional ability under resource bounds. Lecture Notes in Artificial Intelligence, 5834 LNAI, 1-14. https://doi.org/10.1007/978-3-642-04893-7_1

We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource bounds on strategies. We show how to express interesting properties of... Read More about Expressing properties of coalitional ability under resource bounds.