Follow
Abdur Rakib
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
822011
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
712010
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169, 385-403, 2009
342009
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
252014
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
232013
Component-wise instruction-cache behavior prediction
A Rakib, O Parshin, S Thesing, R Wilhelm
Automated Technology for Verification and Analysis: Second International …, 2004
232004
An efficient rule-based distributed reasoning framework for resource-bounded systems
A Rakib, I Uddin
Mobile Networks and Applications 24 (1), 82-99, 2019
182019
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
172018
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
162013
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
152009
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
152008
The semantic web rule language expressiveness extensions-a survey
A Lawan, A Rakib
arXiv preprint arXiv:1903.11723, 2019
132019
Verifying resource requirements for ontology-driven rule-based agents
A Rakib, RU Faruqui, W MacCaull
Foundations of Information and Knowledge Systems: 7th International …, 2012
102012
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
102011
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
92017
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
92014
A probabilistic logic for resource-bounded multi-agent systems
HN Nguyen, A Rakib
82019
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
72018
Resource-bounded context-aware applications: A survey and early experiment
I Uddin, HM Ul Haque, A Rakib, MR Segi Rahmat
Nature of Computation and Communication: Second International Conference …, 2016
72016
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
72009
The system can't perform the operation now. Try again later.
Articles 1–20