Cultural differences play a very important role in matching computer interfaces to the expectations of users from different national and cultural backgrounds. But to date, there has been little systematic research as to the extent of such differences, and how…

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…

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…

There are many areas in Computer Science where time plays an important role. Artificial Intelligence is one of them. In this particular area Defeasible Logic Programming (DeLP) was developed to cope with incomplete and potentially inconsistent information. This formalism combines…

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…

En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics:
A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…

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…

Knowledge acquisition for systems based on knowledge can be called knowledge engineering, according to Feigenbaum (1980) who used the term to describe the reduction of a wide context of knowledge for a set of facts and rules. The term Knowledge…