8201 search results - page 307 / 1641 » Approaching Manual Intelligence |
197
Voted
ISMIS
2005
Springer
16 years 29 days ago
2005
Springer
Data from the Sloan Digital Sky Survey has given evidence of structures within the Milky Way halo from other nearby galaxies. Both the halo and these structures are approximated by...
179
Voted
ATAL
2004
Springer
16 years 26 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
214
click to vote
EUSAI
2004
Springer
16 years 25 days ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
202
click to vote
NMR
2004
Springer
16 years 24 days ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
163
click to vote
ESAW
2003
Springer
16 years 20 days ago
2003
Springer
We outline a model for a society of agents based upon one of the classical theories of sociology: The Weber’s model. We first investigate its links to agent technology through i...