Detecting and characterizing extrasolar planets has become a very relevant field in Astrophysics. There are several methods to achieve this, but by far the most difficult and potentially most rewarding approach is direct imaging of the planets. Coronagraphs can be…

En este trabajo se propone una metodología para mejorar las predicciones de incendios forestales. Utilizando un simulador ya desarrollado, se utiliza un algoritmo genético para realizar una búsqueda efectiva de parámetros de entrada tal que estos parámetros logren una buena…

El ascenso de la teoría de la relatividad implicó no sólo un profundo cambio en las estructuras conceptuales de las fisicomatemáticas, sino también rompió con una serie de reflexiones y discusiones acerca de la situación de nuestro esquema conceptual y…

Les produits du terroir occupent une place privilégiée dans le goût des consommateurs qui, aujourd’hui, s’intéressent davantage à connaître la provenance et les qualités des produits qu’ils consomment. Le Mexique a une grande variété de produits du terroir, appris et…

An application of Zadeh’s prototype theory in the Knowledge Acquisition process, is presented here, and as a practical example, to define a method for predicting the evolution of the forest fire occurrence-danger rate in INCEND-IA: A KBS for prediction and…

En esta comunicación presentaremos el trabajo que estamos realizando, centrado en la creación de entornos que permitan la construcción conjunta del conocimiento mediante herramientas informáticas, en concreto la herramienta Knowledge Forum como elemento mediador en el proceso de discusión y…

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the University of Buenos…

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…

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…