Defeasible Logic Programming (DeLP) is a knowledge representation formalism that combines results from Logic Programming and Defeasible Argumentation to provide reasoning based on contradictory and potentially incomplete information. DeLP allows information representation by using weak rules and provides an argumentation…

La biodiversidad es un atractivo para millones de turistas que viajan alrededor del mundo. Sin embargo la presión ejercida sobre la misma puede provocar la desaparición de especies o la interferencia en los procesos ecológicos que la sostienen.
En la…

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…

The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy.
Ever since, contexts have found many applications in developing knowledge-based reasoning systems.
Defeasible argumentation has gained wide acceptance…

The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

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…

Este trabalho apresenta uma ferramenta de autoria para ambientes educacionais altamente interativos baseados na crença de que o aprendiz constrói seu conhecimento quando se torna um agente ativo do seu processo de aprendizado. Estes ambientes possuem como paradigma os “adventure…

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 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…