Skip to main content

Research Repository

Advanced Search

All Outputs (26)

Feature-based search space characterisation for data-driven adaptive operator selection (2023)
Journal Article
Aydin, M. E., Durgut, R., Rakib, A., & Ihshaish, H. (2024). Feature-based search space characterisation for data-driven adaptive operator selection. Evolving Systems, 15(1), 99-114. https://doi.org/10.1007/s12530-023-09560-7

Combinatorial optimisation problems are known as unpredictable and challenging due to their nature and complexity. One way to reduce the unpredictability of such problems is to identify features and the characteristics that can be utilised to guide t... Read More about Feature-based search space characterisation for data-driven adaptive operator selection.

Experimental and numerical study of hybrid (CFRP-GFRP) composite laminates containing circular cut-outs under shear loading (2022)
Journal Article
Damghani, M., Ali, R., Murphy, A., & Fotouhi, M. (2022). Experimental and numerical study of hybrid (CFRP-GFRP) composite laminates containing circular cut-outs under shear loading. Thin-Walled Structures, 179(October 2022), 109752. https://doi.org/10.1016/j.tws.2022.109752

Previous works have established the response and failure behaviour of hybrid (CFRP-GFRP) laminates when subjected to a wide range of destabilising loads. However, to date no works have focused on plates with cut-outs under shear loading and quantifie... Read More about Experimental and numerical study of hybrid (CFRP-GFRP) composite laminates containing circular cut-outs under shear loading.

Transfer learning for operator selection: A reinforcement learning approach (2022)
Journal Article
Durgut, R., Aydin, M. E., & Rakib, A. (2022). Transfer learning for operator selection: A reinforcement learning approach. Algorithms, 15(1), Article 24. https://doi.org/10.3390/a15010024

In the past two decades, metaheuristic optimisation algorithms (MOAs) have been increasingly popular, particularly in logistic, science, and engineering problems. The fundamental characteristics of such algorithms are that they are dependent on a par... Read More about Transfer learning for operator selection: A reinforcement learning approach.

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.

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 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)
Journal Article
Uddin, I., Haque, H. M. U., Rakib, A., & Rahmat, M. R. S. (2016). Resource-bounded context-aware applications: A survey and early experiment. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 168, 153-164. https://doi.org/10.1007/978-3-319-46909-6_15

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016. The recent advancement of mobile computing technology and smartphones have changed the way we live, communicate, interact, and understand the world. S... 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.

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.

Alternating-time temporal logic with resource bounds (2015)
Journal Article
Nguyen, H. 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.

An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources (2015)
Journal Article
Rakib, A., Lawan, A., & Walker, S. (2015). An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources. Advances in Intelligent Systems and Computing, 355, 35-47. https://doi.org/10.1007/978-3-319-17398-6_4

© Springer International Publishing Switzerland 2015. 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... Read More about An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources.

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.

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.

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.