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…

This paper aims to clarify an economic mechanism behind the growing dichotomy between geo-economics and the borderless global knowledge economy. The proposed hypothesis is that geo-economic fault-lines, which are the product of the past prejudices of racial, linguistic, and cultural…

As a contribution to consider software projects to be risk investments, it is important the full standardization of either the planning methodology (as a subset of project management methodology) and the effort estimation method. We think there is important and…

Background: Fieldwork has thoroughly established that most eggs are intensely predated. Among the few exceptions are the aerial egg clutches from the aquatic snail Pomacea canaliculata which have virtually no predators. Its defenses are advertised by the pigmented ovorubin perivitellin…

The Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

It is interesting and important to compare, analyze and assess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to formally establish the relation…

The general objective of this thesis is the development of an adaptive technique for extracting knowledge in large databases. Nowadays, technology allows storing huge volumes of information. For this reason, the availability of techniques that allow, as a first stage,…

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. Defeat between arguments is established by a combination of two basic elements: a conflict or defeat relation, and…

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…