The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper.
We explore the…

The theory change area have defined several operators trying to model the dynamic of knowledge. The goal of this work is to introduce a preprocessor of perceptions that could be part of an agent. The purpose of the preprocessor is…

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. In formal systems of defeasible argumentation, arguments for and against a proposition are produced and evaluated to test…

Descripción completa.

El ascenso de la teoría de la relatividad implicó no sólo un profundo cambio en las estructuras conceptuales de las fisicomatemáticas, sino también rompió con una serie de reflexiones y discusiones acerca de la situación de nuestro esquema conceptual y…

This paper introduces the system simulation technique and looks for potential application in the biodiesel agribusiness. The simulation basics are presented. It's described the components of a simulation model, the models classification and the model construction process. Some uses in…

2007

Obtaining an implementation of a data warehouse is a complex task that forces designers to acquire wide knowledge of the domain, thus requiring a high level of expertise and becoming it a prone-to-fail task. Based on our experience, we have…

ABSTRACT: This paper presents an experience involving the use of a Bulletin Board System (BBS) for the Project Brazilian Rocks as Alternative Sources of Potassium. It's described the BBS specification, its implementation and the difficulties observed along this processes. The…

2014