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…

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

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…

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…

This paper deals with lifelong learning. Based on a three-year case study it provides evidence of innovations in this area. The paper aims to add to the body of work in blended learning by providing evidence of knowledge, persuasion, decision,…

This paper presents a group of elements to improve the teaching and learning in technological education, applied to Information and Communication Technologies (ICT). These elements are based on some contributions issued from contemporary education models, namely, the thematic approach, meaningful…

The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

The use of new technologies does not mean that the applied education model is modern. New technologies can be used in a way that follows the traditional education model, with all its deficiencies. The collaborative education model involves students in…

Much effort has been dedicated to provide a general model of agents working in complex environments. This research focuses on the high level cognition used in determining the behavior of the agent.
The language of the Situation Calculus represents a…