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…

There are many areas in Computer Science where time plays an important role. Artificial Intelligence is one of them. In this particular area Defeasible Logic Programming (DeLP) was developed to cope with incomplete and potentially inconsistent information. This formalism combines…

En esta comunicación presentaremos el trabajo que estamos realizando, centrado en la creación de entornos que permitan la construcción conjunta del conocimiento mediante herramientas informáticas, en concreto la herramienta Knowledge Forum como elemento mediador en el proceso de discusión y…

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…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

El presente artículo trata la aplicación de un sistema experto capaz de determinar la factibilidad de funcionamiento de una máquina térmica desde el punto de vista termodinámico, mediante el análisis del diseño de un ciclo de potencia, el ciclo Joule…

In a production system it is usual to stress minimum tardiness to achieve higher client satisfaction.
According to the client relevance, job processing costs and requirements, and various other considerations, a weight is assigned to each job. An important, non-trivial,…

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…

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…