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…

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…

L’utilisation des services de santé est au centre de l’organisation des soins. La compréhension des processus qui déterminent cette utilisation est essentielle pour agir sur le système de santé et faire en sorte qu’il réponde mieux aux besoins de la…

This article contains a rapid review of the abundant information furnished by the Latin inscriptions to our knowledge of Ancient History. To this effect a rapid balance is made of the Latin epigraphs known today and the advances made in…

Pourquoi, comment et quand y a-t-il changement institutionnel et politique en Afrique ? En examinant les stratégies de développement économique de l’Afrique postcoloniale et en s’intéressant à l’évolution du rôle de l’État – État comme acteur central du développement, tentative…

En la presente investigación nos aproximamos y presentamos una obra de finales del siglo XIX que abarca tres disciplinas distintas pero sumamente relacionadas, como son la fonética, la lexicología y la lexicografía: Elementos de Fonética y Lexicología seguidos del vocabulario…

Designed to provide an introductory grounding in Typography, The Complete Typographer teaches the essentials for the effective use of type - technical expertise and historical knowledge, an understanding of the functional and aesthetic qualities of different typefaces, and the organization…

Este artículo es el resultado de un diálogo crítico con Literaturwissenchaft als Lebenswissenschaft (Teoría literaria como conocimiento de la vida) que es el “texto programático” (Programmschrift) escrito por el filólogo alemán Ottmar Ette, respecto de las reflexiones y debates sobre…

The ability of building robust semantic space representations of environments is crucial for the development of truly autonomous robots. This task, inherently connected with cognition, is traditionally achieved by training the robot with a supervised learning phase. We argue that…