Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model
some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse
areas.
In previous work, we defined how…

La Gestión del Conocimiento abarca un conjunto de procesos que administra el conocimiento de las organizaciones. Logra aumentar la creatividad y garantizar el éxito organizacional, ya que se fundamenta en el recurso más valioso con que actualmente cuentan las instituciones:…

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…

The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic…

Most of the current wireless sensor networks are built for specific applications, with a tight coupling between them and the underlying communication protocols. We present a more flexible architectural approach for building WSNs, in which application-specific features are decoupled from…

Current interactive multimedia learning software can not be accessed by learners with disabilities. This is the case for students with vision disabilities. Modeling techniques are necessary to map real world experiences to virtual worlds by using 3D auditory representations of…

Information systems play an ever-increasing key role in our society. In particular, data intensive applications are in constant demand and there is need of computing environments with much more intelligent capabilities than those present in today’s Data-base Management Systems (DBMS).…

Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A…

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…

The aim of this paper is to present an historical compendium of ISTEC’s activities in the region, highlighting its core ideas and principles, and how these have been successfully applied for the benefit of many higher education institutions. These aim…