The following pages link to Abdur Rakib (Q1036065):
Displaying 8 items.
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Logic for coalitions with bounded resources (Q3103974) (← links)
- Verifying Time and Communication Costs of Rule-Based Reasoners (Q3614874) (← links)
- Reasoning about Other Agents’ Beliefs under Bounded Resources (Q3644774) (← links)
- Expressing Properties of Coalitional Ability under Resource Bounds (Q3655213) (← links)
- Alternating-time temporal logic with resource bounds (Q4612421) (← links)
- Automated Technology for Verification and Analysis (Q5394191) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)
