Search

Your search keyword '"Mateis, Cristinel"' showing total 1 results
Start Over Author "Mateis, Cristinel" Journal ai communications
1 results on '"Mateis, Cristinel"'

1. Quantitative Disjunctive Logic Programming: semantics and computation.

Author

Mateis, Cristinel

Subjects
*KNOWLEDGE representation (Information theory), *LOGIC programming, *MANY-valued logic, *ARTIFICIAL intelligence
Abstract

Examines the Quantitative Disjunctive Logic Programming knowledge representation language. Definition of a mechanism of reasoning with uncertainty; Algorithms for computing minimal models of quantitative programs; Frameworks for multivalued logic programming.

Published
2000

Catalog

Books, media, physical & digital resources
See catalog results