1670 search results - page 134 / 334 » On Skolemization in constructive theories |
149
click to vote
DSOM
2005
Springer
15 years 12 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
180
click to vote
ER
2005
Springer
15 years 12 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
154
click to vote
EUROCAST
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
171
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
162
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...