1128 search results - page 104 / 226 » Classical Natural Deduction |
124
Voted
EAAI
2008
15 years 1 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...
131
Voted
CORR
2006
Springer
15 years 1 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...
128
Voted
ALIFE
2004
15 years 28 days 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...
110
Voted
PR
2000
15 years 25 days 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...
154
Voted
TMI
1998
15 years 21 days 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...