Abdur Rakib

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 21

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib
Adaptive operator selection utilising generalised experience. CoRR (2024)
Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib, Hisham Ihshaish
Feature-based search space characterisation for data-driven adaptive operator selection. Evol. Syst. 15 (1) (2024)
Hoang Nga Nguyen, Abdur Rakib
Formal Modelling and Verification of Probabilistic Resource Bounded Agents. J. Log. Lang. Inf. 32 (5) (2023)
Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
Analysing the Predictivity of Features to Characterise the Search Space. CoRR (2022)
Rafet Durgut, Mehmet Emin Aydin, Abdur Rakib
Transfer Learning for Operator Selection: A Reinforcement Learning Approach. Algorithms 15 (1) (2022)
Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
Analysing the Predictivity of Features to Characterise the Search Space. ICANN (4) (2022)
Abdur Rakib, Rokan Uddin Faruqui
Model checking ontology-driven reasoning agents using strategy and abstraction. Concurr. Comput. Pract. Exp. 33 (2) (2021)
Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh
Memory-Constrained Context-Aware Reasoning. ICCASA (2021)
Abba Lawan, Abdur Rakib
FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language. CoRR (2019)
Abba Lawan, Abdur Rakib
The Semantic Web Rule Language Expressiveness Extensions-A Survey. CoRR (2019)
Abdur Rakib, Ijaz Uddin
An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. Mob. Networks Appl. 24 (1) (2019)
Hoang Nga Nguyen, Abdur Rakib
Probabilistic Resource-bounded Alternating-time Temporal Logic. AAMAS (2019)
Hoang Nga Nguyen, Abdur Rakib
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. IJCAI (2019)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mob. Networks Appl. 23 (1) (2018)
Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28 (4) (2018)
Ijaz Uddin, Abdur Rakib
A Resource-Aware Preference Model for Context-Aware Systems. ICCASA/ICTCC (2017)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mob. Networks Appl. 22 (2) (2017)
Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA (2016)
Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. ICTCC (2016)
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS (2016)
Abdur Rakib, Hafiz Mahfooz Ul Haque
Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE (2015)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logical Framework for the Representation and Verification of Context-aware Agents. Mob. Networks Appl. 19 (5) (2014)
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. ICCASA (2013)
Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS (2012)
Abdur Rakib, Rokan Uddin Faruqui
A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. ICCASA (2012)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Logic for coalitions with bounded resources. J. Log. Comput. 21 (6) (2011)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Resource-bounded alternating-time temporal logic. AAMAS (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169 (2) (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Expressing Properties of Coalitional Ability under Resource Bounds. LORI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
A Logic for Coalitions with Bounded Resources. IJCAI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt (2008)
Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
Component-Wise Instruction-Cache Behavior Prediction. ATVA (2004)

Abdur Rakib.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abdur Rakib