There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

We have developed a distributed DSS able to work in a dynamic way. This system is based on the use of mobile agents, which receive the user's queries and visit the DSS domains gathering the required information. One of the…

The studies on the formation of psychology's professors were locating us in the construction process of the professional knowledge in professors but in psychologists that exercise the teaching too, visualizing the paper that built knowledge assumed between both environments (academic…

This paper deals with lifelong learning. Based on a three-year case study it provides evidence of innovations in this area. The paper aims to add to the body of work in blended learning by providing evidence of knowledge, persuasion, decision,…

This paper presents a group of elements to improve the teaching and learning in technological education, applied to Information and Communication Technologies (ICT). These elements are based on some contributions issued from contemporary education models, namely, the thematic approach, meaningful…

Much effort has been dedicated to provide a general model of agents working in complex environments. This research focuses on the high level cognition used in determining the behavior of the agent.
The language of the Situation Calculus represents a…

Robotic soccer is a way of putting different developments in intelligent agents into practice, including not only problems such as multi-agent planning and coordination, but also physical problems related to vision and communication subsystems. In this work, we present the…

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…

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…