
Luận văn thạc sĩ ngành Công nghệ thông tin. Cơ sở đào tạo: Trường Đại học Khoa học Huế Giới thiệu về logic mô tả, cú pháp, ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả. Nghiên cứu về sự kết hợp logic thời gian với logic mô tả để có được logic mô tả có yếu tố thời gian. Mô hình hóa khái niệm thời gian với logic mô tarDL-Lite