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

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…

2007

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

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…

El campo de la glicobiología incluye el estudio de los glicoconjugados, las enzimas que catalizan su síntesis y las lectinas que los reconocen. Los monosacáridos, que intervienen en su composición, pueden combinarse en varios puntos y form ar estructuras lineales…

La investigación presenta como objetivo precisar las relaciones de pertinencia entre las variables estructurales del sistema de
conocimiento popular agrícola y las variables estructurales del desarrollo local al nivel rural como fundamento para promover
la transformación de la dinámica productiva…

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…

Defining qualified reasoning as reasoning containing such loose qualifying words as 'probably,' 'usually,' 'probable, 'likely,' 'ceteris paribus,' and 'primafacie, Ennis argues that typical cases of qualified reasoning, though they might be good arguments, are deductively invalid, implying that such arguments…