» Từ khóa: datalog

Tổng quan về chương trình Datalog dạng tuyển; Chương trình Datalog dạng tuyển có thứ tự ưu tiên; Ứng dụng của chương trình Datalog dạng tuyển có thứ tự ưu tiên. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 21/05/2024 50 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Datalog dạng tuyển, Lập luận phỏng đoán, Phỏng đoán cực tiểu, Thủ tục tính tập, Hệ thống DLV

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 06/05/2024 17 0 Download

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu

Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 04/04/2024 37 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán

Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có sự kế thừa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 04/04/2024 33 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Hệ thống DLV, Thực thi chương trình, Datalog dạng tuyển

Tổng quan về chương trình datalog và web ngữ nghĩa; Chương trình datalog; Chuyển đổi logic mô tả DL- LITE về chươgn trình datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 15/03/2022 86 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Lý thuyết mô hình, Điểm bất động, Web ngữ nghĩa, Logic mô tả

Tổng quan về Datalog dạng tuyển (Khái niệm cơ sở; chương trình Datalog; chương trình Datalog dạng tuyển). Giới thiệu về logic mô tả; Logic mô tả Shoin (D); cú pháp, ngữ nghĩa của logic mô tả. Nghiên cứu cú pháp, ngữ nghĩa chương trình Datalog mô tả dạng tuyển; những bài toán ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 11 p husc 23/10/2018 246 1 Download

Từ khóa: Công nghệ thông tin, Datalog dạng tuyển, Chương trình datalog, Bài toán ứng dụng

Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 10/01/2018 325 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả

Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...

 4 p husc 23/10/2017 257 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.

Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 13/10/2017 256 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 353 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . 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

 11 p husc 27/09/2016 446 6 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.

Tìm hiểu cú pháp và ngữ nghĩa của chương trình Datalog mờ, định giá truy vấn chương trình Datalog mờ. Từ chương trình Datalog mờ mở rộng thành chương trình Datalog đa trị, đi tìm cú pháp và ngữ nghĩa của chương trình Datalog đa trị. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 01/06/2016 287 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog mờ, Datalog đa trị, Giá trị trực cảm, Giá trị khoảng, Tri thức đa trị, Thuật toán kết nối, Tri thức nền, Thuật toán hợp nhất