» Từ khóa: chuong trinh datalog dang tuyen

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 47 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 14 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

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 30 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

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 321 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 254 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 252 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.

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 442 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 về chương trình Datalog dạng tuyển. Định nghĩa hình thức datalog dạng tuyển với các ràng buộc mạnh – yếu, ngữ nghĩa mô hình của chương trình Datalog dạng tuyển với các dạng tuyển mạnh và yếu. Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu được sử dụng để biểu diễn các bài toán thuộc nhiều lĩnh vực khác...

 5 p husc 27/03/2015 353 2 Download

Từ khóa: Tin học, chương trình Datalog, Datalog dạng tuyển

Tìm hiểu cơ sở dữ liệu suy diễn và chương trình Datalog, Datalog dạng tuyển. Nghiên cứu, ứng dụng phương pháp ma tập đối với chương trình Datalog; Phương pháp ma tập đối với chương trình Datalog dạng tuyển; Phương pháp ma tập động đối với các truy vấn đệ quy hữu hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:...

 5 p husc 25/03/2015 245 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu suy diễn, Chương trình Datalog, Datalog dạng tuyển, Phương pháp ma tập

Trình bày tổng quan về cơ sở dữ liệu suy diễn và chương trình Datalog; Nghiên cứu ngữ nghĩa chương trình Datalog dạng tuyển và dạng tuyển có ràng buộc. 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 19/03/2015 202 1 Download

Từ khóa: Tin học, chương trình Datalog dạng tuyển