Abdur Rakib
TitleCited byYear
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
562011
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
462010
A Logic for Coalitions with Bounded Resources.
N Alechina, B Logan, NH Nga, A Rakib
IJCAI, 659-664, 2009
272009
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, NH Nga, A Rakib
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
202008
Component-wise instruction-cache behavior prediction
A Rakib, O Parshin, S Thesing, R Wilhelm
International Symposium on Automated Technology for Verification and …, 2004
202004
A formal approach to modelling and verifying resource-bounded context-aware agents
A Rakib, RU Faruqui
International Conference on Context-Aware Systems and Applications, 86-96, 2012
162012
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
142014
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
142008
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169 (2), 385-403, 2009
122009
A temporal description logic for resource-bounded rule-based context-aware agents
A Rakib, HMU Haque, RU Faruqui
International Conference on Context-Aware Systems and Applications, 3-14, 2013
92013
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 (1), 13-26, 2018
82018
Automated verification of resource requirements in multi-agent systems using abstraction
N Alechina, B Logan, HN Nguyen, A Rakib
International workshop on model checking and artificial intelligence, 69-84, 2010
82010
Reasoning about other agents’ beliefs under bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
International Workshop on Knowledge Representation for Agents and Multi …, 2008
82008
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
72017
Verifying resource requirements for ontology-driven rule-based agents
A Rakib, RU Faruqui, W MacCaull
International Symposium on Foundations of Information and Knowledge Systems …, 2012
62012
Expressing properties of coalitional ability under resource bounds
N Alechina, B Logan, NH Nga, A Rakib
International Workshop on Logic, Rationality and Interaction, 1-14, 2009
62009
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
JJ Meyer, JM Broersen
Springer, 2009
52009
A preference-based application framework for resource-bounded context-aware agents
I Uddin, A Rakib
International conference on mobile and wireless technology, 187-196, 2017
42017
Resource-bounded context-aware applications: A survey and early experiment
I Uddin, HMU Haque, A Rakib, MRS Rahmat
International Conference on Nature of Computation and Communication, 153-164, 2016
42016
Modeling and verifying context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20