1636 search results - page 155 / 328 » Type-Theoretic Functional Semantics |
140
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
139
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
121
click to vote
CNL
2009
15 years 5 months ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
133
Voted
AML
2002
15 years 3 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
132
click to vote
INFORMATICALT
2000
15 years 3 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...