Phương pháp định giá truy vấn đối với chương trình logic diễn giải có ràng buộc
Sự diễn giải được tìm thấy trong nhiều ứng dụng rộng rãi như một công cụ mạnh mẽ cho lập luận giả thuyết với tri thức không đầy đủ. Chương trình logic diễn giải có ràng buộc là sự mở rộng của chương trình logic diễn giải, việc nghiên cứu phương pháp định giá truy vấn đối với lớp chương trình này đan...
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Định dạng: | Bài trích |
| Thông tin xuất bản: |
Tạp chí khoa học, Đại học Huế
2018
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://localhost:6060/xmlui/handle/1/163 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|