Por vez primera en la historia de la Educación Superior en Cuba, una Universidad se apresta a introducir en el Plan y Programa de estudio de pregrado, contenidos de las tecnologías de Teledetección Aerospacial y Sistemas de Información Geográficos (SIG)…

Se propone una metodología para la construcción automatizada de KOS adaptable a
diferentes entornos a partir de un corpus documental y unas aplicaciones de tratamiento textual
que soporten todo el proceso de construcción y mantenimiento automatizado del KOS. Esta
metodología…

Yes or no is perhaps the most common answer we provide each day. Indeed, binary answers to well structured questions are the building blocks of our knowledge. I started my research career in drafting such answers in various circumstances within…

The present paper is about applying competence modeling for a knowledge engineer in the case of the company WBSA Sistemas Inteligentes S.A. The process was based on Lucia and Lepsinger model, by which competences are characterized through the identification of…

Les molécules classiques du CMH de classe II sont responsables de la présentation de peptides exogènes par les cellules présentatrices d’antigène aux lymphocytes T CD4+. Cette présentation antigénique est essentielle à l’établissement d’une réponse immunitaire adaptative. Cependant, la reconnaissance d’auto-antigènes…

En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics:
A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…

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…

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

This paper describes the implantation of a KA tool kit for use with sublanguage-specific corpora. The key idea of KA as an evolutionary process is discussed in detail. Special attention is paid to the system's attempt to avoid the pitfalls…

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…