Nguyễn Quốc Tuấn

Giảng viên, Khoa Khoa học Máy tính

Ph.D. (Informatics, National Institute of Informatics, Japan, 2022) 
M.S. (Computer Science, Hanoi University of Science and Technology, 2019) 
B.S. (Computer Science, Hanoi University of Science and Technology, 2015)

Email: tuannq@soict.hust.edu.vn

• Trí tuệ nhân tạo   
• Biểu diễn tri thức & suy diễn   
• Tối ưu hóa 

• Logic programming, answer set programming 
• Các phương pháp đại số tuyến tính cho suy diễn logic  

Nguyễn Quốc Tuấn là giảng viên tại Trường Công nghệ thông tin và Truyền thông, Đại học Bách Khoa Hà Nội. Anh nhận bằng tiến sĩ về Tin học tại Viện Tin học quốc gia Nhật Bản vào năm 2022. Anh đã được trao tặng học bổng chính phủ MEXT tài trợ cho quá trình học tiến sĩ. Cũng trong thời gian đó, anh cũng là người nhận học bổng JICA Innovative Asia, tài trợ bởi Cơ quan hợp tác quốc tế Nhật Bản (JICA). Các hướng nghiên cứu hiện nay của anh gồm có trí tuệ nhân tạo, biểu diễn tri thức & suy diễn, và tối ưu hóa.

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic partial evaluation of logic programs. In Proceedings of the 2024 IEEE 36rd Inter-national Conference on Tools with Artificial Intelligence (ICTAI), pages 355–362. IEEE, 2024. doi: 10.1109/ICTAI62512.2024.00059. 

• Tuan Quoc Nguyen and Katsumi Inoue. On converting logic programs into matrices. In Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), pages 405–415, 2023. doi: 10.5220/0011802400003393. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic abduction with partial evaluation. In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL), pages 197–215. Springer, 2023. doi: 10.1007/978-3-031-24841-2_13. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Enhancing linear algebraic computation of logic programs using sparse representation. New Generation Computing, 40(1):225–254, 2022. doi: 10.1007/s00354-021-00142-2. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic computation of propositional horn abduction. In Proceedings of the 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), pages 240–247. IEEE, 2021. doi: 10.1109/ICTAI52525.2021.00040. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Enhancing linear algebraic computation of logic programs using sparse representation. volume 325 of EPTCS Online Proceedings of International Conference on Logic Programming (ICLP), pages 192–205, 2020. doi: 10.4204/EPTCS.325.24. 

• Huynh Thi Thanh Binh, Tuan Quoc Nguyen, and Doan Cao Thanh Long. A multi-objective multi-factorial evolutionary algorithm with reference-point-based approach. In 2019 IEEE Congress on Evolutionary Computation (CEC), pages 2824–2831. IEEE, 2019. doi: 10.1109/CEC.2019.8790034. 

• Tuan Quoc Nguyen, Ta Duy Hoang, and Huynh Thi Thanh Binh. A guided differential evolutionary multi-tasking with powell search method for solving multi-objective continuous optimization. In 2018 IEEE congress on evolutionary computation (CEC), pages 1–8. IEEE, 2018. doi: 10.1109/CEC.2018.8477860. 

• MEXT scholarship, 2019-2022  
• JICA Innovative Asia, 2019-2022