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…

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 artículo se presenta el trabajo que se está realizando para la llamada
ontologización superficial de WordNet, una estructura orientada a superar muchos de los
problemas estructurales de la popular base de conocimiento léxico. El resultado esperado es un

En este trabajo se investigan nuevas distancias entre fonemas y entre palabras que se
han usado para predecir si dos palabras del vocabulario de un sistema de reconocimiento del
habla se van a confundir o no. La distancia entre palabras…

The Sami people have struggled for centuries to maintain their culture in spite of pressures against it from colonialism. The formal education systems of Norway and Finland have acted in discord with Sami decision-making since their inception. In response to…

La necesidad de curar una enfermedad es
consustancial a la evolución de la especie
humana. En el proceso de desarrollo como
civilización, los mecanismos empleados para conseguir
este fin han ido parejos con el aumento de
conocimientos en diferentes ramas…

Research in decision making has identified the importance of prior knowledge and heuristics on decision making behaviour. These develop with experience in a fashion similar to how domain experts develop specialized knowledge structures and heuristic reasoning patterns. This research is…

All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…

This paper presents an algorithm for identifying noun phrase antecedents of third person personal
pronouns, demonstrative pronouns, reflexive pronouns, and omitted pronouns (zero pronouns)
in unrestricted Spanish texts. We define a list of constraints and preferences for different types
of…