Mcllwaine, I.C.(Eds), Knowledge Organization and the Global Information Society, Proceedings of the 8th International Conference of the International Society for Knowlwdge Organization, University College London, 13-16 july, 2004, Ergon, Würzburg, Advances in Knowledge Organization , v. 9, p. 187-192

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

Descripción completa.

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…

A lo largo del siglo XIX, nuestro territorio fue recorrido por un número bastante significativo de viajeros naturalistas europeos, quienes recorrieron nuestra geografía, conociendo nuestra naturaleza. Tal es el caso de Alejandro de Humboldt quien junto a Aimé Bonpland, viajaron…

Con el conjunto de elementos de carácter teórico, que en reflexión son aquí abordados, se enfrenta el reto hacia un nuevo discurso alimentado por la intención de revolucionar las posibilidades para nuestras rutinarias prácticas pedagógicas dirigidas a la formación de…

We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…

In this thesis, the opportunities and challenges involved in applying natural language processing techniques to the control of unmanned aerial vehicles (UAVs) are addressed. The problem of controlling an unmanned aircraft via natural language inputs is formulated as a feedback…

In the wake of the development of technology to sequence the complete genome of an organism, it has become expedient to generate methodologies to elucidate and characterize the function of all genes constituting the complete genetic makeup of an organism,…