Most of the search engines available over the Web are based on mathematical approaches | classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…

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…

Decision making models for autonomous agents are recently receiving increased attention, particularly in the feld of intelligent robots. This work presents a Defeasible Logic Programming approach to decision making in an environment with single and multiple robots. We will show,…

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,…

Most unsupervised indigenous knowledge (IK) are known to be very useful in combating critical health issues as well as being dangerous if the administration is abused. Despite the fact that these locally prepared herbal medicine are not encouraged to be…

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…

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…