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 article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

La crítica posmoderna intenta mostrar cómo se ocultan los procesos interactivo-interpretativos del trabajo de campo mediante la textualización y, por ende, cómo deben ser recuperados por una escritura dialógica. Desde una perspectiva crítica de la dialógica textualista, deseo preguntarme por…

A medida que o processo de desenvolvimento de software toma-se mais complexo, passa a ser imprescindível que os Ambientes de Desenvolvimento de Software (ADSs) ofereçam suporte inteligente para a execução das atividades do processo. Entretanto, a maioria dos ADSs com…

A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. As it is well known, the use of prior knowledge can dramatically improve the performance and quality…

El trabajo discute el papel del lenguaje en la tradición de la filosofía trascendental.
En la primera parte, se muestra ante todo el carácter a-lingüístico de las categorías del pensamiento en la filosofía kantiana; se señalan luego las dificultades teóricas…

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. Defeat between arguments is established by a combination of two basic elements: a conflict or defeat relation, and…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

Distance learning courses need intensive planning that, in turn, requires the integration of knowledge and expertise in different areas and levels such as curriculum, ICTs and course management. This paper presents an integrated approach for distance learning course planning that…