Publications

Filters: Author is Nguyen, Hoang Nga  [Clear All Filters]
2008
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying time and communication costs of rule-based reasoners." In Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008), edited by Doron Peled and Michael Wooldrigde. Patras, Greece, 2008. Download: Alechina++:08d.pdf (162.28 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verification of Resource Requirements of Distributed Reasoning Agents." In Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). Budapest, Hungary, 2008. Download: Alechina++:08c.pdf (465.11 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying time, memory and communication bounds in systems of reasoning agents." In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), edited by Lin Padgham, David Parkes, Jörg Müller and Simon Parsons, 736–743. Vol. 2. Estoril, Portugal: IFAAMAS, 2008. Download: Alechina++:08a.pdf (176.35 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Resource Requirements for Distributed Rule-Based Systems." In Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008), edited by N. Bassiliades, G. Governatori and A. Paschke, 31–38. Vol. 5321. Lecture Notes in Computer Science 5321. Orlando, FL: Springer, 2008. Download: Alechina++:08g.pdf (124.86 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Reasoning about other agents' beliefs under bounded resources." In Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), edited by John-Jules Ch. Meyer and Jan Broersen, 4–18. Sydney, Australia, 2008. Download: Alechina++:08h.pdf (170.77 KB)
2009
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Reasoning about other agents' beliefs under bounded resources." In Post-proceedings of KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008, edited by Ch. J. - J. Meyer and J. Broersen, 1–15. Vol. 5605. Lecture Notes in Artificial Intelligence 5605. Springer, 2009. Download: Alechina++:09d.pdf (170.77 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Time and Communication Costs of Rule-Based Reasoners." In Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers, edited by Doron Peled and Michael Wooldridge. Vol. 5348. LNCS 5348. Springer, 2009. Download: Alechina++:09a.pdf (139.56 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Properties of Coalitional Ability under Resource Bounds." In Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), edited by Berndt Farwer. Los Angeles CA, USA, 2009. Download: Alechina++:09e.pdf (152.07 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "A Logic for Coalitions with Bounded Resources." In Proceedings of the Twenty First International Joint Conference on Artificial Intelligence, edited by Craig Boutilier, 659–664. Vol. 2. Pasadena CA, USA: IJCAI/AAAI, 2009. Download: Alechina++:09b.pdf (153.87 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Expressing Properties of Coalitional Ability under Resource Bounds." In Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II), edited by Xiangdong He, John Horty and Eric Pacuit. Vol. 5834. Lecture Notes in Artificial Intelligence 5834. Chongqing, China: Springer, 2009. Download: Alechina++:09f.pdf (187.84 KB)
2010
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010), edited by Ron van der Meyden and Jan-Georg Smaus. Atlanta, GA, 2010. Download: Alechina++:10c.pdf (198.95 KB)
Nguyen, Hoang Nga. "An extension of RB-ATL." In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010). Vol. CEUR-WS 627. Lyon, France, 2010. Download: Nguyen:10a.pdf (255.56 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Logic for coalitions with bounded resources." Journal of Logic and Computation 21, no. 6 (2010): 907-937. Download: Alechina++:10d.pdf (312.33 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Resource-bounded alternating-time temporal logic." In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), edited by Wiebe van der Hoek, Gal Kaminka, Yves Lesp{\'}erance, Michael Luck and Sandip Sen, 481-488. Toronto, Canada: IFAAMAS, 2010. Download: Alechina++:10a.pdf (204.49 KB)
2011
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers, edited by Ron van der Meyden and Jan-Georg Smaus, 69-84. Vol. LNAI 6572. Springer, 2011. Download: Alechina++:11a.pdf (185.01 KB)