2801 search results - page 59 / 561 » On the Adequateness of the Connection Method |
IV
2006
IEEE
14 years 2 months ago
2006
IEEE
Spatial organisation of information objects on a two or three dimensional plane or space has the advantage of revealing the connections between objects easily by spatial proximity...
IWFM
1998
13 years 10 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
DPD
2000
13 years 8 months ago
2000
The Internet has solved the age-old problem of network connectivity and thus enabling the potential access to, and data sharing among large numbers of databases. However, enabling ...
ICLA
2011
Springer
13 years 10 days ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...