This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming (ODeLP) [1]. Eficiency is an important issues in ODeLP, since this framework has been de ned…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…

Se presentan ocho fechados 14C-AMS sobre colágeno de huesos craneanos sin alteración diagenética, provenientes de la cueva de Haichol, Neuquén, que serán discutidos con el propósito de adquirir conocimientos más precisos relativos a cronología, paleodieta, entorno paleoambiental del sitio y…

This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…

En este trabajo se analizan los símbolos y representaciones del proceso de gestación entre los tobas de la provincia de Formosa poniendo especial énfasis en sus transformaciones e interrelaciones con las instituciones y representaciones biomédicas. Se considera el simbolismo del…

It is interesting and important to compare, analyze and assess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to formally establish the relation…

Se examina en un caso concreto la afirmación general de la importancia de las redes de comunicación y la movilidad de las cosas para la ciencia. De qué forma esto jugó un papel relevante en las investigaciones sobre la embriología…

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…