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

Information Retrieval Systems normally deal with keywordbased technologies. Although those systems reach satisfactory results, they aren’t able to answer more complex queries done by users, especially those directly in natural language. To do that, there are the KnowledgeBased Systems, which…

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…

Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model
some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse
areas.
In previous work, we defined how…

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…

In this work, we discuss aspects of a framework to support the understanding and the improvement in hypermedia development processes. The framework is built taking into account two modeling approaches and four domain levels. The modeling approaches are called prescriptive…

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

Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…

Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsistent, the knowledge engineer often has…