The Millennium Development Goals (MDG) progress targets have not been met. Nevertheless, the United Nations (UN) has not yet undertaken in-depth review in order to discover the reasons behind this lack of progress in achieving the MDG. From a political…

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…

A re-design process implies dealing with complex interactions between stakeholders, especially if we are talking about a personalization re-engineered process, which can be applied to an existing web application. In this context, knowledge becomes a main factor of influence, but…

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…

Stephane Bressan ... [et al.], "October, 1999.", Includes bibliographical references (p. 13-14).

The Semantic Web purports to give computeraccessible meaning to the content of the World Wide Web. The rationale behind this project is to create an environment where all this information could be freely exchanged among diverse entities, yet retaining its…

Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

In this paper, a restricted domain question answering (QA) system is described. The design architecture of this QA system and the features that allow the adaptation of the QA system to the medical domain are also presented. The advantages of…

The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…

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…