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
542011
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
452010
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
142012
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
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
132014
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
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
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
62018
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
62017
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
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
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
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
42014
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
42009
The system can't perform the operation now. Try again later.
Articles 1–20