All Outputs (42)

Feature-based search space characterisation for data-driven adaptive operator selection (2023)
Journal Article

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.

Analysing the predictivity of features to characterise the search space (2022)
Presentation / Conference Contribution

Exploring search spaces is one of the most unpredictable challenges that has attracted the interest of researchers for decades. One way to handle unpredictability is to characterise the search spaces and take actions accordingly. A well-characterised... Read More about Analysing the predictivity of features to characterise the search space.

Experimental and numerical study of hybrid (CFRP-GFRP) composite laminates containing circular cut-outs under shear loading (2022)
Journal Article

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

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.

Memory-constrained context-aware reasoning (2022)
Presentation / Conference Contribution

The context-aware computing paradigm introduces environments, known as smart spaces, which can unobtrusively and proactively assist their users. These systems are currently mostly implemented on mobile platforms considering various techniques, includ... Read More about Memory-constrained context-aware reasoning.

A probabilistic logic for resource-bounded multi-agent systems (2019)
Presentation / Conference Contribution

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 Contribution

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

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)
Presentation / Conference Contribution

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

© 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)
Presentation / Conference Contribution

© 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

© 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

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

© 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)
Presentation / Conference Contribution

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

The Onto-CropBase – A semantic web application for querying crops linked-data (2016)
Journal Article

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

Resource-bounded context-aware applications: A survey and early experiment (2016)
Presentation / Conference Contribution

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

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Presentation / Conference Contribution

© 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

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

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