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…

Nowadays information circulates quickly in a human organization, what generates an internal difficulty in preserving inside the organization essential information to support decision-making. Decision Support Systems (DSS) aiding organizational decision-making, had, up to now, rigid inferences machines restricted to the…

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…