dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Abdur Rakib (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) 2008: 736-743
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatasha 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page