We faced with a society identified as a knowledge society, characterized by the rapid development of scientific and technological knowledge, the trends to new ways of working, studying, creating and sharing knowledge, is seen in organizations, and particularly in the…

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…

This paper provides lessons learned and some unexpected transformations in the learning process when advanced collaboration technology was used to overcome limitations of a popular, existing collaboration technology. The activities pursued in these advanced undergraduate and graduate computer and information…

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 matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

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…

Nowadays information circulates quickly in a human organization, what generates an internal difficulty in preserving inside the organization essential information to support decision-making. Decision Support Systems (DSS) aiding organizational decision-making, had, up to now, rigid inferences machines restricted to the…

The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…

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…