Skip to main content

Research Repository

Advanced Search

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

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

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. (in press). Model checking ontology-driven reasoning agents using strategy and abstraction. Concurrency and Computation: Practice and Experience, 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.

An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems (2018)
Journal Article
Rakib, A., & Uddin, I. (2019). An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. Mobile Networks and Applications, 24(1), 82-99. https://doi.org/10.1007/s11036-018-1140-x

© 2018, The Author(s). Over the last few years, context-aware computing has received a growing amount of attention among the researchers in the IoT and ubiquitous computing community. In principle, context-aware computing transforms a physical enviro... Read More about An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems.

A resource-aware preference model for context-aware systems (2018)
Journal Article
Uddin, I., & Rakib, A. (2018). A resource-aware preference model for context-aware systems. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 217, 3-13. https://doi.org/10.1007/978-3-319-77818-1_1

© 2018, ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. In mobile computing, context-awareness has recently emerged as an effective approach for building adaptive pervasive computing applications. Many of... Read More about A resource-aware preference model for context-aware systems.

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources (2017)
Journal Article
Uddin, I., Rakib, A., Haque, H. M. U., & Vinh, P. C. (2018). Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mobile Networks and Applications, 23(1), 13-26. https://doi.org/10.1007/s11036-017-0899-5

© 2017, The Author(s). This paper presents a conceptual framework and multi-agent model for context-aware decision support in dynamic smart environments based on heterogeneous knowledge sources. A Protégé plug-in for rules extraction from distributed... Read More about Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources.

A preference-based application framework for resource-bounded context-aware agents (2017)
Book Chapter
Uddin, I., & Rakib, A. (2017). A preference-based application framework for resource-bounded context-aware agents. In K. J. Kim, & N. Joukov (Eds.), Mobile and Wireless Technologies 2017, 187-196. Springer

Context-awareness is an essential component of mobile and pervasive computing. It refers to the concept that an application understands its context, reason about its current situation, and provide relevant information and/or services to the users. On... Read More about A preference-based application framework for resource-bounded context-aware agents.

A framework for implementing formally verified resource-bounded smart space systems (2017)
Journal Article
Uddin, I., Rakib, A., & Haque, H. M. U. (2017). A framework for implementing formally verified resource-bounded smart space systems. Mobile Networks and Applications, 22(2), 289-304. https://doi.org/10.1007/s11036-017-0808-y

© 2017, Springer Science+Business Media New York. Context-aware computing is a mobile computing paradigm that helps designing and implementing next generation smart applications, where personalized devices interact with users in smart environments. D... Read More about A framework for implementing formally verified resource-bounded smart space systems.

Modelling and reasoning about context-aware agents over heterogeneous knowledge sources (2017)
Journal Article
Ul Haque, H. M., Rakib, A., & Uddin, I. (2017). Modelling and reasoning about context-aware agents over heterogeneous knowledge sources. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 193, 1-11. https://doi.org/10.1007/978-3-319-56357-2_1

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2017. This paper presents a conceptual framework and multi-agent model for context-aware decision support in dynamic smart environments based on heterogeneo... Read More about Modelling and reasoning about context-aware agents over heterogeneous knowledge sources.

Resource-bounded context-aware applications: A survey and early experiment (2016)
Book Chapter
Uddin, I., Ul Haque, H. M., Rakib, A., & Segi Rahmat, M. R. (2016). Resource-bounded context-aware applications: A survey and early experiment. In P. C. Vinh, & L. Barolli (Eds.), Nature of Computation and Communication, 153-164. Springer. https://doi.org/10.1007/978-3-319-46909-6_15

The recent advancement of mobile computing technology and smartphones have changed the way we live, communicate, interact, and understand the world. Smartphones have various salient features that make them promising system platforms for the developme... Read More about Resource-bounded context-aware applications: A survey and early experiment.

The Onto-CropBase – A semantic web application for querying crops linked-data (2016)
Journal Article
Lawan, A., Rakib, A., Alechina, N., & Karunaratne, A. (2016). The Onto-CropBase – A semantic web application for querying crops linked-data. Communications in Computer and Information Science, 613, 384-399. https://doi.org/10.1007/978-3-319-34099-9_30

© Springer International Publishing Switzerland 2016. The lack of formal technical knowledge has been identified as one of the constraints to research and development on a group of crops collectively referred to as underutilized crops. Some informati... Read More about The Onto-CropBase – A semantic web application for querying crops linked-data.

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Conference Proceeding
Rakib, A., & Haque, H. M. U. (2015). Modeling and verifying context-aware non-monotonic reasoning agents. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), (61-69). https://doi.org/10.1109/MEMCOD.2015.7340471

© 2015 IEEE. This paper complements our previous work on formal modeling of resource-bounded context-aware systems, which handle inconsistent context information using defeasible reasoning, by focusing on automated analysis and verification. A case s... Read More about Modeling and verifying context-aware non-monotonic reasoning agents.

MyGeo-Explorer: A semantic search tool for querying geospatial information (2015)
Journal Article
Panchanathan, S., Lawan, A., & Rakib, A. (2015). MyGeo-Explorer: A semantic search tool for querying geospatial information

We propose a semantic search approach for geospatial information systems to resolve the issue of semantic heterogeneity in metadata catalogues. Using the Malaysian geospatial data infrastructure service portal, MyGDI Explorer, as a comparative case s... Read More about MyGeo-Explorer: A semantic search tool for querying geospatial information.

An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources (2015)
Book Chapter
Rakib, A., Lawan, A., & Walker, S. (2015). An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources. In A. Abraham, A. K. Muda, & Y. Choo (Eds.), Pattern Analysis, Intelligent Security and the Internet of Things, 35-47. Springer. https://doi.org/10.1007/978-3-319-17398-6_4

The past two decades have seen a remarkable shift in the knowledge- and information-sharing paradigm. In the crops domain, for example, the amount of information currently known about underutilized crops, for example, Bambara groundnut their genetics... Read More about An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources.

Alternating-time temporal logic with resource bounds (2015)
Journal Article
Nguyen, H. N., Hoang Nga, N., Alechina, N., Logan, B., & Rakib, A. (2018). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, 28(4), 631-663. https://doi.org/10.1093/logcom/exv034

© 2015 The Author. 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, co... Read More about Alternating-time temporal logic with resource bounds.

A logic for context-aware non-monotonic reasoning agents (2014)
Book Chapter
Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In F. C. Espinoza, S. N. Galicia-Haro, & A. Gelbukh (Eds.), Human-Inspired Computing and Its Applications, 453-471. Springer. https://doi.org/10.1007/978-3-319-13647-9_41

We develop a logical model for resource-bounded context-aware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic $CTL^*$ with belief and communication modalities, and the res... Read More about A logic for context-aware non-monotonic reasoning agents.

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

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.

A temporal description logic for resource-bounded rule-based context-aware agents (2014)
Journal Article
Rakib, A., Haque, H. M. U., & Faruqui, R. U. (2014). A temporal description logic for resource-bounded rule-based context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 128, 3-14. https://doi.org/10.1007/978-3-319-05939-6_1

© Springer International Publishing Switzerland 2014. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL* with belief and communication modalities, and the resulting logic LOCRS allows us to de... Read More about A temporal description logic for resource-bounded rule-based context-aware agents.

A Logical Framework for the Representation and Verification of Context-aware Agents (2014)
Journal Article
Rakib, A., & Ul Haque, H. M. (2014). A Logical Framework for the Representation and Verification of Context-aware Agents. Mobile Networks and Applications, 19(5), 585-597. https://doi.org/10.1007/s11036-014-0520-0

© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us t... Read More about A Logical Framework for the Representation and Verification of Context-aware Agents.


;