1128 search results - page 104 / 226 » Classical Natural Deduction |
120
Voted
EAAI
2008
15 years 23 days 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...
130
Voted
CORR
2006
Springer
15 years 22 days 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...
126
Voted
ALIFE
2004
15 years 17 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...
108
click to vote
PR
2000
15 years 14 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...
150
Voted
TMI
1998
15 years 10 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...