Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories…

Lawyers often need to look for previous similar legal cases when analysing new ones.
The more previous cases, the more time is spent. Classical search engines execute termbased retrieval, which may miss relevant documents as well as fetch several irrelevant…

Nowadays, data intensive applications are in constant demand and there is need of computing environments with better intelligent capabilities than those present in today's Database Management Systems (DBMS). To build such systems we need formalisms that can perform complicate inferences,…

This work describes the ontology construction process for the development of an Intelligent System for the Organization and Retrieval of Knowledge in Biodiversity – SISBIO. The system aims at the production of strategic information for the biofuel chain Two main…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

Classical knowledge production is an author-centered process. The emergence of cooperative internet technologies such as wikis or blogs shows a shift towards stronger cooperative production and communication of knowledge, closing the gap between readers and authors. The incorporation of such…

We faced with a society identified as a knowledge society, characterized by the rapid development of scientific and technological knowledge, the trends to new ways of working, studying, creating and sharing knowledge, is seen in organizations, and particularly in the…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

Adaptive systems behavior based on user models appear promising, mostly for complex environments such as mixed reality environments (MRE).
An MRE comprises a virtual representation of the reality as well as physical objects augmented with virtual features. These objects are…

In systems where agents are required to interact with a partially known and dynamic world, sensors can be used to obtain further knowledge about the environment. However, sensors may be unreliable, that is, they may deliver wrong information (due, e.g.,…