TRƯỜng đẠi học bách khoa hà NỘi viện công nghệ thông tin và truyềN thông danh sách đỊnh hưỚng đỀ TÀi luận văn thạc sỹ NĂm họC 2010-2011

14)TS. Trần Đức Khánh

Họ và tên giảng viên: Trần Đức Khánh

2. Học hàm / học vị: Tiến sỹ

3. Nơi công tác:

Bộ môn: HTTT Viện Công nghệ Thông tin - Truyền thông

Trường Đại học Bách Khoa Hà Nội

4. Điện thoại cơ quan: Điện thoại di động: 01689336066

5. Email: khanhtd@it-hut.edu.vn

1. Định hướng nghiên cứu

• 
  Logic kinh điển, phi kinh điển
  
• 
  Suy diễn tự động
  
• 
  Chứng minh định lý
  
• 
  Ứng dụng Logic, Suy diễn tự động
  
  • 
    Kiểm định phần mềm
    
  • 
    Trính rút thông tin
    
• 
  Ứng dụng Trí Tuệ Nhân Tạo
  
  • 
    Công cụ tìm kiếm
    

[1] H. Kirchner, S. Ranise, C. Ringeissen and D.-K. Tran. Combination of Convex Theories: Modularity, Deduction Completeness and Explanation. To appear in Journal of Symbolic Computation.

[2] C. Lynch and D.-K. Tran. SMELS: Satisfiability Modulo Equality with Lazy Superposition. In Proc. of the 6th Int. Conference on Automated Techniques for Verification and Analysis, (ATVA’08), volume 5311 of LNCS, pages 186–200, Korea, Oct 2008, Springer.

[3] S. Ranise, C. Ringeissen, and D.-K. Tran. Combining Proof Producing Decision Procedures. In Proc. of the 7th Int. Symphosium on Frontiers of Combining Systems, (FroCos’07), volume 4720 of LNAI, pages 237–251, Liverpool, UK, Sep 2007. Springer.

[4] C. Lynch and D.-K. Tran. Automatic Decidability and Combinability Revisited. In Proc. of the 21st Int. Conference on Automated Deduction, (CADE’07), volume 4603 of LNAI, pages 328–344, Bremen, Germany, July 2007. Springer.

[5] H. Kirchner, S. Ranise, C. Ringeissen, and D.-K. Tran. Automatic Combinability of Rewriting-Based Satisfiability Procedures. In Proc. of the 13^th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning, (LPAR’06), volume 4246 of LNAI, pages 542–556, Phnom Penh, Cambodia, November 2006. Springer.

3. Danh sách các đề tài luận văn cao học hướng dẫn gần đây nhất (liệt kê không quá 5)

III. Các định hướng đề tài luận văn cao học

STT	Tên đề tài/định hướng luận văn	Nội dung công việc
1	Logic, Suy diễn tự động	Nghiên cứu các phương pháp kết hợp SAT và Chứng minh định lý tự động
2	Suy diễn trong Logic ngôn ngữ	Nghiên cứu các phương pháp suy diễn trong Logic ngôn ngữ
3	Phương pháp Logic trong trích rút thông tin	Trích rút thông tin tự động trên Web sử dụng Lập trình Logic quy nạp
4	Học máy và ứng dụng trong công cụ tìm kiếm	Ứng dụng các kỹ thuât học máy để xây dựng công cụ thu thập thông tin, công cụ phân loại tài liệu