Báo cáo khoa học: "LẬP TRÌNH LOGIC MODAL"
Tóm tắt: Lập trình logic modal là một mở rộng của lập trình logic cổ điển bằng cách thêm vào các toán tử modal (□, ◊) để suy diễn về các luật có thêm yếu tố độ tin cậy (belief), tri thức (knowledge), thay đổi động (dynamic change)…Bài báo trình bày tổng quan về lập trình logic modal.