The shift towards global networking brings with it many opportunities and challenges. In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including both traditional and web data sources. In particular, we focus on…

Understanding the biological signals encoded in a genome is a key challenge of computational biology. These signals are encoded in the four-nucleotide alphabet of DNA and are responsible for all molecular processes in the cell. In particular, the genome contains…

The dissertation examines aesthetic, scientific and occult evocations of fluids such as air at the turn of the 20th century. Eighteenth century experimental philosophy postulated so-called "imponderable fluids" understood as instances of a subtle matter that fills empty space. The…

The reform of Spanish University System occurs for allow that the universities to board the needs derived from the new kinds of knowledge generation and transmission. The university’s objective is the formation of professionals capable of taking, analysing and elaborating…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

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…

Early years professionals wrote about changes in their settings as part of their MA studies, and reflected on the use of theories of leadership in implementing these changes. This article describes a documentary analysis of the scripts produced. Initially basing…

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 development of isolated agents involves the manipulation of components such as actions, mental attitudes and decisions. Multi-agent systems have to deal with these components from different agents, without to forget the privacy and autonomy of each agent. For programming…