527 search results - page 53 / 106 » Towards a Natural Way of Reasoning |
BERTINORO
2005
Springer
14 years 4 months ago
2005
Springer
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...
EH
2002
IEEE
14 years 3 months ago
2002
IEEE
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...
JSAC
2010
13 years 9 months ago
2010
Abstract— Service placement is a key problem in communication networks as it determines how efficiently the user service demands are supported. This problem has been traditional...
CADE
2002
Springer
14 years 11 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
KR
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, I defend a multiplicative approach that distinguishes statues from amounts of matter, political entities from physical ones, qua entities (e.g. John qua Alitalia pa...