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

This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…

The problem of automatic face recognition is to visually identify a person in an input image. This task is performed by matching the input face against the faces of known people in a database of faces. Most existing work in…

The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into the formalism. Several domains will…

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…

I have invented "Internet Fish," a novel class of resource-discovery tools designed to help users extract useful information from the Internet. Internet Fish (IFish) are semi-autonomous, persistent information brokers; users deploy individual IFish to gather and refine information related to…

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…

The Telematics Industry faces tremendous challenges for growth. Regardless of the efforts and investment from vehicle manufacturers and suppliers, telematics has not been that profitable industry that many analyst forecasted five years ago; a 40 billion industry by 2003. This…

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