Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that c...

We further argue that while discourse containing specific indefinites may make reference to speaker’s referents, the indefinite forms themselves are never directly referential, rather they are attributive. Moreover, the speaker’s referent never figures directly in any of the communicated propositions (unlike with definites). Thus these specific indefinites are ‘attributive’ in any sense of that...

Introduction / objectives Proper surveillance of infectious diseases poses special challenges to information technology when it comes to data collection, including wide-area, multi-source and trans-border collection and aggregation of infectious disease and drug resistance information. In this project, we present a novel approach to efficiently monitor bacterial resistance data over multiple in...

A logical formalism associating properties to space parcels in so-called attribute formulas, is proposed. Properties are related through the axioms of a taxonomy graph, and parcels through a partonomy graph. Attributive formulas establish relations between parcels and properties, and we use them to align different taxonomies, over a compatible partonomy, using Formal Concept Analysis. We discus...

Placement of multiple dies on an MCM substrate is a difficult combinatorial task in which multiple criteria need to be considered simultaneously to obtain a true multi-objective optimization. Our design methodologies consider multi-objective component placement based on thermal reliability, routing length and chip area criteria for multi-chip module. The purpose of the multi-objective optimizat...

On donne une estimation asymptotique de l’aire l’ensemble des points autour desquels le mouvement brownian s’enlace un grand nombre fois, et on étudie l’enlacement moyen entre plan processus Poisson grande intensité dans plan. Cela nous permet donner nouvelle définition Lévy, qui ne repose pas sur approximations linéaires par morceaux du chemin brownien.