Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too similar, it is difficult to grasp the difference and thus it is difficult to judge which of the two senses is intended in a particular contexts, especially when such a decision is to be made automatically as in the task of a...

In this paper we rigorously formulate the Schema Theorem for Genetic Programming (GP). This involves defining a schema, schema order, and defining length and accounting for the variable length and the non-homologous nature of GP's representation. The GP Schema Theorem and the related notion of a GP Building Block are used to constlUct a testable hypothetical account of how GP' searches by hiera...

We derive a complete set of invariants for a formal Bishop surface near a point of complex tangent with a vanishing Bishop invariant under the action of formal transformations. We prove that the modular space of Bishop surfaces with a vanishing Bishop invariant and with a fixed Moser invariant s < ∞ is of infinite dimension. We also prove that the equivalence class of the germ of a generic real...

The concept of defining set has been studied in block designs and, under the name critical sets, in Latin squares and Room squares. Here we study defining sets for directed designs. A t-(v, k,'x) directed design (DD) is a pair (V, B), where V is a v-set and B is a collection of ordered blocks (or k-tuples of V), for which each t-tuple of V appears in precisely ,X blocks. A set of blocks which i...

A defining set of a t-(v, k, λ) design is a partial design which is contained in a unique t-design with the given parameters. A minimal defining set is a defining set, none of whose proper partial designs is a defining set. This paper proposes a new and more efficient algorithm that finds all non-isomorphic minimal defining sets of a given t-design. The complete list of minimal defining sets of...

In this paper we report on the progress in the creation of an Ontology-based lexicon for Bulgarian. We have started with the concept set from an upper ontology (DOLCE). Then it was extended with concepts selected from the OntoWordNet, which correspond to Core WordNet and EuroWordNet Basic concepts. The underlying idea behind the ontology-based lexicon is its organization via two semantic relati...

In this paper we summarize our results obtained recently on continuous triangular norms that are migrative with respect to an arbitrary continuous triangular norm. We start with the original notion of migrativity and completely describe all continuous migrative triangular norms. Since the migrative property excludes both idempotent and nilpotent t-norm classes, the characterization and construc...