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…

La noción de formularios como una manera de organizar y presentar datos ha sido usada desde el comienzo de la World Wide Web. Los formularios web han evolucionado junto con el desarrollo de nuevos lenguajes de marcado, en los cuales…

Classical knowledge production is an author-centered process. The emergence of cooperative internet technologies such as wikis or blogs shows a shift towards stronger cooperative production and communication of knowledge, closing the gap between readers and authors. The incorporation of such…

Defeasible Logic Programming (DeLP) is an extension of Logic Programming capturing common-sense reasoning features. The DeLP language can manage defeasible reasoning, allowing the representation of defeasible and non- defeasible knowledge. Since DeLP syntax is based on a PROLOG-like notation, the…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the University of Buenos…

In the restricted single-machine common due date problem the goal is to find a schedule for the n jobs which jointly minimizes the sum of earliness and tardiness penalties, while for the weighted tardiness problem the goal is to find…

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 main advantage of a recurrent architecture is the ability to store information from prior system states. A recurrent fuzzy controller includes hidden fuzzy variables which makes the controller more appropriate to deal with dynamic systems. We are currently investigating…

The accomplishment of systems with abilities to reason about actions and change and systems that can manage incomplete or not very reliable information with abilities to discuss or argument has been of great importance for artificial intelligence community. These two…