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

Trương, Công Tuấn; Trần, Thị Thùy Hương

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.identifier.uri	http://localhost:6060/xmlui/handle/1/163
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.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