Abdur Rakib

Cited by

	All	Since 2019
Citations	538	267
h-index	13	9
i10-index	16	8

2007200820092010201120122013201420152016201720182019202020212022202320242 10 10 20 25 17 21 25 22 26 29 50 48 38 47 28 44 62

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Natasha AlechinaOpen University NLVerified email at uu.nl
Hoang Nga NguyenAssociate Professor, Swansea UniversityVerified email at swansea.ac.uk
Brian LoganNottingham UniversityVerified email at cs.nott.ac.uk
Hafiz Mahfooz Ul HaqueAssociate Professor, Faculty of Information Technology, University of Central PunjabVerified email at ucp.edu.pk
Abba LawanFederal University Dutse, NigeriaVerified email at fud.edu.ng
Rokan Uddin FaruquiAssociate Professor of Computer Science and Engineering, University of ChittagongVerified email at cu.ac.bd
Phan Cong VinhNguyen Tat Thanh University, VietnamVerified email at ntt.edu.vn
Asha Sajeewani KarunaratneFaculty of Agricultural Sciences, Sabaragamuwa University of Sri LankaVerified email at agri.sab.ac.lk
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Robin DossDeakin Cyber Research & Innovation Centre (Deakin Cyber), Deakin UniversityVerified email at deakin.edu.au
Adnan Anwar ; A. Anwar ; A AnwarSenior Lecturer, Course Director (PG Cyber Security Courses), Deakin UniversityVerified email at deakin.edu.au
Mohamad Rafi Segi RahmatUniversity of Nottingham MalaysiaVerified email at nottingham.edu.my
Sue Walker ProfUFS & ARCVerified email at arc.agric.za
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Arkady ZaslavskyDeakin University, Data61 @ CSIRO, Monash University, Lulea University of Technology(Sweden)Verified email at deakin.edu.au
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl

Abdur Rakib

Coventry University

Verified email at coventry.ac.uk - Homepage

Artificial Intelligence Multi-agent Systems Formal Verification Safety Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011	85	2011
Resource-bounded alternating-time temporal logic N Alechina, B Logan, NH Nga, A Rakib Proceedings of the 9th International Conference on Autonomous Agents and …, 2010	77	2010
Verifying time, memory and communication bounds in systems of reasoning agents N Alechina, B Logan, HN Nguyen, A Rakib Synthese 169, 385-403, 2009	36	2009
A logic for context-aware non-monotonic reasoning agents A Rakib, HMU Haque Mexican International Conference on Artificial Intelligence, 453-471, 2014	26	2014
Component-wise instruction-cache behavior prediction A Rakib, O Parshin, S Thesing, R Wilhelm Automated Technology for Verification and Analysis: Second International …, 2004	23	2004
A formal approach to modelling and verifying resource-bounded context-aware agents A Rakib, RU Faruqui Context-Aware Systems and Applications: First International Conference …, 2013	22	2013
An efficient rule-based distributed reasoning framework for resource-bounded systems A Rakib, I Uddin Mobile Networks and Applications 24 (1), 82-99, 2019	19	2019
Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources I Uddin, A Rakib, HMU Haque, PC Vinh Mobile Networks and Applications 23, 13-26, 2018	17	2018
The semantic web rule language expressiveness extensions-a survey A Lawan, A Rakib arXiv preprint arXiv:1903.11723, 2019	16	2019
A temporal description logic for resource-bounded rule-based context-aware agents A Rakib, HM Ul Haque, RU Faruqui International Conference on Context-Aware Systems and Applications, 3-14, 2013	16	2013
Reasoning about other agents’ beliefs under bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Knowledge Representation for Agents and Multi-Agent Systems: First …, 2009	15	2009
Verifying time and communication costs of rule-based reasoners N Alechina, B Logan, NH Nga, A Rakib International Workshop on Model Checking and Artificial Intelligence, 1-14, 2008	15	2008
Alternating-time temporal logic with resource bounds HN Nguyen, N Alechina, B Logan, A Rakib Journal of Logic and Computation 28 (4), 631-663, 2018	13	2018
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. HN Nguyen, A Rakib IJCAI, 521-527, 2019	11	2019
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies-A survey and early experiment. A Lawan, A Rakib, N Alechina, A Karunaratne JIST (Workshops & Posters), 69-84, 2014	10	2014
Verifying resource requirements for ontology-driven rule-based agents A Rakib, RU Faruqui, W MacCaull Foundations of Information and Knowledge Systems: 7th International …, 2012	10	2012
Transfer learning for operator selection: A reinforcement learning approach R Durgut, ME Aydin, A Rakib Algorithms 15 (1), 24, 2022	9	2022
A framework for implementing formally verified resource-bounded smart space systems I Uddin, A Rakib, HMU Haque Mobile Networks and Applications 22 (2), 289-304, 2017	9	2017
Automated verification of resource requirements in multi-agent systems using abstraction N Alechina, B Logan, HN Nguyen, A Rakib Model Checking and Artificial Intelligence: 6th International Workshop …, 2011	9	2011
Expressing properties of coalitional ability under resource bounds N Alechina, B Logan, NH Nga, A Rakib Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009	9	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors