5326 search results - page 204 / 1066 » On what we can ensure |
149
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Various formally valid counterexamples have been adduced against the Humean dictum that one cannot derive an "ought" from an "is." There are formal rebuttals--s...
186
click to vote
IJON
1998
15 years 6 months ago
1998
In their paper [1], Tsoi and Tan present what they call a "canonical form", which they claim to be identical to that proposed in Nerrand et al [2]. They also claim that ...
135
click to vote
SOSYM
2002
15 years 6 months ago
2002
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
143
click to vote
IJACI
2010
15 years 5 months ago
2010
This paper explores a very simple idea: what can be achieved by using the principles and the technologies of the Web Platform1 when they are applied to Ambient Computing? To answer...
167
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...