In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction 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…

Hoy en día, se puede afirmar, que las organizaciones que son innovadoras son aquellas que construyen y gestionan efectivamente sus recursos intangibles. Así, aparece la necesidad ineludible de proporcionar a las organizaciones los conocimientos que necesitan, donde los necesiten, cómo…

Our research project intends to build knowledge about HPC problems to be able to help local researchers. In order to advise users in choosing parallel machines to run their applications, we want to establish a general methodology, requiring as shallow…

Over the last several years, multidimensional data modeling has had several proposals for its formalisation; on the other hand, the incorporation of fuzzy logic in databases has increased the need to represent uncertainty.
However, to our knowledge, so far projects…

The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…

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…

Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

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…

It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…