128 search results - page 10 / 26 » da 2006 |
IJAR
2007
13 years 7 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
AMC
2006
13 years 7 months ago
2006
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elab...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This work presents bidirectional transceiver for on-chip long wires. The current signals are transmitted bidirectionally on the interconnection to double the data rate. The vol...