|
|
Quoc Bao Vo's home pageI am a Senior Lecturer in the Faculty of Information and Communication Technologies (FICT) at Swinburne University of Technology. I am a researcher in FICT's Centre for Complex Software Systems and Services (CS3).Most of my research has been around the two large and related areas of Artificial Intelligence (AI) and Multi-agent Systems (MAS). Contact Dr. Bao Quoc Vo Centre for Complex Software Systems and Services Faculty of Information and Communication Technologies Swinburne University of Technology John Street, Hawthorn Melbourne, Victoria 3122, Australia Office: EN 507b, Hawthorn Campus (Building EN, Level 5, Room 507b) Phone: +61 3 9214 4756 Fax: +61 3 9819 0823/ +61 3 9214 5916 email bvo[at]swin[dot]edu[dot]au |
Research areasPublicationsTeachingResearchersStudentsProjectsProfessional servicesBiography |
Research areasKnowledge representation and reasoning, automated and interactive theorem proving, reasoning about actions, belief update, information retrieval and knowledge management, autonomous agents and multi-agent systems. |