While entertainment web forums provide a dynamic medium for interaction, not many researchers feel the need to go deeply into the contents.
One of the reasons behind this attitude lies on a widely perceived assumption that web forums do not…

Teachers must be able to adapt to a rapidly changing IT knowledge and technology. This requirement is further compounded by the need that this knowledge and technology be incorporated in the curriculum at the same rate.
This paper presents a…

Frequently we become amazed with the increasing number of problems to be solved that fiourish while facing daily activities. Often, related to these problems we llave also an incredible amount oí data. Since we cannot allways afford time and resources…

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…

Desde el Laboratorio Pericial Informático del Poder Judicial del Neuquén se impulsan actividades de I+D orientadas a la gestión del conocimiento aplicada al peritaje informático.
Se pretende generar un cuerpo de conocimientos que sea útil para la formación de profesionales…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

A medida que las organizaciones crecen, existe una creciente necesidad de convertir el conocimiento personal en conocimiento organizacional. Por lo tanto, es posible vincular al Aprendizaje Organizacional y la Gestión del Conocimiento, considerando a ésta última como un proceso de…

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…

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

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…