This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

In this note we discuss how recognition can be achieved from a single 2D model view exploiting prior knowledge of an object's structure (e.g. symmetry). We prove that for any bilaterally symmetric 3D object one non- accidental 2D model view…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

Investigamos la posibilidad de obtener patrones semánticos a gran escala para cualquier lengua usando solamente análisis superficial y generalizaciones semánticas básicas. Siendo este un experimento exploratorio sólo hemos realizado una evaluación cualitativa. Hemos comparado varios patrones semánticos de traducción de…

Los cambios registrados en el clima durante las últimas décadas están afectando a la distribución y dinámica poblacional de las especies a una escala global, induciendo cambios en la fenología, en el crecimiento o en las interacciones bióticas. Estas alteraciones…

En este artículo, describimos un modelo interactivo de resumen orientado
a síntesis de información (PRISMA). El usuario interactúa con el sistema por
medio de listas de conceptos clave extraídos automáticamente. El modelo hace uso
de información sintáctica para identificar conceptos…

Actualmente existe una cierta tendencia investigadora hacia el área de
la búsqueda de respuestas en dominios restringidos. En este papel se detalla la parte
de nuestro sistema de búsqueda de respuestas en el dominio médico que se encarga
del análisis…

We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…

Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business…