The objective of this paper is the construction of an Essential Object Model for Information Systems. This model is derived from the organization workflows representing the business processes and follows rules described by the methodology proposed. To achieve the desired…

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…

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…

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 Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

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…

En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de…

Teachers must be able to adapt to a rapidly changing IT knowledge and technology. This requirement is further compounded by the need that this knowledge and technology be incorporated in the curriculum at the same rate.
This paper presents a…

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…

Ensuring flexible and efficient manufacturing of customized products in an increasing dynamic and turbulent environment without sacrificing cost effectiveness, product quality and on-time delivery has become a key issue for most industrial enterprises. A promising approach to cope with this…