Type-theoretical natural language semantics: on the system F for meaning assembly

The good results of this study are due to (a) a limited-size ensemble of LSTM networks using effective plurality voting; (b) an adapted label-coding scheme stressing on word

To distinguish word- form-based and semantics-based accounts of priming we conducted an experiment in which temporal words (e.g., earlier, later) were preceded by

We propose a word recognition system for pen-based devices based on four main modules: a preprocessor that normalizes a word, or word group, by tting a geometrical model to the

Let us say here a remark on the predicate constants in the language. If a predicate constant, say Q is given with type u → t with u 6= e which sometimes is more natural there is

In that case, the agent having the shared variable as part of its local state may be modeled as passive or active, while the other agent must be active (if the other agent is

You may need to use these words in a different form: plural, present continuous, past

Conceptual scientific systems can be thought to form a next stage in the development of the higher mental functions; the meaning produced at each stage refers to some

This gives additional support to the hypothesis just put forward, that it is not merely the gamblers’ word that was borrowed from the Proven¸cal language: for example, the game of