In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of…

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…

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…

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…

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…

La Creación del Centro Brasil fue consecuencia de la preocupaciín de los miembros del Departamento de América Latina y el caribe del IRI, por contar con un área especializada en el estudio de los principales aspectos sociales, políticos, legales y…