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 a methodology for accesing scientific data repositories on data grids is proposed. This methodology is based on ontology specification and knowledge representation. The concept of Knowledge Perspective is introduced, as the action of applying particular scientific conjectures…

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…

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…

Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

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…

O projeto da rede corporativa de uma empresa requer que sejam bem conhecidas as características, necessidades e tendências de evolução do seu ambiente de informática, as tecnologias e tipos de equipamentos de rede disponíveis no mercado e como tais tecnologias…

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…

Rough Sets Theory has opened new trends for the development of the Incomplete Information Theory. Inside this one, the notion of reduct is a very significant one, but to obtain a reduct in a decision system is an expensive computing…