This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

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…

There has been a lot of research addressing the relationship between Information Technology (IT) investments and productivity. Most of the work has been based on firm-level metrics such as total IT investment. We present what we believe is one of…

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…

Information and Communications Technologies (ICTs) are playing a significant role in
economic, political and cultural development. The relationship between technologies
supporting information processing and distribution, and the application of that knowledge
for development purposes has only recently come into focus.…

Evaluation of public programming currently tends toward plans that are set in advance of any sampling and adhered to throughout. Because increments in the knowledge profile during the course of an evaluation might beckon adjustment of the working procedure, fixed…

Wusor II is the second program that has been developed to tutor students in the game of Wumpus. From the earlier efforts with Wusor I it was possible to produce a rule-based expert which processed a relatively complete mastery of…

The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…

We present the first vouchered record from Chubut provincein Futaleufú Department. Suburbs of Esquel city, along Ruta Nacional 259 to Trevelin on El Pinar, Roberts Farm. This is the southernmost record for the species; to our knowledge the previous southernmost…

After an impressive development throughout the last two decades, supported by a great
amount of research and innovation, science education seemed to be becoming a new scientific domain.
This transformation of Science Education into a specific field of research and…