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
712011
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
572010
A Logic for Coalitions with Bounded Resources.
N Alechina, B Logan, NH Nga, A Rakib
IJCAI, 659-664, 2009
342009
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
212012
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
212008
Component-wise instruction-cache behavior prediction
A Rakib, O Parshin, S Thesing, R Wilhelm
International Symposium on Automated Technology for Verification and …, 2004
212004
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
162014
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
142009
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 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
132013
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
122008
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
112018
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
92010
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
82014
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
72012
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
62009
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
Modelling and reasoning about context-aware agents over heterogeneous knowledge sources
HMU Haque, A Rakib, I Uddin
International conference on context-aware systems and applications, 1-11, 2016
52016
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
52015
The system can't perform the operation now. Try again later.
Articles 1–20