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…

To assess role-playing as a methodology in the teaching-learning process for the Nursing Degree. To identify the attitude of nursing students towards role-playing. To analyze the response of students to their teaching-learning process after role-playing. Relationship is one of the…

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…

We develop a novel autonomous control synthesis strategy called Phase Space Navigator for the automatic synthesis of nonlinear control systems. The Phase Space Navigator generates global control laws by synthesizing flow shapes of dynamical systems and planning and navigating system…

Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsistent, the knowledge engineer often has…

Our research project intends to build knowledge about HPC problems to be able to help local researchers. In order to advise users in choosing parallel machines to run their applications, we want to establish a general methodology, requiring as shallow…

In most of the triathlon races, the 10km-run is critical to win and, just a few seconds, may separate the gold and the silver medal. To our best knowledge, no study has analyzed the biomechanical differences among the first qualified…

We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates on general issues of environment and control. Rather than having…

In the UK, a series of policies and practices since
the 1980s have increasingly involved service users
and carers in the policy and planning of mainstream
services (Department of Health, 2000; 2001; 2004).
The knowledge base on which services are…