James Reinders (Chief Evangelist of Intel® Software at Intel) and Jim Jeffers (Principal Engineer at Intel)
have gathered in this book the working knowledge of the people involved to prototype and productize the Intel® Xeon Phi coprocessor. This include…

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…

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…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

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…

En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics:
A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…

La llegada de las Tics a la escuela, han provocado un cambio en los procesos de enseñanza y aprendizaje, como así también un cambio en el alumno que ahora es el principal protagonista de su conocimiento, y con lo cual,…

O processo de Descoberta de Conhecimento em Bancos de Dados Geográficos (DCBDG) busca encontrar padrões, informações e relacionamento espacial implícitos em dados descritivos e espaciais armazenados em bancos de dados geográficos. Este tipo de descoberta é muito importante para o…