Descripción completa.

Reverse engineering is the process of discovering the technological principles of a device, object or system through analysis of its structure, function, and operation. From a device used in clinical practice, as the corneal topographer, reverse engineering will be used…

The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

Searching for information in databases or on the world wide web to enhance our knowledge has become an everyday task. The internet is a major source of information for education. When we want to make new material available in digital…

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues
dans le code. Lorsque…

À ce jour, la scoliose idiopathique de l’adolescent (SIA) est la déformation rachidienne la plus commune parmi les enfants. Il est bien connu dans le domaine de recherche sur la SIA que les forces mécaniques, en particulier les forces biomécaniques…

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic…