| Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 83 | 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 | 72 | 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 | 34 | 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 |
| 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 | 23 | 2013 |
| 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 |
| An efficient rule-based distributed reasoning framework for resource-bounded systems A Rakib, I Uddin Mobile Networks and Applications 24 (1), 82-99, 2019 | 18 | 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 | 18 | 2018 |
| 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 |
| The semantic web rule language expressiveness extensions-a survey A Lawan, A Rakib arXiv preprint arXiv:1903.11723, 2019 | 13 | 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 |
| 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 | 10 | 2011 |
| A probabilistic logic for resource-bounded multi-agent systems HN Nguyen, A Rakib | 9 | 2019 |
| 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 |
| Transfer learning for operator selection: a reinforcement learning approach R Durgut, ME Aydin, A Rakib Algorithms 15 (1), 24, 2022 | 8 | 2022 |
| 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 | 8 | 2016 |
| 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 | 7 | 2018 |
Natasha AlechinaDepartment of Information and Computing Sciences, University of Utrecht在 uu.nl 的电子邮件经过验证
