The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

This paper demonstrates the importance of knowledge for effective
management of outsourcing. Drawing on an empirical study on automakers?
management of supplier involvement in product development in Japan, this paper shows
that the level of own knowledge is critical for…

With the rapid increase in low-cost and sophisticated digital technology the need for techniques to authenticate digital material will become more urgent. In this paper we address the problem of authenticating digital signals assuming no explicit prior knowledge of the…

Durante las pasadas dos décadas,
las personas que han realizado estudios
sobre enfermería han contribuido
con grandes cantidades de conocimientos
que han ayudado a mejorar
inmensamente la práctica clínica y los
resultados de salud. Una manera de
actualizar estos estudios…

As a contribution to consider software projects to be risk investments, it is important the full standardization of either the planning methodology (as a subset of project management methodology) and the effort estimation method. We think there is important and…

PET is a nuclear medical examination which constructs a three-dimensional image of metabolism inside the body; in this article is particular, images are taken from the brain. The high complexity inherent to the interpretation of the brain images makes that…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

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…

Descripción completa.

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…