Cơ sở dữ liệu suy diễn; Lập trình logic; Web ngữ nghĩa; Logic mô tả.

[1]			[1] Giải pháp hiệu quả xây dựng hệ thống thông tin tổng thể quản trị Trường Đại học Vinh Tác giả: Cao Thanh Sơn, Lường Hồng Phong, Lê Văn Tấn Tạp chí: Trường Đại học Vinh; ISSN: 1859-2228; Năm: 2019
[2]			[2] Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases Tác giả: Son Thanh Cao, Linh Anh Nguyen Tạp chí: Computing and Informatics; ISSN: 2585-8807; Năm: 2019
[3]			[3] Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics Tác giả: Cao Thanh Sơn Tạp chí: Cybernetics and Systems; ISSN: 0196-9722; Năm: 2017
[4]			[4] On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases Tác giả: Son Thanh Cao Tạp chí: Advances in Intelligent Systems and Computing; ISSN: 2194-5357; Năm: 2015

[1]			[1] Query–subquery nets for Horn knowledge bases in first-order logic Tác giả: Cao Thanh Sơn Tạp chí: Journal of Information and Telecommunication; ISSN: 2475-1839; Năm: 2017
[2]			[2] The web ontology rule language OWL 2 RL+ and its extensions Tác giả: Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas Tạp chí: Transactions on Computational Intelligence XIII; ISSN: 0302-9743; Năm: 2014
[3]			[3] WORL: a nonmonotonic rule language for the semantic web Tác giả: Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas Tạp chí: Vietnam Journal of Computer Science; ISSN: 2196-8888; Năm: 2014

[1]			[1] A Max-Min Conflict Algorithm for the Stable Marriage Problem Tác giả: Hoang Huu Viet, Nguyen Thi Uyen, Pham Tra My, Son Thanh Cao Tạp chí: PKAW 2019, Lecture Notes in Computer Science ; ISSN: 1611-3349; Năm: 2019
[2]			[2] An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination Tác giả: Son Thanh Cao and Linh Anh Nguyen Tạp chí: Advances in Intelligent Systems and Computing; ISSN: 2194-5365; Năm: 2015
[3]			[3] Query-Subquery Nets with Stratified Negation Tác giả: Son Thanh Cao Tạp chí: Advances in Intelligent Systems and Computing; ISSN: 2194-5357; Năm: 2015
[4]			[4] An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases Tác giả: Son Thanh Cao, Linh Anh Nguyen Tạp chí: Advances in Intelligent Systems and Computing; ISSN: 2194-5357; Năm: 2014

[1] NGHIÊN CỨU ĐỔI MỚI NỘI DUNG, PHƯƠNG PHÁP GIẢNG DẠY VÀ ĐÁNH GIÁ KHỐI KIẾN THỨC PHÁT TRIỂN PHẦN MỀM ỨNG DỤNG THEO TIẾP CẬN CDIO Vai trò: Thành viên; Từ tháng: 01/2019 đến tháng: 12/2019. Đơn vị tài trợ: Trường Đại học Vinh; Mã số: T2019 - 12 - TĐ; Đơn vị chủ trì: Trường Đại học Vinh

[2] NGHIÊN CỨU ĐỔI MỚI NỘI DUNG, PHƯƠNG PHÁP GIẢNG DẠY, KIỂM TRA, ĐÁNH GIÁ HỌC PHẦN TIN HỌC ỨNG DỤNG TRONG NÔNG LÂM NGƯ VÀ MÔI TRƯỜNG TIẾP CẬN CDIO Vai trò: Chủ trì; Từ tháng: 01/2017 đến tháng: 12/2017. Đơn vị tài trợ: Trường Đại học Vinh; Mã số: T2017-03TĐ; Đơn vị chủ trì: Trường Đại học Vinh

[3] NGHIÊN CỨU THỰC TRẠNG VÀ ĐỀ XUẤT GIẢI PHÁP PHÁT TRIỂN TỔNG THỂ HỆ THỐNG PHẦN MỀM THÔNG TIN QUẢN LÝ TRƯỜNG ĐẠI HỌC VINH Vai trò: Thành viên; Từ tháng: 07/2017 đến tháng: 12/2017. Đơn vị tài trợ: ETEP; Mã số: ETEP2017-HD10; Đơn vị chủ trì: Trường Đại học Vinh

[4] Ứng dụng CNTT trong việc biên soạn bài giảng điện tử theo hướng tiếp cận CDIO và định hướng dạy học trực tuyến Vai trò: Thành viên; Từ tháng: 12/2016 đến tháng: 03/2017. Đơn vị tài trợ: Trường Đại học Vinh; Mã số: T2017-03-TĐ; Đơn vị chủ trì: Trường Đại học Vinh

[1] Giáo trình Ngôn ngữ lập trình C Tác giả: Trần Thị Kim Oanh, Cao Thanh Sơn; Xuất bản tại: Trường Đại học Vinh; Năm: 2015; Vai trò: Thành viên