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…

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…

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…

In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. As it is well known, the use of prior knowledge can dramatically improve the performance and quality…

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…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

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…

Instruction may be seen as the intentional creation of conditions around learning so as to facilitate the achievement of determined goals. Normally, instruction is based upon certain educational strategies. It is well accepted in the field of educational technology that…

DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…