Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: tap tra loi

Kết quả 1-2 trong khoảng 2

Tìm hiểu ngữ nghĩa tập trả lời của chương trình logic và nghiên cứu.

Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

12 p husc 08/11/2024 15 1

Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.
Tìm hiểu ngôn ngữ DLPA và ứng dụng.

trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

9 p husc 27/09/2016 405 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số