This paper is about the functionali

This paper is about the functionality of software systems used in answer set programming (ASP) [11,14,1,7]. ASP languages are viewed here, in the spirit of Datalog, as mechanisms for characterizing intensional (output) predicates in terms of extensional (input) predicates.

Kết quả (Việt) 1:

Bài báo này là về các chức năng của hệ thống phần mềm được sử dụng trong các câu trả lời thiết lập trình (ASP) [11,14,1,7]. Ngôn ngữ ASP được xem tại đây, trong tinh thần của Datalog, như là cơ chế cho characterizing intensional (đầu ra) predicates trong điều khoản của extensional predicates (đầu vào).

Kết quả (Việt) 2:

Bài viết này là về các chức năng của hệ thống phần mềm được sử dụng trong câu trả lời của bộ lập trình (ASP) [11,14,1,7]. ASP ngôn ngữ được xem ở đây, theo tinh thần của Datalog, như cơ chế cho việc mô tả intensional (đầu ra) predicates về extensional (đầu vào) vị ngữ.