A collection of powerful ideas??cription, plans, linearity, insertions, global knowledge and imperative semantics?? explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor called MYCROFT is described that can debug elementary programs for drawing pictures.…

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…

The design of the control laws governing the behavior of individual agents is crucial for the successful development of cooperative agent teams. These control laws may utilize a combination of local and/or global knowledge to achieve the resulting group behavior.…

The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability and the like---are reflected by outstanding geometric features of the trajectories in…

To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about the internal…

The purpose of the research was to assess the impact of the process of professional development of English foreign language teachers in Israel who participated in the Explicit Multisensory Phonics Intervention Programme. Previous research focused on changes in knowledge, practices,…

El proyecto KNOW pretende añadir significado, conocimiento y razonamiento a las tecnologías actuales de Procesamiento del Lenguaje Natural., The KNOW project aims to add meaning, knowledge and reasoning to current Natural Language Processing technologies., TIN2006-15049-C03.

Games such as marbles, knucklebones, triangle, hopscotch and ring-based games are played in modern times in Mediterranean countries, but they date back to the 5th century BC, and are mentioned by Alcibiades. Taking as a basis these interesting facts, we…

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…

Heterogeneous azeotropic distillation is a widely used technique to separate binary azeotropic mixtures into their components. One of its most important applications is the dehydration of ethanol, which is blended with gasoline to obtain automobile fuel. Among all the compounds…