This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and considering features of recent…

Descripción completa.

Descripción completa.

Descripción completa.

Video compression is one of the topics included in the area of images digital processing. The book gives an introduction to algorithms and architectures used in standard video and audio compression

The Student’s Guide to VHDL teaches the fundamental modeling features of VHDL, showing how the features are used for the design of digital systems. It is organized so that it can be read linearly from front to back, as a…

Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of intelligent mobile agents is presented. It integrates both…

In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the…

In a general context we introduce image processing with 1-dimensional wavelets and show the diferences with nonseparable 2-dimensional wavelets having quincunx decimation, in the first place, and with balanced nonseparable 2-dimensional multiwavelets, in the second place. All of them are…