Descripción completa.

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)…

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…

Descripción completa.

Descripción completa.

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…

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,…

La aparición de la teoría de las revoluciones científicas de Thomas S. Kuhn supuso una intensa alteración para la didáctica de las ideas del pensamiento de las ciencias —entre ellas, la geografía—; desde entonces éste se presenta como una sucesión…