579 search results - page 38 / 116 » Combined reasoning by automated cooperation |
KR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...
LICS
1996
IEEE
14 years 25 days ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
EWCBR
2004
Springer
14 years 2 months ago
2004
Springer
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...