In this paper, we present an approach to student's evaluation in a well-defined domain based on a semantic network. A similarity matrix based on the semantic memory structure of humans is used to build a semantic distance model in order…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

El proceso de Educción de Requisitos para Proyectos de Explotación de Información, contempla la realización de un conjunto de plantillas que se utilizan para documentar los conceptos educidos durante las primeras fases del proyecto. Por otro lado, la Ingeniería del…

Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views.

En el siguiente trabajo se expone una propuesta metodológica para la enseñanza de sistemas cinemáticos y su modelización a través de herramientas informáticas. Para ello se incorpora a la resolución teórica de problemas, su implementación a través de un software…

MoKEx (Mobile Knowledge Experience) is an international project in cooperation with universities and industrial partners. The project focuses on didactical, organizational and technical problems with regard to blended learning and knowledge management scenarios. In a project-based learning approach students of…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

The design of intelligent agents is greatly influenced by the many different models that exist to represent knowledge. It is essential that such agents have computationally adequate mechanisms to manage its knowledge, which more often than not is incomplete and/or…

Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them started shifting their semantics towards a dialectical characterization.…