| A Logic for Coalitions with Bounded Resources. N Alechina, B Logan, NH Nga, A Rakib IJCAI, 659-664, 2009 | 75 | 2009 |
| 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 | 62 | 2010 |
| Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 43 | 2011 |
| Component-wise instruction-cache behavior prediction A Rakib, O Parshin, S Thesing, R Wilhelm International Symposium on Automated Technology for Verification and …, 2004 | 23 | 2004 |
| 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 | 22 | 2008 |
| 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 | 21 | 2012 |
| A logic for context-aware non-monotonic reasoning agents A Rakib, HMU Haque Mexican International Conference on Artificial Intelligence, 453-471, 2014 | 19 | 2014 |
| 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 | 15 | 2009 |
| 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 | 15 | 2008 |
| 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 |
| 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 | 14 | 2013 |
| 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 | 13 | 2018 |
| 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 | 10 | 2010 |
| An efficient rule-based distributed reasoning framework for resource-bounded systems A Rakib, I Uddin Mobile Networks and Applications 24 (1), 82-99, 2019 | 9 | 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 | 8 | 2014 |
| 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 | 7 | 2017 |
| 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 | 7 | 2012 |
| Modelling and reasoning about context-aware agents over heterogeneous knowledge sources H Mahfooz Ul Haque, A Rakib, I Uddin International conference on context-aware systems and applications, 1-11, 2016 | 6 | 2016 |
| 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 | 6 | 2015 |
| 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 | 6 | 2009 |
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified email at uu.nl
