10568 search results - page 718 / 2114 » Computer Intelligence and Formalization |
187
click to vote
AAAI
1990
15 years 8 months ago
1990
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
205
click to vote
AIS
2006
Springer
15 years 7 months ago
2006
Springer
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
195
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
Computational trust systems are getting popular in several domains such as social networks, grid computing and business-to-business systems. However, the estimation of the trustwo...
191
click to vote
ICTAI
2009
IEEE
15 years 5 months ago
2009
IEEE
The selection of features for classification, clustering and approximation is an important task in pattern recognition, data mining and soft computing. For real-valued features, th...
210
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...