Un système de spécification de sémantiques pour l'argumentation abstraite = Hệ thống đặc tả ngữ nghĩa cho lập luận trừu tượng. Luận văn ThS. Hệ thống thông minh và đa phương tiện(Chương trình đào tạo thí điểm)

Title: Un système de spécification de sémantiques pour l'argumentation abstraite = Hệ thống đặc tả ngữ nghĩa cho lập luận trừu tượng. Luận văn ThS. Hệ thống thông minh và đa phương tiện(Chương trình đào tạo thí điểm)
Authors: Hồ, Văn Hiếu
Keywords: Công nghệ thông tin;Trí tuệ nhân tạo
Issue Date: 2016
Publisher: H.: Viện Pháp ngữ quốc tế
Abstract: Nous avons également utilisé les connaissances théoriques afin d’implémenter un système basé sur des théories argumentatives développées dans l’équipe LILaC. SESAME (www.irit.fr/SESAME)), a été implémenté en Java. Il permet à l’utilisateur de spécifier une sémantique argumentative, pour laquelle ce système génère une formule propositionnelle.
Description: 45 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/59661
Appears in Collections:IFI - Master Theses

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Nhiều chính sách ưu đãi dành cho sinh viên

Title:  Nhiều chính sách ưu đãi dành cho sinh viên Authors:  Thanh Bình Keywords:  Giáo dục đại học;Tuyển sinh đại học;Chính sách giáo dục Issue Date:  2015 Publisher:  H. : ĐHQGHN Citation:  Số 288 - Bản tin Đại học Quốc gia Hà Nội Description:  TNS04885 ; 3 tr URI:  http://repository.vnu.edu.vn/handle/VNU_123/24385 Appears in Collections: VNU Bulletin
Đọc thêm

Stability radii for differential algebraic equations

Title:  Stability radii for differential algebraic equations Authors:  Nguyen, Huu Du Dao, Thi Lien Keywords:  Stability radii;differential algebraic equations Issue Date:  2002 Publisher:  H. : ĐHQGHN Series/Report no.:  Vol. 18;No. 1 (2002) Abstract:  In this article, we deal with the problem o f computing stability radii for systems described by differential algebraic equations o f the fo rm A X ' ( t ) + B X ( t ) = 0. where A. B are constant matrices. A computable fo rm u la f o r complex radii is given and the key difference  between O D E s and D A E s cases is pointed out. A special casr where the real stability  radii and complex one are equal is considered. Description:  p. 16-27 URI:  http://repository.vnu.edu.vn/handle/VNU_123/58446
Đọc thêm

Công tác thu thập, xử lý và tổ chức phục vụ tài liệu xám tại Thư viện Quân đội

Title:  Công tác thu thập, xử lý và tổ chức phục vụ tài liệu xám tại Thư viện Quân đội Authors:  Nguyễn, Hoàng Anh TRẦN, HỮU HUỲNH Keywords:  Tài liệu xám;Thư viện Quân đội Issue Date:  2009 Publisher:  Khoa Thông Tin Thư viện Abstract:  Giới thiệu TVQĐ một cách khái quát trong tiến trình phát triển; Nêu bật thực trạng công tác thu thập, xử lý và tổ chức phục vụ tài liệu xám tại TVQĐ; Phân tích những thuận lợi, khó khăn, đồng thời chỉ ra ưu điểm, hạn chế và đề xuất một số giải pháp nhằm nâng cao hiệu quả công tác thu thập, xử lý và tổ chức phục vụ tài liệu xám tại TVQĐ. Description:  KL00021; 79 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/33853 Appears in Collections: USSH - Undergraduate Theses
Đọc thêm