Outputs (27)

Analysing the predictivity of features to characterise the search space (2022)
Presentation / Conference Contribution
Durgut, R., Aydin, M. E., Ihshaish, H., & Rakib, A. (2022, September). Analysing the predictivity of features to characterise the search space. Presented at Artificial Neural Networks and Machine Learning – ICANN 2022 31st International Conference on Artificial Neural Networks, Bristol, UK

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.

Memory-constrained context-aware reasoning (2022)
Presentation / Conference Contribution
Uddin, I., Rakib, A., Ali, M., & Vinh, P. C. (2022). Memory-constrained context-aware reasoning. In P. Cong Vinh, & A. Rakib (Eds.), Context-Aware Systems and Applications (133-146). https://doi.org/10.1007/978-3-030-93179-7_11

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
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, Macao, China

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
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, Montreal, Canada

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

Smart space system interoperability (2019)
Presentation / Conference Contribution
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.

A resource-aware preference model for context-aware systems (2018)
Presentation / Conference Contribution
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.

Modelling and reasoning about context-aware agents over heterogeneous knowledge sources (2017)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
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.

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Presentation / Conference Contribution
Rakib, A., & Haque, H. M. U. (2015, September). Modeling and verifying context-aware non-monotonic reasoning agents. Presented at 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, The University of Texas at Austin

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

An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources (2015)
Presentation / Conference Contribution
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 logic for context-aware non-monotonic reasoning agents (2014)
Presentation / Conference Contribution
Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In A. Gelbukh, F. C. Espinoza, & S. N. Galicia-Haro (Eds.), Human-Inspired Computing and Its Applications (453-471). https://doi.org/10.1007/978-3-319-13647-9_41

© Springer International Publishing Switzerland 2014. We develop a logical model for resource-bounded contextaware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL* wit... 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 Contribution
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., Chiang Mai, Thailand

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

Automated verification of resource requirements in multi-agent systems using abstraction (2011)
Presentation / Conference Contribution
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 Contribution
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, Toronto, Canada

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

A logic for coalitions with bounded resources (2009)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009, July). A logic for coalitions with bounded resources. Paper presented at Twenty First International Joint Conference on Artificial Intelligence, Pasadena CA, USA

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. This paper... Read More about A logic for coalitions with bounded resources.

Verifying time, memory and communication bounds in systems of reasoning agents (2009)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Verifying time, memory and communication bounds in systems of reasoning agents. Synthese, 169(2), 385-403. https://doi.org/10.1007/s11229-009-9557-1

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Verifying time and communication costs of rule-based reasoners (2009)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Verifying time and communication costs of rule-based reasoners. Lecture Notes in Artificial Intelligence, 5348 LNAI, 1-14. https://doi.org/10.1007/978-3-642-00431-5_1

We present a framework for the automated verification of time and communication requirements in systems of distributed rule-based reasoning agents which allows us to determine how many rule-firing cycles are required to solve the problem, how many me... Read More about Verifying time and communication costs of rule-based reasoners.

Verifying resource requirements for distributed rule-based systems (2008)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008). Verifying resource requirements for distributed rule-based systems. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web (31-38). https://doi.org/10.1007/978-3-540-88808-6_6

Rule-based systems are rapidly becoming an important component of ‘mainstream’ computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such... Read More about Verifying resource requirements for distributed rule-based systems.

Verifying time, memory and communication bounds in systems of reasoning agents (2008)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, May). Verifying time, memory and communication bounds in systems of reasoning agents. Paper presented at Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Verification of resource requirements of distributed reasoning agents (2008)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verification of resource requirements of distributed reasoning agents.

Component-wise instruction-cache behavior prediction (2004)
Presentation / Conference Contribution
Rakib, A., Parshin, O., Thesing, S., & Wilhelm, R. (2004). Component-wise instruction-cache behavior prediction. In F. Wang (Ed.), https://doi.org/10.1007/978-3-540-30476-0_20

The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to th... Read More about Component-wise instruction-cache behavior prediction.