팔로우
Abdur Rakib
제목
인용
인용
연도
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
882011
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
782010
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169, 385-403, 2009
362009
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
262014
Component-wise instruction-cache behavior prediction
A Rakib, O Parshin, S Thesing, R Wilhelm
Automated Technology for Verification and Analysis: Second International …, 2004
232004
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
222012
An efficient rule-based distributed reasoning framework for resource-bounded systems
A Rakib, I Uddin
Mobile Networks and Applications 24 (1), 82-99, 2019
182019
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
182018
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
182018
The semantic web rule language expressiveness extensions-a survey
A Lawan, A Rakib
arXiv preprint arXiv:1903.11723, 2019
172019
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
162013
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
162009
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
152008
State-of-the-Art Authentication and Verification Schemes in VANETs: A Survey
S Mazhar, A Rakib, L Pan, F Jiang, A Anwar, R Doss, J Bryans
Vehicular Communications, 100804, 2024
122024
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems.
HN Nguyen, A Rakib
IJCAI, 521-527, 2019
112019
Transfer learning for operator selection: A reinforcement learning approach
R Durgut, ME Aydin, A Rakib
Algorithms 15 (1), 24, 2022
102022
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
102014
Verifying resource requirements for ontology-driven rule-based agents
A Rakib, RU Faruqui, W MacCaull
Foundations of Information and Knowledge Systems: 7th International …, 2012
102012
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
92017
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
92011
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20