Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…

his dissertation analyzes how local knowledge improves environmental decisions. The premise is that controlling pollution and addressing public health disparities are not problems that professionals alone can solve. Concerned lay publics, especially low-income populations and people of color that experience…

The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…

Descripción completa.

My dissertation centers on the meaning of dreams as interpreted by literati in the late Ming (1368-1644), viewed through the lens of the 1636 encyclopedia Forest of Dreams. This thirty-four-juan tome is the largest extant Chinese dream encyclopedia and includes…

Introducimos una propuesta en recuperación de información basada en
la consideración de recursos sintácticos y semánticos complejos y automáticamente
generados a partir de la propia colección documental. Se describe una estrategia
donde el lenguaje y el dominio de documentos son…

Descripción completa.

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…