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…

This paper discusses questions about communication of probabilistic knowledge in the light of current theories of agent communication. It will argue that there is a semantic gap between these theories and research areas related to probabilistic knowledge representation and communication,…

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 Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…

In the software world portability means power. The more operating environments you can support out of the same code tree means more potential users for your software. If done right, additional platforms can be supported with little extra maintenance cost.…

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…

The cognitive diagnosis is defined as the abstract process of gathering information about the student's learning and transforming that information based on instructional decisions. A model that captures the expert knowledge of experienced professors and is used to design a…

The Requirements Engineering is fundamental part of the process of software development. Even if a program uses the most advanced technologies and has the best source code, it is not useful if it does not meet your requirements. The large…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…