In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

In systems where agents are required to interact with a partially known and dynamic world, sensors can be used to obtain further knowledge about the environment. However, sensors may be unreliable, that is, they may deliver wrong information (due, e.g.,…

La bactérie Salmonella enterica sérovar Typhi (S. Typhi) provoque la fièvre typhoïde chez les humains et constitue un problème de santé publique important. La majorité de nos connaissances sur la pathogenèse de cette bactérie provient du modèle de fièvre entérique…

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…

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…

O III Encontro Catarinense de Arquivos e o primeiro Painel de Arquivos Sul-Brasileiros, realizados em Florianópolis, de 15 a 16 desetembro de 1988

Apresentação de 64 slides das rotinas de preservação, restauraçao e encadernação desenvolvidas pelo Laboratório de Patologiados Documentos (apresentado por Talita de Almeida Telemberg soares)

O Arquivo Nacional, instituição com 152 anos de existencia, (orgào integrante da estrutura básica do Ministério da Justiça e que a partir de 1978 passou a ser o orgao central do Sistema Nacional de Arutilvos, tem por finalidade "recolher e…

Desejo inicialmente cumprimentar os organizadores deste IV Encontro de Arquivos Catarinenses e dizer que minhas palavras precisam necessariamente ser otimistas e positivas em relação à realidadeque estamos vivendo nesta área dos arquivos e da história

O Centro de Lógica, Epistemologia e História da Ciência(CLE) da Universidade Estadual de Campinas (UNICAMP), foi criado em 1977, idealizado e implantado pelo Profg Oswaldo Porchat Pereira. Alem de lógicos e filosóficos, tem integrado o CLE, desde o início,cientistas sociais,…