Christiano Pereira Pessanha

• Federal University of Minas Gerais

In the scope of corporations, information and knowledge management are essential practices that, in general, are carried out through information systems for control and decision making. In this chapter, we discuss the preliminary foundations of an ontological-based architecture for organizing information and knowledge within corporations. Our resea...

This research has been undertaken taking into consideration the vital problem of expansion and improvement of electricity generation. The companies involved in the electricity sector must decide where, how and when to invest in the various power generation options. This research is based on the informational question to support this process. Parall...

This paper presents results concerning the relations between a propositional modal logic (NK-logic) and the algebra of dioids. The technique of analytic tableau, a well known proof technique in logic systems, is used in combination with the NK-logic to verify specifications written in dioid algebra. The concept of terminality, herein introduced, al...

Resumo -No contexto de sistemas de registro eletrônico em saúde, a norma ISO 13606 desponta como um padrão de modelagem de informações clínicas. Este artigo faz uma reflexão sobre a modelagem proposta pela Norma, contrastando-a com ontologias. Fundamentando a reflexão, o conceito de ontologia é apresentado como conseqüência dos esforços para se mod...