This report describes a domain independent reasoning system. The system uses a frame-based knowledge representation language and various reasoning techniques including constraint propagation, progressive refinement, natural deduction and explicit control of reasoning. A computational architecture based on active objects which…

This article provides an overview of initial discussions emerging from the Creative Methods Network, an informal organisation concerned with the use of the creative arts in research, teaching and practice in health and social care. Key issues are presented and…

Se presentan los aspectos relacionados con la gestión del Servicio al cliente de un establecimiento comercial. Se dedica especial atención al modelo de deficiencias y a revisar multitud de opciones que tienen los establecimientos para ofrecer un buen servicio a…

Cuestionario empleado en el estudio sobre uso, conocimiento y percepción de Internet en la vida cotidiana de los estudiantes; este cuestionario ha sido empleado con alumnos con diferentes perfiles (edad y estudios) y de diferentes países., Questionnaire used in the…

This article reviews the most significant milestones
in CAD methodologies for intelligent EM-based modeling and
design optimization using artificial neural networks and space
mapping. We consider knowledge-based and automatic neural
network model generation based on advanced data sampling
algorithms. Computationally…

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

Este artículo presenta el diseño inicial del "Multilingual Central Repository". La primera versión del MCR integra, siguiendo en el marco de EuroWordNet, cinco wordnets locales (incluyendo tres versiones del WordNet de Princeton), la Top Ontology the EuroWordNet, los dominios de…

The aim of this paper is to offer a functionally-motivated text typology framework which can serve as a basis for the description, comparison and classification of a wide variety of texts for generation purposes. For this task, we have adopted…

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…