Tradicionalmente, los estudios biogeoquímicos consideraban el suelo como una "caja negra", conectada con el resto del ecosistema mediante flujos de entrada y de salida de nutrientes, en la que éstos experimentan transformaciones mediadas en gran parte por microorganismos desconocidos. El…

La construcción de carreteras y otras obras públicas produce impactos ambientales severos que afectan a las propiedades de los ecosistemas. Los taludes generados en estas obras presentan escasas coberturas vegetales y el establecimiento de la vegetación, tanto de forma natural…

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…

This thesis studies al-Ghazali's theory of knowledge, particularly his concept of knowledge of God in his three later works: "The book of Knowledge" of the Ih&dotbelow;ya', al-Munqidh, and Iljam al-`Awamm. From his conception of knowledge of God the first book…

A number of passages in the Satyricon reveal knowledge of Christianity, which Petronius can have acquired during his official duties in the eastern provinces.

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…

The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…

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.…