In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL…

The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…

Building on the strength of the first edition, Quantitative Methods for Business and Economics provides a simple introduction to the mathematical and statistical techniques needed in business. This book is accessible and easy to use, with the emphasis clearly on…

The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency.
Modeling…

Este trabalho mostra uma forma de pensar concorrente. São utilizados algoritmos de grafos, algoritmo do menor caminho, para mostrar desde a especificação até a implementação de algoritmos concorrentes. Objetiva-se mostrar uma outra forma de ensinar a concorrência, sua teoria, propriedades…

In the last years there has been an increasing demand of a variety of logical systems, prompted
mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive
Systems (LDS) were developed as a °exible methodology…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

En este trabajo se formula una propuesta de arquitectura de integración entre sistemas de descubrimiento de conocimiento (adquisición automática) y sistemas basados en conocimiento (sistemas expertos). Se formulan consideraciones sobre la viabilidad de implementación de dicha arquitectura en función de…

Le brossage des dents, la mastication des aliments et toutes autres activités orales quotidiennes peuvent provoquer une bactériémie transitoire. Cette bactériémie transitoire a le potentiel de causer une endocardite infectieuse en présence de certains facteurs de risque. Les cardiopathies congénitales…

The paper presents a tool that aid to implement applications that using more than one programming language. These applications are named multilanguages and when the composed languages represent different paradigms also are entitled multiparadigms. The programming multilanguage and multiparadigm technique…