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…

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…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper.
We explore the…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…

We have developed a distributed DSS able to work in a dynamic way. This system is based on the use of mobile agents, which receive the user's queries and visit the DSS domains gathering the required information. One of the…

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…