10568 search results - page 457 / 2114 » Computer Intelligence and Formalization |
155
Voted
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
153
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
168
click to vote
AIHC
2007
Springer
15 years 11 months ago
2007
Springer
Instinctive computing is a computational simulation of biological and cognitive instincts. It is a meta-program of life, just like universal gravity in nature. It profoundly influe...
149
Voted
AP2PC
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the operational characteristics of “CompTorrent”, a general purpose distributed computing platform that provides a low entry cost to creating new distribut...
132
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Yeap [42] argued that an important basis for computing a cognitive map is the ability to compute and recognise local environments. Although he has demonstrated how such local envi...