1128 search results - page 104 / 226 » Classical Natural Deduction |
EAAI
2008
13 years 11 months ago
2008
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
ALIFE
2004
13 years 11 months ago
2004
Baldwin's classic hypothesis states that behavioral plasticity can speed evolution by (a) smoothing the fitness landscape and (b) indirect genetic assimilation of acquired cha...
PR
2000
13 years 11 months ago
2000
Researchers have thus far focused on the recognition of alpha and numeric characters in isolation as well as in context. In this paper we introduce a new genre of problems where t...
TMI
1998
13 years 10 months ago
1998
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...