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
| dc.contributor.author | Trương, Công Tuấn | |
| dc.contributor.author | Trần, Thị Thùy Hương | |
| dc.date.accessioned | 2018-01-18T03:52:44Z | |
| dc.date.available | 2018-01-18T03:52:44Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | 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 đang được nhiều người quan tâm. Bài báo này trình bày một phương pháp để định giá truy vấn chương trình logic diễn giải có ràng buộc. | en_US |
| dc.identifier.uri | http://localhost:6060/xmlui/handle/1/163 | |
| dc.publisher | Tạp chí khoa học, Đại học Huế | en_US |
| dc.relation.ispartofseries | 74A;5 | |
| dc.subject | logic diễn giải, định giá truy vấn | en_US |
| dc.title | 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 | en_US |
| dc.type | Article | en_US |