In this article we present a generalized dynamic argumentation framework that handles arguments expressed in an abstract language assumed to be some first order logic fragment. Once the formalism is presented, we propose a reification to the description logic ALC…

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…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

La llegada de las Tics a la escuela, han provocado un cambio en los procesos de enseñanza y aprendizaje, como así también un cambio en el alumno que ahora es el principal protagonista de su conocimiento, y con lo cual,…

Instruction may be seen as the intentional creation of conditions around learning so as to facilitate the achievement of determined goals. Normally, instruction is based upon certain educational strategies. It is well accepted in the field of educational technology that…

O processo de Descoberta de Conhecimento em Bancos de Dados Geográficos (DCBDG) busca encontrar padrões, informações e relacionamento espacial implícitos em dados descritivos e espaciais armazenados em bancos de dados geográficos. Este tipo de descoberta é muito importante para o…

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…

In this work, we discuss aspects of a framework to support the understanding and the improvement in hypermedia development processes. The framework is built taking into account two modeling approaches and four domain levels. The modeling approaches are called prescriptive…

This paper presents a new approach to reduce the space problem due to combinatorial explosion of CNM (Combinatorial Neural Model) method. First we show a description of CNM, proposed by Machado and Rocha [MAC 91], [MAC 92], [MAC 92a], [MAC…

Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…