| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 11 |       | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011) |
| 10 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488 |
| 9 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84 |
| 8 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664 |
| 7 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14 |
| 6 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying time, memory and communication bounds in systems of reasoning agents. Synthese 169(2): 385-403 (2009) |
| 5 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) 2008: 736-743 |
| 4 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15 |
| 3 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14 |
| 2 | | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38 |
Selection of 10 from 12 records - Abdur Rakib has 8 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page