The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but…

Many classification systems rely on clustering techniques in which a collection of training examples is provided as an
input, and a number of clusters c<SUB>1</SUB>,...c<SUB>m</SUB> modelling some concept C results as an output, such that every cluster c<SUB>i</SUB> is labelled…

Evolutionary algorithms (EAs) are merely blind search algorithms, which only make use of the relative fitness of solutions, but completely ignore the nature of the problem. Their performance can be improved by using new multirecombinative approaches, which provide a good…

Images compression is a widely studied topic. Conventional situations offer variable compression ratios depending on the image in question and, in general, do not yield good results for images that are rich in tones. This work is an application of…

Options have been shown to be a key step in extending
reinforcement learning beyond low-level reactionary systems
to higher-level, planning systems. Most of the options
research involves hand-crafted options; there has been only very limited work in the automated discovery…

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel…

In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology…

Within the context of multi-agent systems, an agent may often find itself in a position where it receives information through informants. These informants are independent agents who have their own interests and, therefore are not necessarily completely reliable. It is…

Agents repesent a new paradigm for developing software applications. In spite of the interest of this particular way of looking at problems, there is considerable discrepancy on exactly what is an agent and which are the attributes and properties that…

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…