In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL…

Over the past several decades, abundant research has investigated the onset of gender role development in early childhood, suggesting that children as young as 3 possess substantial awareness of gender stereotypes and, by age 5, strong beliefs about the need…

Descripción completa.

Policies to avert the threat of dangerous climate change focus on stabilizing atmospheric carbon dioxide concentrations by drastically reducing anthropogenic emissions of carbon. Such reductions require limiting the use of fossil fuels-which supply the bulk of energy to economic activity,…

We strain our eyes, cramp our necks, and destroy our hands trying to interact with computer on their terms. At the extreme, we strap on devices and weigh ourselves down with cables trying to re-create a sense of place inside…

The thesis comprises three essays on various aspects of the development and diffusion of pharmaceutical innovations, woven together by the idea that the production of clinical knowl- edge influences organizational design, pricing, and advertising decisions in the pharmaceutical industry -…

Integration of daylight availability in time and architectural space is a critical element in achieving optimal comfort and productivity, as well as in minimizing energy consumption. In recent years, there has been an increase in the demand of the better…

A multiobjective, multidisciplinary design optimization methodology for mathematically modeling the distributed satellite system (DSS) conceptual design problem as an optimization problem has been developed to advance the state-of-the-art in complex distributed satellite network design. An increasing number of space missions…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…