El desarrollo alcanzado en los últimos años por las Tecnologías de Información y Comunicaciones (TICs) ha creado condiciones materiales y técnicas necesarias para una nueva revolución en el campo educativo. Asociado a estos cambios, el aprendizaje electrónico a través de…

This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…

This essay is based on a previous “regression” testing knowledge, black box testing and user graphic interfaces testing. Besides, due to the fact that the testing life cycle is inside the software life cycle, the suggested focus promotes existing test…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

The Semantic Web purports to give computeraccessible meaning to the content of the World Wide Web. The rationale behind this project is to create an environment where all this information could be freely exchanged among diverse entities, yet retaining its…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks (AF).
Recent research in the area…

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…

Un Sistema Tutor Iteligente (STI) es una aplicación cuyo objetivo se centra en la enseñanza personalizada y su principal característica es la adaptación dinámica de la instrucción de acuerdo al perfil y actividad del alumno, para lo cual incorpora técnicas…

Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…