Hoang Nga Nguyen

Research Assistant, Processes and Data, Safecap

Research Interests

  • Formal specification and verification,
  • Model checkers and theorem provers,
  • Multiagent systems,
  • Knowledge representation and reasoning.

Publications

Conferences

  1. Natasha Alechina, Brian Logan, Nguyen Hoang Nga. Resouce-bounded alternating time temporal logic., The Ninth International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, May 2010, Toronto, Canada.
  2. Natasha Alechina, Brian Logan, Nguyen Hoang Nga. A Logic for Coalitions with Bounded Resources., Proceedings of the Twenty First International Joint Conference on Artificial Intelligence IJCAI 2009. 2:659–664.
  3. Natasha Alechina, Brian Logan, Nguyen Hoang Nga. Verifying time, memory and communication bounds in systems of reasoning agents., Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems AAMAS 2008. 2:736–743.
  4. Steffen Hoelldobler, Hand-Peter Stoerr, Tran Dinh Khang, and Nguyen Hoang Nga. The subsumption problem in the fuzzy description logic ALC_FH., Proceedings of the Tenth International Conference IPMU 2004: Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, pages 243-250, 2004.

Journals

  1. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Logic for coalitions with bounded resources. Journal of Logic and Computation 21, no. 6 (2010): 907-937.
  2. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying time, memory and communication bounds in systems of reasoning agents. Synthese. 169:385–403, 2009.

Workshops

  1. Yoshinao Isobe, Hoang Nga Nguyen, and Markus Roggenbach. Towards safe capacity in the railway domain -- An experiment in Timed-CS. Proceedings of Dependable System Workshop (DSW), 2011.
  2. Nguyen Hoang Nga. An extension of RB-ATL. Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops MALLOW 2010.
  3. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Expressing Properties of Coalitional Ability under Resource Bounds. Proceedings of the Second International Workshop on Logic, Rationality and Interaction LORI-II, 2009.
  4. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Properties of Coalitional Ability under Resource Bounds. Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility LAM 2009.
  5. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Time and Communication Costs of Rule-Based Reasoners. Proceedings of Model Checking and Artificial Intelligence, 5th International Workshop {MoChArt} 2008, Patras Greece, July 21, 2008.
  6. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Reasoning about other agents' beliefs under bounded resources. Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008. :4–18.
  7. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Resource Requirements for Distributed Rule-Based Systems. Symposium on Rule Representation, Interchange and Reasoning on the Web RuleML 2008. 5321:31–38.
  8. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verification of Resource Requirements of Distributed Reasoning Agents.. Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). Budapest, Hungary, 2008.
  9. Steffen Hoelldobler, Nguyen Hoang Nga and Tran Dinh Khang. The Fuzzy Description Logic ALC_FLH. Proceedings of the International Workshop on Description Logics - DL2005. July 2005, Edinburgh, Scotland, UK.

Projects

  • SafeCap (2011-13) EPSRC / RSSB
  • Verifying requirements for resource-bounded agents (2007-2010) EPSRC

Softwares

Contact

Photo of Me
  • E-mail:
  • Address: Computer Science Department, Swansea University, Singleton Park, Swansea, SA2 8PP, UK